Atcoder AGC016 E Poor Turkeys

比赛的时候口胡这道题口胡了一年，看完题解被教做人

题意：有n只火鸡，m个猎人按序来杀火鸡，从自己预先选的两只中杀一只，问有多少火鸡对可以同时存活

考虑对于每一只火鸡i，按时间逆序维护一个最小的集合Si，满足当前时间其中的所有火鸡都活着才能保证最后火鸡i活下

在当前操作的最前面加入新的操作x y对结果转移的影响

1.x y均不在集合中，显然与i的死活无关，不管

2.一个在集合中，不放设为x，则y在这个操作前必须活着才能保证这个操作后x活着

3.都在集合中，gg

从最后一步逆推到第一步，得到集合Si

从我们的递推过程不难发现Si中的火鸡最后都是必死无疑，而且如果有火鸡在预料之外送人头也会gg

那么i和j能在最后同时存活的充要条件就是Si∩Sj==∅

bitset维护，完事

 #include <bits/stdc++.h>
 #define B bitset<500>
 using namespace std;
 int n,m;
 int x[],y[];
 bool die[];
 B a[];
 int main()
 {
     scanf("%d%d",&n,&m);
     for(int i=;i<=m;i++)
         scanf("%d%d",&x[i],&y[i]);
     for(int i=;i<=n;i++)
     {
         a[i][i]=;
         for(int j=m;j;j--)
         if(a[i][x[j]] && a[i][y[j]])
         {
             die[i]=;
             break;
         }
         else
         if(a[i][x[j]])
             a[i][y[j]]=;
         else
         if(a[i][y[j]])
             a[i][x[j]]=;
     }
     int ans=;
     for(int i=;i<n;i++)
     if(!die[i])
         for(int j=i+;j<=n;j++)
         if(!die[j] && (a[i]&a[j]).none())
             ++ans;
     printf("%d\n",ans);
     return ;
 }