[CERC2016]Bipartite Blanket
时间限制：30s 空间限制：512MB
题目描述
在二分图中，所有点被划分成了两个不相交的集合A和B，每条边都恰好连接着某个A和某个B。一个匹配是一个边集
，满足没有任何两条边有相同的端点。我们称一个匹配M覆盖了点集V当且仅当V中的每个点都是M中至少一条边的端
点。给定一个二分图，每个点有一个正整数权值。定义一个点集的权值为其中所有点的权值之和。给定一个参数t
，请统计有多少点集V，满足V的权值不小于t，且V被至少一个匹配M覆盖。
输入格式
第一行包含两个正整数n,m(1<=n,m<=20)，分别表示A集合的点数和B集合的点数。
接下来n行，每行m个01字符，其中第i行第j列为1表示A_i和B_j之间有一条边。
接下来一行包含n个正整数v_1,v_2,...,v_n(1<=v_i<=10^7)，分别表示A中每个点的权值。
接下来一行包含m个正整数w_1,w_2,...,w_m(1<=w_i<=10^7)，分别表示B中每个点的权值。
最后一行包含一个正整数t(1<=t<=4*10^8)，表示参数t。
输出格式
输出一行一个整数，即满足条件的点集个数。
样例输入
3 3 010 111 010 1 2 3 8 5 13 21
样例输出
3
HINT
3个集合分别为{a1,a2,b2,b3}、{a3,b2,b3}、{a2,a3,b2,b3}。提示
没有写明提示
题目来源
没有写明来源