Gym100548H

2014西安赛区的H，是一道有向图上的博弈问题
首先我们要确定一下结束状态，一种是两点重合，还有一种是没法移动棋子
接下来我们把结束状态放在队列的队首，倒退之前的状态
我用1表示Alice必胜，2表示Bob必胜，3表示平局，分了4种情况
1、轮到Bob,状态为1，dp[x][y][1]=1,那么之前能到达y的点dp[x][v][0]=1
2、轮到Alice,状态为2，dp[x][y][0]=2,那么x的入度v,dp[v][y][1]=2
3、轮到Bob,状态为2,那么对于y的入度v，vis[x][v][y][0]=1,v不能移动到y
4、轮到Alice,状态为1，与3的情况类似

#include<bits/stdc++.h>
using namespace std;
const int maxn=100+10;
struct node
{
  int x,y,st;
};
int dp[maxn][maxn][2],n,m,T,cnt[maxn][maxn][2];
bool vis[maxn][maxn][maxn][2];
queue<node> Q;
vector<int> g[maxn];
vector<int> h[maxn];
void work()
{
  while(!Q.empty())
  {
    node x=Q.front();Q.pop();
    if(x.st==1&&dp[x.x][x.y][x.st]==1)
    {
      for(int i=0;i<h[x.y].size();i++)
      {
        int v=h[x.y][i];
        if(!dp[x.x][v][0])
        {
          dp[x.x][v][0]=1;
          Q.push((node){x.x,v,0});
        }
      }
    }
    else if(x.st==0&&dp[x.x][x.y][x.st]==2)
    {
      for(int i=0;i<h[x.x].size();i++)
      {
        int v=h[x.x][i];
        if(!dp[v][x.y][1])
        {
          dp[v][x.y][1]=2;
          Q.push((node){v,x.y,1});
        }
      }
    }
    else if(x.st==0&&dp[x.x][x.y][x.st]==1)
    {
      for(int i=0;i<h[x.x].size();i++)
      {
        int v=h[x.x][i];
        if(!vis[v][x.y][x.x][1])
        {
          vis[v][x.y][x.x][1]=1;cnt[v][x.y][1]++;
          if(cnt[v][x.y][1]==g[v].size()&&!dp[v][x.y][1])
          {
            dp[v][x.y][1]=1;
            Q.push((node){v,x.y,1});
          }
        }
      }
    }
    else if(x.st==1&&dp[x.x][x.y][x.st]==2)
    {
      for(int i=0;i<h[x.y].size();i++)
      {
        int v=h[x.y][i];
        if(!vis[x.x][v][x.y][0])
        {
          vis[x.x][v][x.y][0]=1;cnt[x.x][v][0]++;
          if(cnt[x.x][v][0]==g[v].size()&&!dp[x.x][v][0])
          {
            dp[x.x][v][0]=2;
            Q.push((node){x.x,v,0});
          }
        }
      }
    }
  }
}
int main()
{
  //freopen("test.in","r",stdin);
  scanf("%d",&T);
  for(int tt=1;tt<=T;tt++)
  {
    scanf("%d%d",&n,&m);
    memset(dp,0,sizeof(dp));memset(vis,0,sizeof(vis));
    memset(cnt,0,sizeof(cnt));
    for(int i=1;i<=n;i++)
    {
      h[i].clear();g[i].clear();
      dp[i][i][0]=dp[i][i][1]=1;
      Q.push((node){i,i,0});Q.push((node){i,i,1});
    }
    for(int i=1;i<=m;i++)
    {
      int u,v;scanf("%d%d",&u,&v);
      h[v].push_back(u);
      g[u].push_back(v);
    }
    for(int i=1;i<=n;i++)
      for(int j=1;j<=n;j++)
        if(i!=j)
        {
          if(!g[i].size())
            dp[i][j][1]=1;Q.push((node){i,j,1});
          if(!g[j].size())
            dp[i][j][0]=2;Q.push((node){i,j,0});
        }
    work();
    int sx,sy;scanf("%d%d",&sx,&sy);
    cout<<"Case #"<<tt<<": ";
    if(dp[sx][sy][1]!=1) puts("Yes");
    else puts("No");
  }
  return 0;
}