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=7005;
int now;
int is[2][Nmax];
int n;
int s[2][Nmax];
int tmp[2][Nmax];
int k[2];
#ifdef test
void watch()
{
    for(int i=0;i<=1;i++)
    {
        printf("s[%d]:\n",i);
        for(int j=1;j<=n;j++)
            printf("%d ",is[i][j]);
        printf("\n");
    }
}
#endif

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

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

}

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

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

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

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