题目:
题解:
要是没有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");
}