1 /*
2 http://acm.hdu.edu.cn/showproblem.php?pid=3605
3 狀態壓縮+最大流
4 每個人對于m個星球有1<<m種選擇,把這些選擇看成一個點
5 開個數組存這些選擇的個數
6 然后構造最大流
7 給出建圖代碼
8 自己找個高效的最大流去吧
9 */
10
11 int main() {
12
13 int da, i, j, ans, p, ss;
14 while(~scanf("%d %d", &n, &m)) {
15
16 memset(dp, 0, sizeof(dp));
17 p = 1 << m;
18 s = p + m;
19 ans = 0;
20 t = s + 1;
21 N = t + 1;
22 init();
23
24 for(i = 1; i <= n; ++ i) {
25
26 ss = 0;
27 for(j = 1; j <= m; ++ j) {
28
29 scanf("%d", &da);
30 ss = (ss << 1) + da;
31 }
32 dp[ ss ] ++;
33 }
34
35 for(i = 0; i < p; ++ i) {
36
37 add(s, i, dp[ i ]);
38 add(i, s, 0);
39 }
40
41 for(i = 0; i < p; ++ i) {
42
43 int z = i;
44 int cnt = 0;
45 while(z) {
46
47 if(z & 1) {
48
49 add(i, cnt+p, dp[ i ]);
50 add(cnt+p, i, 0);
51 }
52 z = z >> 1;
53 cnt ++;
54 }
55 }
56
57 for(j = 0; j < m; ++ j) {
58
59 scanf("%d", &da);
60
61 add(p+j, t, da);
62 add(t, p+j, 0);
63 }
64
65 sap(ans);
66 if(ans == n) puts("YES");
67 else puts("NO");
68 }
69 return 0;
70 }
71