bzoj4945

题解：

一眼看过去还以为是3-sat

其实d只有8

那么我们可以枚举每一个x选择哪一个

然后再用2-sat处理

代码：

#include<bits/stdc++.h>
using namespace std;
const int N=,M=N<<,ABC='A'+'B'+'C';
struct Edge{int to,next;}e[M];
int n,m,K,pos[],zz[M],ne[M],mi[N],mj[N],fi[N<<],len,st[N],cot;
char Str[N],hi[N],hj[N];bool Mark[N<<],Un[N<<];
void jb(int x,int y)
{
    zz[++len]=y;ne[len]=fi[x];fi[x]=len;
    zz[++len]=x^;ne[len]=fi[y^],fi[y^]=len;
}
int dfs(int x)
{
    if (Mark[x^]||(n>&&Un[x]))return ;
    if (Mark[x])return ;
    Mark[x]=;st[++cot]=x;
    for (int i=fi[x];i;i=ne[i])
     if (!dfs(zz[i]))
      {
          Un[x]=;
        return ;
      }
    return ;
}
void init()
{
    memset(fi,,sizeof fi);
    memset(Mark,,sizeof Mark);
    memset(Un,,sizeof Un);
}
int pd()
{
    len=;int n1,n2;
    init();
    for (int i=;i<=m;i++)
     {
        if (hi[i]==Str[mi[i]])continue;
        n1=hi[i]>ABC-hi[i]-Str[mi[i]];
        if (hj[i]==Str[mj[i]])jb(mi[i]<<|n1,mi[i]<<|n1^);
        else n2=hj[i]>ABC-hj[i]-Str[mj[i]],jb(mi[i]<<|n1,mj[i]<<|n2);
     }
    for (int i=;i<=n;i++)
     {
        cot=;
        if (!dfs(i<<))
         {
            while (cot)Mark[st[cot--]]=;
            if (!dfs(i<<|))return ;
         }
     }
    for (int i=;i<=n;i++)
     if (Mark[i<<])putchar(Str[i]=='A'?'B':'A');
     else putchar(Str[i]=='C'?'B':'C');
    return ;
}
int main()
{
    scanf("%d%d%s%d",&n,&K,Str+,&m);
    int cnt=;
    for (int i=;i<=m;i++)scanf("%d%s%d%s",&mi[i],&hi[i],&mj[i],&hj[i]);
    for (int i=;i<=n;i++)
     if (Str[i]=='x')pos[cnt++]=i;else Str[i]+='A'-'a';
    for (int i=;i<<<K;i++)
     {
        for (int j=;j<K;j++)Str[pos[j]]='A'+(i>>j&);
        if (pd())return ;
     }
    puts("-1");
    return ;
}