Atcoder Beginner Contest 147C（状态压缩）

最多15个人，用N个二进制的数字表示每个人的状态，然后检验。这串数字相当于已经把这些人的状态定了下来，如果和输入的情况不符则这串数字不正确，直接忽略，因为枚举了所有的情况，所以总有正确的，不必在错误的状态下找寻正确的人数。

 #define HAVE_STRUCT_TIMESPEC
 #include<bits/stdc++.h>
 using namespace std;
 int a[][],b[][];
 int xx[];
 int num[];
 int n;
 int check(int x){
     memset(num,,sizeof(num));
     int ans=;
     int cnt=;
     while(x){
         if(x&){
             num[cnt]=;
             ++ans;
         }
         x/=;
         ++cnt;
     }
     int flag=;
     for(int i=;i<=n;++i){
         if(num[i]){
             for(int j=;j<=xx[i];++j){
                 if(b[i][j]==&&!num[a[i][j]])
                     flag=;
                 else if(b[i][j]==&&num[a[i][j]])
                     flag=;
             }
         }
     }
     if(!flag)
         return ans;
     return ;
 }
 int main(){
     ios::sync_with_stdio(false);
     cin.tie(NULL);
     cout.tie(NULL);
     cin>>n;
     for(int i=;i<=n;++i){
         cin>>xx[i];
         for(int j=;j<=xx[i];++j){
             cin>>a[i][j]>>b[i][j];
         }
     }
     int lastans=;
     for(int i=;i<=(<<n)-;++i)
         lastans=max(lastans,check(i));
     cout<<lastans;
     return ;
 }