[2-SAT] [Noi2017]游戏

题目链接[http://www.lydsy.com/JudgeOnline/upload/Noi2017D2.pdf]

看题面描述就知道是2-SAT
看到d只有8一般想法是枚举a不选b不选c不选 这样是3^d
实际上a不选和b不选已经包括了c不选 复杂度就是2^d
然后这题写起来有点恶心
我uoj只有97 只能意念AC一下了qwq

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<iostream>
#include<vector>
using namespace std;

const int MaxN=100005;
const int MaxM=200005;

int N,D,M,T,Cnt,EdgeCnt;
char S[MaxN];
int P[MaxN][3],Pos[MaxN];
int Tot,Head[MaxN],Next[MaxM],To[MaxM];
int Index,DFN[MaxN],Low[MaxN];
int Top,Stack[MaxN],ID[MaxN];
bool Vis[MaxN],Flag;
int Out[MaxN],G[MaxN];
int Q[MaxN],Ans[MaxN];

struct Node{
    int a,b,c1,c2;
}Rule[MaxN];

struct Edge{
    int u,v;
}E[MaxM];

vector<int> V[MaxN];

void Add_Edge(int u,int v){
    E[++EdgeCnt]=(Edge){u,v};
    Next[++Tot]=Head[u];
    To[Tot]=v;
    Head[u]=Tot;
}

int Another(int x){
    return (x%2?x+1:x-1);
}

void Init(){
    int i,a,b;
    Tot=Index=Top=Cnt=EdgeCnt=0;
    memset(Head,0,sizeof(Head));
    for(i=1;i<=M;i++){
        a=P[Rule[i].a][Rule[i].c1],b=P[Rule[i].b][Rule[i].c2];
        if(a==b||a==-1)
            continue;
        if(Rule[i].a==Rule[i].b||b==-1){
            Add_Edge(a,Another(a));
            continue;
        }
        Add_Edge(a,b);
        Add_Edge(Another(b),Another(a));
    }
}

void Tarjan(int u){
    int i,v,tmp;
    DFN[u]=Low[u]=++Index;
    Vis[Stack[++Top]=u]=true;
    for(i=Head[u];i;i=Next[i])
        if(!DFN[v=To[i]]){
            Tarjan(v);
            Low[u]=min(Low[u],Low[v]);
        }
        else if(Vis[v])
            Low[u]=min(Low[u],DFN[v]);
    if(DFN[u]==Low[u]){
        Cnt++;
        do{
            tmp=Stack[Top--];
            Vis[tmp]=false;
            ID[tmp]=Cnt;
        }while(tmp!=u);
    }
}

bool Work(){
    int i,u,h=1,t=0;
    memset(DFN,0,sizeof(DFN));
    for(i=1;i<=(N<<1);i++)
        if(!DFN[i])
            Tarjan(i);
    memset(G,0,sizeof(G));
    for(i=1;i<=(N<<1);i+=2)
        if(ID[i]==ID[i+1])
            return false;
    return true;
}

void DFS(int t){
    if(t>T){
        Init();
        Flag|=Work();
        return;
    }
    P[Pos[t]][0]=-1,P[Pos[t]][1]=(Pos[t]<<1)-1,P[Pos[t]][2]=(Pos[t]<<1);
    DFS(t+1);
    if(Flag)
        return;
    P[Pos[t]][0]=(Pos[t]<<1)-1,P[Pos[t]][1]=-1,P[Pos[t]][2]=(Pos[t]<<1);
    DFS(t+1);
    if(Flag)
        return;
}

int main(){
    int i,j,k,h,t,u;
    char c1[5],c2[5];
    scanf("%d%d",&N,&D);
    scanf("%s",S+1);
    for(i=1;i<=N;i++){
        if(S[i]=='a'){
            P[i][0]=-1;
            P[i][1]=(i<<1)-1;
            P[i][2]=(i<<1);
        }
        if(S[i]=='b'){
            P[i][0]=(i<<1)-1;
            P[i][1]=-1;
            P[i][2]=(i<<1);
        }
        if(S[i]=='c'){
            P[i][0]=(i<<1)-1;
            P[i][1]=(i<<1);
            P[i][2]=-1;
        }
        if(S[i]=='x')
            Pos[++T]=i;
    }
    scanf("%d",&M);
    for(i=1;i<=M;i++){
        scanf("%d%s%d%s",&Rule[i].a,c1,&Rule[i].b,c2);
        Rule[i].c1=*c1-'A',Rule[i].c2=*c2-'A';
    }
    DFS(1);
    if(!Flag){
        puts("-1");
        return 0;
    }
    h=1,t=0;
    memset(G,0,sizeof(G));
    for(i=1;i<=(N<<1);i+=2){
        G[ID[i]]=ID[i+1];
        G[ID[i+1]]=ID[i];
    }
    memset(Out,0,sizeof(Out));
    for(i=1;i<=EdgeCnt;i++)
        if(ID[E[i].u]!=ID[E[i].v]){
            V[ID[E[i].v]].push_back(ID[E[i].u]);
            Out[ID[E[i].u]]++;
        }
    for(i=1;i<=Cnt;i++)
        if(!Out[i])
            Q[++t]=i;
    memset(Ans,0,sizeof(Ans));
    while(h<=t){
        u=Q[h++];
        if(!Ans[u])
            Ans[u]=1,Ans[G[u]]=-1;
        for(i=0;i<V[u].size();i++)
            if(!(--Out[V[u][i]]))
                Q[++t]=V[u][i];
    }
    for(i=1;i<=(N<<1);i++)
        if(Ans[ID[i]]==1){
            k=(i%2?1:2),t=0;
            for(j=0;j<3;j++){
                t+=(P[(i+1)/2][j]!=-1);
                if(t==k)
                    break;
            }
            putchar(j+'A');
        }
    return 0;
}