NOI2017 game

• 对于一般情况下的一组限制u,v:连u->v和!v->!u;
• 若不能选u，则直接跳过这个限制；
• 若不能选v，则连u->!u,表示若是选了u则无解；
• 考虑场地为x的场次不超过8，对于每一场x可以当a,b枚举,这样就是BC或者AC可选，涵盖了ABC所有选择，由于涉及到了枚举，所以采用tarjan+染色的方法；
• tarjan+染色
• 几次错误原因：
  1.初始化不全
  2.染色的点提取错
  3.多位数的编号当一个字符读
  4.为了位运算编号从零开始，栈底应初始化为-1
  5.链表存强连通分量点的编号，边界-1
  6.dfs忘记记忆化
  7.比题解多写七十行
• AC代码

#include <iostream>
#include <cstring>
#include <cstdio>
#include <algorithm>
using namespace std;
int n,d,m,last[200005],dfn[200005],low[100005],dindex,stop,sta[200005],cnt,num,pos[15],bb[200005][5],mj;//num x的数量
int belong[200005],bcnt,fronts[200005],snl[200005],sn[200005],color[200005],colors[200005];//snl:超级点中的最后一个点
char a[100005],b[100005][5];
bool inst[100005];
struct edge{
    int v,next;
}e[800005];

inline void add(int u,int v,bool p,int nod[])
{
    e[++cnt].v=v;
    e[cnt].next=nod[u];
    nod[u]=cnt;
    if(p)
    {
        e[++cnt].v=u^1;
        e[cnt].next=nod[v^1];
        nod[v^1]=cnt;
    }
}
void intt()
{

    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(fronts,0,sizeof(fronts));
    memset(color,0,sizeof(color));
    memset(snl,-1,sizeof(snl));
    memset(sn,-1,sizeof(sn));
    memset(last,0,sizeof(last));
    cnt=stop=bcnt=dindex=0;
    sta[0]=-1;
}
void tarjan(int x)
{

    low[x]=dfn[x]=++dindex;
    sta[++stop]=x;
    inst[x]=1;
    for(int i=last[x];i;i=e[i].next)
    {
        int v=e[i].v;
        if(!dfn[v]){
            tarjan(v);
            low[x]=min(low[x],low[v]);
        }
        else if(inst[v]&&low[v]<low[x])
            low[x]=low[v];
    }
    if(low[x]==dfn[x])
    {
        int j;
        bcnt++;
        do{
            j=sta[stop--];
            belong[j]=bcnt;
            inst[j]=0;
            sn[j]=snl[bcnt];
            snl[bcnt]=j;

        }
        while(j!=x);
    }
}
int get(char c,int x)
{
    if(a[x]=='a')
    return c=='B'?2*(x-1):2*x-1;
    return c=='A'?2*x-2:2*x-1;
}
void dfs2(int x)//1红2蓝
{
    color[x]=2;
    for(int i=fronts[x];i;i=e[i].next)
    if(!color[e[i].v])
    dfs2(e[i].v);
}
bool solve()
{
    for(int i=1;i<=m;i++)
    {
        if(a[bb[i][1]]==b[i][2]-'A'+'a')
        continue;
        if(a[bb[i][3]]==b[i][4]-'A'+'a')
            add(get(b[i][2],bb[i][1]),get(b[i][2],bb[i][1])^1,0,last);
        else
            add(get(b[i][2],bb[i][1]),get(b[i][4],bb[i][3]),1,last);
    }
    for(int i=0;i<2*n;i++)
    if(!dfn[i])
    tarjan(i);
    for(int i=0;i<2*n;i++)
    {
        if(belong[i]==belong[i^1])
        {
            return 0;
        }
        for(int j=last[i];j;j=e[j].next)
        {

           int v=e[j].v;
           if(belong[v]!=belong[i])
           {
               add(belong[v],belong[i],0,fronts);
           }
        }
    }

    for(int i=1;i<=bcnt;i++)
    if(!color[i])
    {
        color[i]=1;
        for(int j=snl[i];j!=-1;j=sn[j])
        {
            int v=j^1;
            dfs2(belong[v]);
        }
    }
    return 1;
}
bool dfs(int x)
{
    if(x>num)
    {
        intt();
        if(solve())
        return 1;
        return 0;
    }
    for(int i=0;i<2;i++)
    {
        a[pos[x]]='a'+i;
        if(dfs(x+1)) return 1;
    }
    return 0;
}
int rget(int tmp,bool t)
{
    if(a[tmp]=='a')
    return t?'b':'c';
    if(a[tmp]=='b')
    return t?'a':'c';
    if(a[tmp]=='c')
    return t?'a':'b';
}
int main()
{
    scanf("%d%d",&n,&d);
    getchar();
    for(int i=1;i<=n;i++)
    {
        a[i]=getchar();
        if(a[i]=='x')
        pos[++num]=i;
    }
    scanf("%d",&m);
    getchar();
    for(int i=1;i<=m;i++)
    for(int j=1;j<=4;j++)
    {
        if(j==1||j==3)
        scanf("%d",&bb[i][j]);
        else
        b[i][j]=getchar();
        getchar();
    }
    if(dfs(1))
    {
        for(int i=1;i<=bcnt;i++)
        if(color[i]==1)
        for(int j=snl[i];j!=-1;j=sn[j])
        colors[j]=1;
        for(int i=0;i<2*n;i+=2)
        {
            int tmp=i/2+1;
            char ans=rget(tmp,colors[i])-'a'+'A';
            cout<<ans;
        }
    }
    else
    cout<<"-1";
    return 0;
}