CF786A - Berzerk

 /*
  CF786A - Berzerk
  http://codeforces.com/contest/786/problem/A
  博弈论
  直接搜出NP状态图。记得要记忆化剪枝。
  *
  */
 #include <cstdio>
 #include <cstring>
 //#define tle
 #ifdef tle
 //#define test

 using namespace std;
 const int Nmax=;
 int now;
 int is[][Nmax];
 int n;
 int s[][Nmax];
 int tmp[][Nmax];
 int k[];
 #ifdef test
 void watch()
 {
     for(int i=;i<=;i++)
     {
         printf("s[%d]:\n",i);
         for(int j=;j<=n;j++)
             printf("%d ",is[i][j]);
         printf("\n");
     }
 }
 #endif

 void work()
 {
     for(int j=;j<=;j++)
     for(int i=;i<=k[j];i++)
     {
         int x=(n+-s[j][i])%n;
         while(x<=)
             x+=n;
         is[j][x]=;
     }
     #ifdef test
     watch();
     #endif

     for(int t=;t<=;t++)
     {
         for(int ii=;ii<=;ii++)
             for(int jj=;jj<=n;jj++)
                 tmp[ii][jj]=is[ii][jj];
     for(int now=;now<=;now++)
     for(int i=;i<=n;i++)
     {
         if(is[now][i]!=-)
             continue;
         int flag=;
         for(int j=;j<=k[now];j++)
         {
             int x=(i+s[now][j])%n;
             while(x<=)
                 x+=n;
             if(is[now^][x]==)
             {
                 is[now][i]=;
                 flag=;
                 break;
             }
             if(is[now^][x]==-)
                 flag=;//标记不是P态
         }
         if(!flag)
             is[now][i]=;
 #ifdef test
         printf("is[%d][%d]:\n",now,i);
     watch();
     #endif

     }
     int ff=;
     for(int ii=;ii<=;ii++)
     {
         if(ff)
             break;
         for(int jj=;jj<=n;jj++)
             if(tmp[ii][jj]!=is[ii][jj])
             {
                 ff=;
                 break;
             }
     }
     if(!ff)
         break;
     }

 }

 void init()
 {
     for(int i=;i<=n;i++)
         is[][i]=is[][i]=-;
     is[][]=is[][]=;
 }
 int main()
 {
     scanf("%d",&n);
     for(int i=;i<=;i++)
     {
         scanf("%d",&k[i]);
         for(int j=;j<=k[i];j++)
             scanf("%d",&s[i][j]);
     }
     init();
     work();
     for(int t=;t<=;t++)
     {
         for(int i=;i<=n;i++)
         {
             if(i!=)
                 printf(" ");
             if(is[t][i]==-)
                 printf("Loop");
             else if(is[t][i]==)
                 printf("Lose");
             else
                 printf("Win");
         }
         printf("\n");
     }
 }
 #endif

 using namespace std;
 const int Nmax=;
 int now;
 int is[][Nmax];
 int n;
 int s[][Nmax];
 int tmp[][Nmax];
 int k[];

 void dfs(int now,int x,int sstatus)
 {
     if(is[now][x]!=-)//如果已经有状态了，返回
         return;
     is[now][x]=sstatus;
     if(sstatus==)//如果当前点为必败态，则让与其相接的点为必胜态
     {
         for(int i=;i<=k[now^];i++)
         {
             int next=(x-s[now^][i])%n;
             while(next<=)
                 next+=n;
             dfs(now^,next,);
         }
     }
     if(sstatus==)//如果当前点为必胜态，则让与其相接的点的非必胜态边个数-1
     {
         for(int i=;i<=k[now^];i++)
         {
             int next=(x-s[now^][i])%n;
             while(next<=)
                 next+=n;
             tmp[now^][next]--;//利用tmp数组记录当前相接的点的非必胜态个数来剪枝，如果相邻点都是必胜态，则当前点为必败态
             if(!tmp[now^][next])
                 dfs(now^,next,);
         }
     }
 }

 void init()
 {
     for(int i=;i<=n;i++)
         is[][i]=is[][i]=-;
     is[][]=is[][]=;
 }
 int main()
 {
     scanf("%d",&n);
     for(int i=;i<=;i++)
     {
         scanf("%d",&k[i]);
         for(int j=;j<=k[i];j++)
             scanf("%d",&s[i][j]);
         for(int j=;j<=n;j++)
             tmp[i][j]=k[i];
     }
     init();
     for(int j=;j<=;j++)
     for(int i=;i<=k[j];i++)
     {
         int x=(n+-s[j][i])%n;
         while(x<=)
             x+=n;
         dfs(j,x,);
     }
     for(int t=;t<=;t++)
     {
         for(int i=;i<=n;i++)
         {
             if(i!=)
                 printf(" ");
             if(is[t][i]==-)
                 printf("Loop");
             else if(is[t][i]==)
                 printf("Lose");
             else
                 printf("Win");
         }
         printf("\n");
     }
     return ;
 }