[2-SAT]NOI2017 .day2 T1 游戏

一看题目 3-sat？？？
然而发现为x的地图最多有8个，那么可以枚举每个x是什么，然后2-sat，复杂度是$3^8(n+m)$，再想一想，其实可以枚举每个x是a，或者用A型车，再用2-sat，复杂度就是$2^8(n+m)$了，但是建图太鬼畜，程序一大半在建图，最后还是被卡成68分

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <vector>

using namespace std;

const int N=500010;

int n,m;
int a[N],b[N],Q[N],l,r;
char s[N];
vector<int> xp,back;
struct edge{
  int a,b;
  char x,y;
}e[N];
vector<edge> inn[N],outt[N];

int G[N],bel[N],stk[N],vis[N],low[N],dfn[N],cnt,top,tms,g;
struct Edge{
  int t,nx;
}E[N];

inline void add(int x,int y){
  E[++cnt].t=y; E[cnt].nx=G[x]; G[x]=cnt;
}

void tarjan(int x){
  vis[x]=1;
  dfn[x]=low[x]=++tms;
  stk[++top]=x;
  for(int i=G[x];i;i=E[i].nx){
    if(!vis[E[i].t]) tarjan(E[i].t);
    if(vis[E[i].t]==1) low[x]=min(low[x],low[E[i].t]);
  }
  if(low[x]==dfn[x]){
    ++g; int k;
    do{
      k=stk[top--];
      bel[k]=g;
      vis[k]=2;
    }while(top && k!=x);
  }
}

int iG[N],opp[N],d[N],icnt;
struct iedge{
  int t,nx;
}ie[N];

inline void Add(int x,int y){
  ie[++icnt].t=y; ie[cnt].nx=iG[x]; iG[x]=icnt;
}

inline bool Back(bool x){
  for(int i=0;i<back.size();i++)
    s[back[i]]='x';
  return x;
}

