bzoj4945: [Noi2017]游戏【2-sat】

解题思路：

乍一看以为是3-sat问题，但发现x最多只有8个，所以可以$3^8$枚举禁止哪种赛车，又发现其实只用枚举禁止A(可选B,C)或B(可选A,C)，这样A,B,C是否可选都被讨论过了。所以复杂度为$O(2^nn)$。
不知道为何uoj上第3个hack点TLE了……好像网上很多代码都会被卡……

#include<bits/stdc++.h>
#define ll long long
using namespace std;
int getint()
{
    int i=0,f=1;char c;
    for(c=getchar();(c!='-')&&(c<'0'||c>'9');c=getchar());
    if(c=='-')c=getchar(),f=-1;
    for(;c>='0'&&c<='9';c=getchar())i=(i<<3)+(i<<1)+c-'0';
    return i*f;
}
const int N=200005;
int n,m,ban[N];
int tot,first[N],nxt[N],to[N];
int idx,low[N],dfn[N],top,stk[N],exist[N],num,id[N];
char s[N];
struct node{int i,a,j,b;}q[N];
inline int p(int i,int j){return 3*(i-1)+j;}
inline int np(int i,int j){return 3*(i-1)+3-ban[i]-j;}
inline void add(int x,int y)
{
    nxt[++tot]=first[x],first[x]=tot,to[tot]=y;
}
void tarjan(int u)
{
    dfn[u]=low[u]=++idx;
    stk[++top]=u,exist[u]=1;
    for(int e=first[u];e;e=nxt[e])
    {
        int v=to[e];
        if(!dfn[v])tarjan(v),low[u]=min(low[u],low[v]);
        else if(exist[v])low[u]=min(low[u],dfn[v]);
    }
    if(dfn[u]==low[u])
    {
        ++num;
        while(stk[top]!=u)
        {
            id[stk[top]]=num;
            exist[stk[top--]]=0;
        }
        id[u]=num,exist[u]=0,top--;
    }
}
void solve()
{
    tot=idx=num=0;
    memset(first,0,sizeof(first));
    memset(dfn,0,sizeof(dfn));
    for(int i=1;i<=m;i++)
    {
        if(ban[q[i].i]==q[i].a)continue;
        if(ban[q[i].j]==q[i].b)add(p(q[i].i,q[i].a),np(q[i].i,q[i].a));
        else
        {
            add(p(q[i].i,q[i].a),p(q[i].j,q[i].b));
            add(np(q[i].j,q[i].b),np(q[i].i,q[i].a));
        }
    }
    for(int i=1;i<=n;i++)
        for(int j=0;j<3;j++)
            if(ban[i]!=j&&!dfn[p(i,j)])tarjan(p(i,j));
    for(int i=1;i<=n;i++)
        for(int j=0;j<3;j++)if(ban[i]!=j)
            if(id[p(i,j)]==id[np(i,j)])return;
    for(int i=1;i<=n;i++)
        for(int j=0;j<3;j++)if(ban[i]!=j)
        {
            if(id[p(i,j)]<id[np(i,j)])putchar('A'+j);
            else putchar('A'+3-ban[i]-j);
            break;
        }
    exit(0);
}
void dfs(int x)
{
    if(x==n+1)
    {
        solve();
        return;
    }
    if(ban[x]==-1)
        for(int i=0;i<2;i++)
        {
            ban[x]=i;
            dfs(x+1);
            ban[x]=-1;
        }
    else dfs(x+1);
}
int main()
{
    //freopen("lx.in","r",stdin);
    n=getint(),getint();
    scanf("%s",s+1);
    for(int i=1;i<=n;i++)ban[i]=(s[i]=='x'?-1:s[i]-'a');
    m=getint();
    for(int i=1;i<=m;i++)
        q[i].i=getint(),q[i].a=getchar()-'A',q[i].j=getint(),q[i].b=getchar()-'A';
    dfs(1);
    puts("-1");
    return 0;
}