题意:现在要将n个人移送到m个star去,但是由于环境的原因呢,对于每个star并不是每个人都可以适应上面的环境的,同时呢,每个star有人数上限。
思路:从上面来看,也就是每个star可以有多个人,但是一个人最终只能去1个star,这就和二分图的多重匹配吻合了。
/*****************************************
Author :Crazy_AC(JamesQi)
Time :2015
File Name :
*****************************************/
// #pragma comment(linker, "/STACK:1024000000,1024000000")
#include <iostream>
#include <algorithm>
#include <iomanip>
#include <sstream>
#include <string>
#include <stack>
#include <queue>
#include <deque>
#include <vector>
#include <map>
#include <set>
#include <stdio.h>
#include <string.h>
#include <math.h>
#include <stdlib.h>
#include <limits.h>
using namespace std;
#define MEM(a,b) memset(a,b,sizeof a)
#define pk push_back
template<class T> inline T Get_Max(const T&a,const T&b){return a < b?b:a;}
template<class T> inline T Get_Min(const T&a,const T&b){return a < b?a:b;}
typedef long long ll;
typedef pair<int,int> ii;
const int inf = 1 << 30;
const int INF = 0x3f3f3f3f;
const int MOD = 1e9 + 7;
int num[12];
int rec[12][100010];
int limit[12];
int g[100010][12];
bool vis[12];
int uN,vN;
bool SearchP(int u){
for (int i = 0;i < vN;i++){
if (g[u][i] && !vis[i]){
vis[i] = true;
if (num[i] < limit[i]){
rec[i][++num[i]] = u;
return true;
}
for (int j = 1;j <= num[i];j++){
if (SearchP(rec[i][j])){
rec[i][j] = u;
return true;
}
}
}
}
return false;
}
inline bool MulMatch(){
MEM(num, 0);
int ret = 0;
for (int i = 0;i < uN;i++){
MEM(vis, false);
if (!SearchP(i)) return false;
}
return true;
}
int main()
{
// ios::sync_with_stdio(false);
// freopen("in.txt","r",stdin);
// freopen("out.txt","w",stdout);
while(~scanf("%d%d",&uN,&vN)){
MEM(g, 0);
int to;
for (int i = 0;i < uN;i++){
for (int j = 0;j < vN;j++){
scanf("%d",&to);
if (to) g[i][j] = 1;
}
}
for (int i = 0;i < vN;i++)
scanf("%d",&limit[i]);
if (MulMatch()) printf("YES\n");
else printf("NO\n");
// int ans = MulMatch();
// if (ans)
// printf("%d\n",ans);
}
return 0;
}