inline bool judge(){
  l=r=0; back.clear();
  for(int i=1;i<=n;i++) a[i]=0;
  for(int i=0;i<xp.size();i++)
    if(b[xp[i]]) a[xp[i]]=1;
  for(int i=1;i<=m;i++)
    if(!a[e[i].a] && !a[e[i].b] && e[i].y-'A'==s[e[i].b]-'a' && e[i].x-'A'!=s[e[i].a]-'a'){
      if(s[e[i].a]=='x'){
    s[e[i].a]=e[i].x-'A'+'a'; back.push_back(e[i].a);
    continue;   
      }
      a[e[i].a]=6-(e[i].x-'A'+1)-(s[e[i].a]-'a'+1); 
    }

  for(int i=1;i<=n;i++)
    if(a[i]) Q[r++]=i;
  while(l<r){
    int x=Q[l++];
    for(int i=0;i<inn[x].size();i++){
      edge e=inn[x][i];
      if(e.x-'A'+1!=a[x]) continue;
      if(a[e.b] && a[e.b]!=e.y-'A'+1) return Back(false);
      if(a[e.b]) continue;
      a[e.b]=e.y-'A'+1;
      Q[r++]=e.b;
    }
  }
  l=r=0;
  for(int i=1;i<=n;i++)
    if(a[i]) Q[r++]=i;
  while(l<r){
    int x=Q[l++];
    for(int i=0;i<outt[x].size();i++){
      edge e=outt[x][i];
      if(e.y-'A'+1==a[x]) continue;
      if(a[e.a] && a[e.a]==e.x-'A'+1) return Back(false);
      if(a[e.a]) continue;
      if(e.x-'A'==s[e.a]-'a') continue;
      if(s[e.a]=='x'){
    s[e.a]=e.x-'A'+'a',back.push_back(e.a);
    continue;
      }
      a[e.a]=6-(e.x-'A'+1)-(s[e.a]-'a'+1);
      Q[r++]=e.a;
    }
  }
  for(int i=1;i<=n;i++) if(a[i]+'a'-1==s[i]) return Back(false);
  for(int i=1;i<=n;i++) G[i]=0; cnt=0;
  for(int i=1;i<=m;i++)
    if(!a[e[i].a] && !a[e[i].b]){
      if(e[i].x-'A'==s[e[i].a]-'a') continue;
      int x=e[i].x-'A'+1,y=6-(e[i].x-'A'+1)-(s[e[i].a]-'a'+1),u=e[i].y-'A'+1,v=6-(e[i].y-'A'+1)-(s[e[i].b]-'a'+1);
      if(x>y) swap(x,y); if(u>v) swap(u,v);
      if(x==e[i].x-'A'+1 && e[i].y-'A'+1==u) add(e[i].a<<1,e[i].b<<1),add(e[i].b<<1|1,e[i].a<<1|1);
      if(x==e[i].x-'A'+1 && e[i].y-'A'+1==v) add(e[i].a<<1,e[i].b<<1|1),add(e[i].b<<1,e[i].a<<1|1);
      if(y==e[i].x-'A'+1 && e[i].y-'A'+1==u) add(e[i].a<<1|1,e[i].b<<1),add(e[i].b<<1|1,e[i].a<<1);
      if(y==e[i].x-'A'+1 && e[i].y-'A'+1==v) add(e[i].a<<1|1,e[i].b<<1|1),add(e[i].b<<1,e[i].a<<1);
    }
  for(int i=1;i<=n;i++) vis[i]=bel[i]=0; g=0;
  for(int i=2;i<=(n<<1|1);i++)
    if(!vis[i]) tarjan(i),top=tms=0;
  for(int i=1;i<=n;i++)
    if(bel[i<<1]==bel[i<<1|1]) return Back(false);
  for(int i=1;i<=g;i++) iG[i]=opp[i]=0; icnt=0;
  for(int k=2;k<=(n<<1|1);k++){
    for(int i=G[k];i;i=E[i].nx)
      if(bel[E[i].t]!=bel[k])
    Add(bel[E[i].t],bel[k]);
    opp[bel[k]]=bel[k^1];           
  }
  l=r=0;
  for(int i=1;i<=g;i++) vis[i]=0;
  for(int i=1;i<=g;i++)
    if(!d[i]) Q[r++]=i;
  while(l<r){
    int x=Q[l++];
    if(!vis[x]) vis[x]=1,vis[opp[x]]=2;
    for(int i=iG[x];i;i=ie[i].nx){
      if(!(--d[ie[i].t])) Q[r++]=ie[i].t;
    }
  }
  for(int i=1;i<=n;i++){
    if(a[i]){
      putchar(a[i]+'A'-1); continue;
    }
    int u,v;
    if(s[i]=='a') u=2,v=3;
    if(s[i]=='b') u=1,v=3;
    if(s[i]=='c') u=1,v=2;
    if(vis[bel[i<<1]]==1) putchar(u+'A'-1);
    else putchar(v+'A'-1);
  }
  return Back(true);
}

bool dfs(int x){
  if(x>=xp.size()){
    if(judge()) return true;
    return false;
  }
  b[xp[x]]=0; s[xp[x]]='a'; 
  if(dfs(x+1)) return true;
  s[xp[x]]='x'; b[xp[x]]=1; 
  if(dfs(x+1)) return true;
  return false;
}

int ddd;

int main(){
  scanf("%d%d",&n,&ddd);
  scanf("%s",s+1);
  for(int i=1;i<=n;i++)
    if(s[i]=='x') xp.push_back(i);
  scanf("%d",&m);
  for(int i=1;i<=m;i++){
    scanf("%d",&e[i].a);
    while((e[i].x=getchar())!='A' && e[i].x!='C' && e[i].x!='B');
    scanf("%d",&e[i].b);
    while((e[i].y=getchar())!='A' && e[i].y!='C' && e[i].y!='B');
    inn[e[i].a].push_back(e[i]);
    outt[e[i].b].push_back(e[i]);
  }
  if(!dfs(0)) puts("-1");
  return 0;
}