#icpc2014summerday4g. [icpc2014summer_day4_g]リサイクル

[icpc2014summer_day4_g]リサイクル

问题描述

在比赛中,出了以下问题,但是裁判解决方案中没有考虑同时持有多个物品的情况。根据本次问题的限制条件,在规定的时间内解决此类问题几乎不可能。非常抱歉地给您带来了不合适的提问。

作为问题负责人,我认为在下面的问题中添加“同时只能持有一个物品”的限制将会是一个适当的问题。(9/15 17:47)

在中野先生所居住的世界里,使用自己制作的工具挖掘洞穴成为一种风靡的流行事物。

共有MM种类型的工具,可以通过加工铁矿石来制作。有些工具只需要铁矿石就可以制作出来,但有些工具除了铁矿石外,还需要使用其他工具。此外,一些工具在用于制作其他工具时会损坏,不能再继续使用。

无论工具是否损坏,都可以将其分解成铁矿石,并将其作为其他工具的材料进行再利用。然而,分解得到的铁矿石数量少于制作该工具所需的铁矿石数量。

中野先生想要一款在探险中必备的工具,他在手头有NN个铁矿石,想知道能否用这些铁矿石制作出来。遗憾的是,在中野先生所居住的世界中,没有特殊的工具就无法制作计算机。你的工作是代替中野先生判断是否可以制作出他想要的工具。


输入

输入以以下格式给出。

MM NN KK
a_1a\_1 b_1b\_1 c_1c\_1 d_1d\_1
s_1,1s\_{1,1} v_1,1,1v\_{1,1,1} v_1,1,2v\_{1,1,2} ... v_1,1,s_1,1v\_{1,1,s\_{1,1}}
s_1,2s\_{1,2} v_1,2,1v\_{1,2,1} v_1,2,2v\_{1,2,2} ... v_1,2,s_1,2v\_{1,2,s\_{1,2}}
:
:
s_1,d_1s\_{1,d\_{1}} v_1,d_1,1v\_{1,d\_{1},1} v_1,d_1,2v\_{1,d\_{1},2} ... v_1,d_1,s_1,d_1v\_{1,d\_{1},s\_{1,d\_{1}}}
a_2a\_2 b_2b\_2 c_2c\_2 d_2d\_2
:
:
a_Ma\_M b_Mb\_M c_Mc\_M d_Md\_M
s_M,1s\_{M,1} v_M,1,1v\_{M,1,1} ... v_M,1,s_M,1v\_{M,1,s\_{M,1}}
:
:
s_M,d_Ms\_{M,d\_{M}} v_M,d_M,1v\_{M,d\_{M},1} v_M,d_M,2v\_{M,d\_{M},2} ... v_M,d_M,s_M,d_Mv\_{M,d\_{M},s\_{M,d\_{M}}}

第一行给出三个数M,N,KM, N, KMM代表可以制作的工具类型数目,NN代表中野先生拥有的铁矿石数目,KK代表中野先生想要制作的工具编号。

接下来的行依次给出第一个到第MM个工具的信息。每个工具的信息以包含四个数a_i,b_i,c_i,d_ia\_i, b\_i, c\_i, d\_i的行开始。a_ia\_i是制作该工具所需的铁矿石数量,b_ib\_i是分解该工具可以得到的铁矿石数量。

c_i=0c\_i = 0时,工具ii使用一次后就会损坏;当c_i=1c\_i = 1时,工具ii可以反复使用。

接下来的d_id\_i行给出了制作该工具所需的工具组合。这些行以所需工具数s_i,js\_{i,j}开始,后跟s_i,js\_{i,j}个数v_i,j,1,v_i,j,2,cdots,v_i,j,s_i,jv\_{i,j,1}, v\_{i,j,2}, \\cdots, v\_{i,j,s\_{i,j}}。其中v_i,j,kv\_{i,j,k}表示制作工具ii所需的工具组合。如果没有拥有这些工具中的全部,则无法制作第ii个工具。而d_id\_i个组合中只要满足其中任意一个,就可以制作出工具ii。当d_i=0d\_i = 0时,工具ii可以单独制作。

约束条件

  • 1M181 \le M \le 18
  • 0N1060 \le N \le 10^6
  • 1KM1 \le K \le M
  • 1b_i<a_i1061 \le b\_i < a\_i \le 10^6
  • 0d_i30 \le d\_{i} \le 3
  • 1v_i,j,kM1 \le v\_{i,j,k} \le M
  • kkk \neq k'时,v_i,j,kv_i,j,kv\_{i,j,k} \neq v\_{i,j,k'}

输出

如果能够制作出第KK个工具,则输出"yes";否则输出"no"。


示例输入1

4 10 4
4 3 0 0
4 3 0 0
2 1 0 1
1 2
2 1 0 1
2 1 3

示例输出1

yes

示例输入2

4 8 4
4 3 1 0
4 3 0 0
2 1 0 1
1 2
2 1 0 1
2 1 3

示例输出2

no

示例输入3

4 8 4
4 3 1 0
4 3 0 0
2 1 0 2
1 1