一开始肯定会想到如何判断一个鸡a是否能够不死,考虑所有和a有关的事件(a,b,t),相当与是为了使得a活就要钦定b在t时刻死而在t-1时刻仍然是活的。因此在考虑和b有关的早于t时刻发生的事件(b,c,t2),t2< t,那么为了b能在t-1时刻存活(好在第t个时刻被杀掉),c就要在t2时刻死掉,并在t2-1的时刻存活。依次类推,如果有只鸡d既要在t3时刻死,又要在t4时刻死,那么a就要死。
因此若想a不死,某些鸡就被钦定了某些时刻必死。
因此考虑两只鸡都活,当且进当两只鸡不死对其它鸡的要求没有交集。
暴力即可。
#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#define gc getchar()
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define clr(a,n) memset(a,0,sizeof(int)*((n)+1))
#define N 410
#define M 100010
#define debug(x) cerr<<#x<<"="<<x
#define sp <<" "
#define ln <<endl
using namespace std;
struct edges{
int to,pre,id;
}e[M<<1];int a[N][N],t[N],h[N],etop,ok[N];
inline int add_edge(int u,int v,int id)
{ return e[++etop].to=v,e[etop].pre=h[u],h[u]=etop,e[etop].id=id; }
inline int inn()
{
int x,ch;while((ch=gc)<'0'||ch>'9');
x=ch^'0';while((ch=gc)>='0'&&ch<='9')
x=(x<<1)+(x<<3)+(ch^'0');return x;
}
int dfs(int x,int *a,int &ok)
{
if(!ok) return 0;a[x]=1;
for(int i=h[x],y;i;i=e[i].pre)
if(e[i].id<t[x])
{
if(t[y=e[i].to]) return ok=0;
t[y]=e[i].id,dfs(y,a,ok);
if(!ok) return 0;
}
return 0;
}
inline int can(int *a,int *b,int n)
{
for(int i=1;i<=n;i++)
if(a[i]+b[i]==2) return 0;
return 1;
}
int main()
{
int n=inn(),m=inn(),ans=0;
for(int i=1,u,v;i<=m;i++)
u=inn(),v=inn(),add_edge(u,v,i),add_edge(v,u,i);
for(int i=1;i<=n;i++)
clr(t,n),t[i]=m+1,ok[i]=1,dfs(i,a[i],ok[i]);
for(int i=1;i<=n;i++) if(ok[i])
for(int j=i+1;j<=n;j++) if(ok[j])
ans+=can(a[i],a[j],n);
return !printf("%d\n",ans);
}