HDU3605(KB11-M 状态压缩+最大流)

Escape

Time Limit: 4000/2000 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Others)
Total Submission(s): 10920    Accepted Submission(s): 2630

Problem Description

2012 If this is the end of the world how to do? I do not know how. But now scientists have found that some stars, who can live, but some people do not fit to live some of the planet. Now scientists want your help, is to determine what all of people can live in these planets.

 

Input

More set of test data, the beginning of each data is n (1 <= n <= 100000), m (1 <= m <= 10) n indicate there n people on the earth, m representatives m planet, planet and people labels are from 0. Here are n lines, each line represents a suitable living conditions of people, each row has m digits, the ith digits is 1, said that a person is fit to live in the ith-planet, or is 0 for this person is not suitable for living in the ith planet.
The last line has m digits, the ith digit ai indicates the ith planet can contain ai people most..
0 <= ai <= 100000

 

Output

Determine whether all people can live up to these stars
If you can output YES, otherwise output NO.

 

Sample Input

1 1
1
1

2 2
1 0
1 0
1 1

 

Sample Output

YES
NO

 

Source

2010 ACM-ICPC Multi-University Training Contest（17）——Host by ZSTU

 

由于n很大，直接建图会T，但是m很小，因此根据一个人在能否在m个星球上生存的状态，可以压缩为一个m位二进制数。最多有2^10种状态。

源点向每一种状态连边，容量为该状态的人数。

每个状态向该状态下能够生存的星球连边，容量为该状态的人数。

每个星球向汇点连边，容量为星球最多能承受的人数。

 //2017-08-24
 #include <cstdio>
 #include <cstring>
 #include <iostream>
 #include <algorithm>
 #include <queue>

 using namespace std;

 const int N = ;
 const int M = ;
 const int INF = 0x3f3f3f3f;
 int head[N], tot;
 struct Edge{
     int next, to, w;
 }edge[M];

 void add_edge(int u, int v, int w){
     edge[tot].w = w;
     edge[tot].to = v;
     edge[tot].next = head[u];
     head[u] = tot++;

     edge[tot].w = ;
     edge[tot].to = u;
     edge[tot].next = head[v];
     head[v] = tot++;
 }

 struct Dinic{
     int level[N], S, T;
     void init(int _S, int _T){
         S = _S;
         T = _T;
         tot = ;
         memset(head, -, sizeof(head));
     }
     bool bfs(){
         queue<int> que;
         memset(level, -, sizeof(level));
         level[S] = ;
         que.push(S);
         while(!que.empty()){
             int u = que.front();
             que.pop();
             for(int i = head[u]; i != -; i = edge[i].next){
                 int v = edge[i].to;
                 int w = edge[i].w;
                 if(level[v] == - && w > ){
                     level[v] = level[u]+;
                     que.push(v);
                 }
             }
         }
         return level[T] != -;
     }
     int dfs(int u, int flow){
         if(u == T)return flow;
         int ans = , fw;
         for(int i = head[u]; i != -; i = edge[i].next){
             int v = edge[i].to, w = edge[i].w;
             if(!w || level[v] != level[u]+)
                   continue;
             fw = dfs(v, min(flow-ans, w));
             ans += fw;
             edge[i].w -= fw;
             edge[i^].w += fw;
             if(ans == flow)return ans;
         }
         if(ans == )level[u] = -;
         return ans;
     }
     int maxflow(){
         int flow = , f;
         while(bfs())
               while((f = dfs(S, INF)) > )
                 flow += f;
         return flow;
     }
 }dinic;

 char str[N];
 int status[<<];//status[S]表示状态为S的人数，例如S=1010，表示可以在2号和4号星球上生存(从低位标号)

 int main()
 {
     std::ios::sync_with_stdio(false);
     //freopen("inputM.txt", "r", stdin);
     int n, m;
     while(cin>>n>>m){
         int s = , t = n+m+;
         dinic.init(s, t);
         int w;
         memset(status, , sizeof(status));
         for(int i = ; i <= n; i++){
             int tmp = ;
             for(int j = ; j <= m; j++){
                 tmp <<= ;
                 cin>>w;
                 tmp |= w;
             }
             status[tmp]++;
         }
         for(int i = ; i <= (<<); i++){
             if(status[i]){
                 add_edge(s, i, status[i]);
                 for(int j = ; j <= m; j++){
                     if(i & (<<(j-)))
                           add_edge(i, n+j, status[i]);
                 }
             }
         }
         int sum = ;
         for(int i = ; i <= m; i++){
             cin>>w;
             sum += w;
             add_edge(n+i, t, w);
         }
         if(sum < n){
             cout<<"NO"<<endl;
             continue;
         }
         if(dinic.maxflow() == n)cout<<"YES"<<endl;
         else cout<<"NO"<<endl;
     }
     return ;
 }