[BZOJ4549][NOI2017]游戏（2-SAT）

题目：

我是超链接

题解：

要是没有x的话就是一道2-SAT，可以选择两种赛道，限制是ta给的m条限制

要特别注意ta给的限制！
如果选A的话就必须选B，这句话说明A不是自由的，因为选了ta就必须选B，所以u->v；但是B是自由的，选了B并不代表选A，那么因为对称性，我们要连v’->u’，意味着选了B的对称点就必须选A的对称点，不然如果选A就必须选B，逆否命题依然成立
其他的边比较简单，$i,hi,j,hj$，如果i上的赛道不允许hi，就不用添加这条边，反正不管怎样也不会违背要求；如果j上的赛道不允许hj，那我们必须选择A的对称点A’以免我们选择A犯错误

现在我们来看看x，x我们可以暴搜啊，反正最大只有8，如果假设它也只适合两种赛车，那么暴力枚举每个x地图不适合赛车A或不适合赛车B（因为不适合赛车A就是适合赛车BC，不适合赛车B就是适合赛车AC，这样就包含了ABC三种赛车），这样每种地图就都只适合两种赛车了。判断时，如果已经枚举遍了所有的2^d种状态都是无解，则原问题无解，否则输出任意一种方案。

输出任意一种方案的方法：既然我们已经tarjan过了，就直接运用tarjan序belong数组来搞，针对每一组赛车，如果belong[i] < belong[i+n]就选第一组，不然就选第二组

代码：

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
const int N=4e5;
int tot,n,d,nn,top,m,nxt[N+5],v[N+5],point[N],low[N],dfn[N],stack[N],bx[N],id,belong[N],x[N],y[N],zy[20];
bool vis[N],liu=0;
char st[50005],s1[100005][10],s2[100005][10];
int get(int x,char c)
{
    if (bx[x]==0) return c=='B'?x:x+n;
    if (bx[x]==1) return c=='A'?x:x+n;
    if (bx[x]==2) return c=='A'?x:x+n;
}
int ni(int x,char c)
{
    if (bx[x]==0) return c=='B'?x+n:x;
    if (bx[x]==1) return c=='A'?x+n:x;
    if (bx[x]==2) return c=='A'?x+n:x;
}
void addline(int x,int y){++tot; nxt[tot]=point[x]; point[x]=tot; v[tot]=y;}
void tarjan(int x)
{
    low[x]=dfn[x]=++nn; vis[x]=1; stack[++top]=x;
    for (int i=point[x];i;i=nxt[i])
      if (!dfn[v[i]])
      {
        tarjan(v[i]);
        low[x]=min(low[x],low[v[i]]);
      }else if (vis[v[i]]) low[x]=min(low[x],dfn[v[i]]);
    if (low[x]==dfn[x])
    {
        int now=0;id++;
        while (now!=x)
        {
            now=stack[top--];
            vis[now]=0;
            belong[now]=id;
        }
    }
}
bool check()
{
    tot=0;nn=0;id=0;
    for (int i=1;i<=n*2;i++) point[i]=low[i]=dfn[i]=0;
    for (int i=1;i<=m;i++)
    {
        if (bx[x[i]]==s1[i][0]-'A') continue;
        if (bx[y[i]]==s2[i][0]-'A') {addline(get(x[i],s1[i][0]),ni(x[i],s1[i][0]));continue;}
        addline(get(x[i],s1[i][0]),get(y[i],s2[i][0])); //A-B
        addline(ni(y[i],s2[i][0]),ni(x[i],s1[i][0])); //B'-A'
    }
    for (int i=1;i<=n*2;i++)
      if (!dfn[i]) tarjan(i);
    for (int i=1;i<=n;i++)
      if (belong[i]==belong[i+n]) return 0;

    for (int i=1;i<=n;i++)
      if (belong[i]<belong[i+n]) 
      {
        if (bx[i]==0) printf("B");
        else printf("A"); 
      }
      else 
      {
        if (bx[i]==2) printf("B");
        else printf("C");
      }
    return 1;
}
void dfs(int t)
{
    if (t>d){if (check()) liu=1;return;}
    for (int i=0;i<=1 && !liu;i++) bx[zy[t]]=i,dfs(t+1);
}
int main()
{
    scanf("%d%d",&n,&d);d=0;
    scanf("%s",st+1);
    for (int i=1;i<=n;i++)
      if (st[i]=='x') zy[++d]=i;
      else bx[i]=st[i]-'a';
    scanf("%d",&m);
    for (int i=1;i<=m;i++) scanf("%d%s%d%s",&x[i],s1[i],&y[i],s2[i]);
    dfs(1);
    if (!liu) printf("-1");
}