[博弈论] Codeforces Gym 101190 NEERC 16 G. Game on Graph

首先确定平局
当Bob先手的状态的一个后继被确定不是平局, 这个状态不是平局;
当Alice先手的某个状态的所有后继都不是平局, 这个状态不是平局.
初始所有出度为0的点不是平局，类似拓扑排序搜索到的状态都不是平局, 剩下的是平局.

然后确定不是平局状态下输赢
类似咯 后手都赢先手就输 后手能输先手就赢
但是这样能把所有状态推出来吗？
不能 因为Bob一旦能不平局宁愿输都不平局
比如这些蓝点是推不出来的

这些未知的点一定是Alice赢 Bob输
因为Bob不想平局 会自己走到输的状态

#include<cstdio>
#include<cstdlib>
#include<algorithm>
#include<queue>
using namespace std;
typedef pair<int,int> abcd;

inline char nc(){
  static char buf[100000],*p1=buf,*p2=buf;
  return p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
}
inline void read(int &x){
  char c=nc(),b=1;
  for (;!(c>='0' && c<='9');c=nc()) if (c=='-') b=-1;
  for (x=0;c>='0' && c<='9';x=x*10+c-'0',c=nc()); x*=b;
}

const int N=100005;
struct edge{
  int u,v,next;
}G[N<<2];
int head[N],rhead[N],inum;
inline void add(int u,int v,int p,int *head){
  G[p].u=u; G[p].v=v; G[p].next=head[u]; head[u]=p; 
}
#define V G[p].v

int n,m,deg[N];
queue<abcd> Q;

int cnt[N],c[N][2];
int drw[N][2],win[N][2];

int main(){
  int iu,iv;
  freopen("game.in","r",stdin);
  freopen("game.out","w",stdout);

  read(n); read(m);
  for (int i=1;i<=m;i++)
    read(iu),read(iv),add(iu,iv,++inum,head),add(iv,iu,++inum,rhead),deg[iu]++;

  for (int i=1;i<=n;i++){
    drw[i][0]=drw[i][1]=1;
    if (!deg[i])
      Q.push(abcd(i,0)),Q.push(abcd(i,1)),drw[i][0]=drw[i][1]=0;
    cnt[i]=deg[i];
  }
  while (!Q.empty()){
    int u=Q.front().first,d=Q.front().second; Q.pop();
    for (int p=rhead[u];p;p=G[p].next)
      if ((d==0 && drw[V][1]) || (d==1 && !(--cnt[V])))
    Q.push(abcd(V,d^1)),drw[V][d^1]=0;
  }

  for (int i=1;i<=n;i++){
    win[i][0]=win[i][1]=-1;
    if (!deg[i])
      Q.push(abcd(i,0)),Q.push(abcd(i,1)),win[i][0]=win[i][1]=0;
    for (int p=head[i];p;p=G[p].next){
      if (!drw[V][0]) c[i][1]++;
      if (!drw[V][1]) c[i][0]++;
    }
  }
  while (!Q.empty()){
    int u=Q.front().first,d=Q.front().second; Q.pop();
    for (int p=rhead[u];p;p=G[p].next){
      if (drw[V][d^1]) continue;
      if (win[u][d]){
    if (!(--c[V][d^1]))
      Q.push(abcd(V,d^1)),win[V][d^1]=0;
      }else{
    if (win[V][d^1]==-1)
      Q.push(abcd(V,d^1)),win[V][d^1]=1;
      }
    }
  }
  for (int i=1;i<=n;i++){
    if (win[i][0]==-1) win[i][0]=1;
    if (win[i][1]==-1) win[i][1]=0; 
  }

  for (int d=0;d<2;d++,putchar('\n'))
    for (int i=1;i<=n;i++)
      putchar(drw[i][d]?'D':(win[i][d]?'W':'L'));
  return 0;
}