sb题
爆搜X地图的状态(不能放a,不能放b,此时已经有全集了)
然后2-SAT
Code:
#include<bits/stdc++.h>
using namespace std;
inline int read(){
int res=0,f=1;char ch=getchar();
while(!isdigit(ch)) {if(ch=='-') f=-f;ch=getchar();}
while(isdigit(ch)) {res=(res<<1)+(res<<3)+(ch^48);ch=getchar();}
return res*f;
}
const int N=1e5+5,INF=1e9;
int vis[N<<1],nxt[N<<1],head[N<<1],tot=0;
inline void add(int x,int y){vis[++tot]=y;nxt[tot]=head[x];head[x]=tot;}
int dfn[N],low[N],sta[N],sign=0,insta[N],top=0,scc=0,id[N];
void tarjan(int v){
dfn[v]=low[v]=++sign;sta[++top]=v;
for(int i=head[v];i;i=nxt[i]){
int y=vis[i];
if(!dfn[y]) tarjan(y),low[v]=min(low[v],low[y]);
else if(!id[y]) low[v]=min(low[v],dfn[y]);
}
if(dfn[v]==low[v]){
++scc;
do{
id[sta[top]]=scc;
}while(sta[top--]!=v);
}
}
int I[N],J[N],A[N],B[N];
int X[N],cnt=0;
int ban[N];
inline char kd(int num){
if(num==2) return 'c';
return num?'b':'a';
}
int n,m;
inline int Id(int v,char c){
if(c=='a') return v;
if(c=='b' && ban[v]=='a') return v;
return v+n;
}
inline char fans(int v,int nm){
if(ban[v]=='a') return nm?'B':'C';
if(ban[v]=='b') return nm?'A':'C';
return nm?'A':'B';
}
inline bool check(){
for(int i=1;i<=(n<<1);i++) head[i]=low[i]=dfn[i]=id[i]=0;
scc=sign=tot=top=0;
for(int i=1;i<=m;i++){
int ii=I[i],jj=J[i];
int x=Id(ii,A[i]),y=Id(jj,B[i]);
int x1=x>n?x-n:x+n,y1=y>n?y-n:y+n;
if(A[i]==ban[ii]) continue;
if(B[i]==ban[jj]) add(x,x1);
else add(x,y),add(y1,x1);
}
for(int i=1;i<=(n<<1);i++) if(!dfn[i]) tarjan(i);
for(int i=1;i<=n;i++) if(id[i]==id[i+n]) return false;
for(int i=1;i<=n;i++) putchar(fans(i,id[i]<id[i+n]));
return true;
}
bool dfs(int v){
if(v==cnt+1) return check();
for(int i=0;i<=2;i++){
ban[X[v]]=kd(i);
if(dfs(v+1)) return true;
}
return false;
}
char s[N];
int main(){
n=read();int d=read();
scanf("%s",s+1);
for(int i=1;i<=n;i++){
if(s[i]=='x') X[++cnt]=i;
else ban[i]=s[i];
}
m=read();
for(int i=1;i<=m;i++){
I[i]=read(),A[i]=getchar(),J[i]=read(),B[i]=getchar();
A[i]+='a'-'A',B[i]+='a'-'A';
}
if(!dfs(1)) puts("-1");
return 0;
}