[BZOJ4945][2-SAT]NOI2017：游戏

BZOJ4945

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;
}