【NOI2017】游戏 题解（2-SAT+缩点）

题目链接

题目大意：有四种场地$a,b,c,x$和三种赛车$A,B,C$，$a$不能跑$A$，$b$不能跑$B$，$c$不能跑$C$，$x$都可以跑。给定$n$个场地和$m$个四元组$(i,h_i,j,h_j)$，意为如果在第$i$个场地跑$h_i$，那么第$j$个场地必须跑$h_j$。输出一种合法方案。若无输出$-1$。

----------------------------------

此题难在建图。把建图搞定就是一个裸的2-SAT板子。

我们规定$0$为每种场地的第一种能跑的车（按字典序），$1$表示第二种能跑的车。对于约束条件，我们有$3$种情况：

1.$h_i$类型的车与$i$冲突，那么我们直接跳过，不用管它。

2.$h_j$类型的车与$j$冲突，那么我们让$i$向$i'$连边，表示如果选择$h_i$则无解。

3.没有冲突情况。那么我们直接按照2-SAT建图方式建就好，即$i$向$j$连边，$j'$向$i'$连边。

对于$x$，我们只要把它当作某一种特定的场地，然后$dfs$枚举所有情况就好。把它当作任意两种场地就可以包含所有可能情况。

时间复杂度$O(2^dn)$。

PS:一开始我超级傻逼，写了一串$if$来判各种情况还各种出锅；后面突然想到只要写个函数判断就行了草。从早上7点来学校写，一直到上午10点才过……

代码：

#include<bits/stdc++.h>
using namespace std;
const int maxn=;
int dfn[maxn],low[maxn],vis[maxn],pos[maxn],jishu,tot;
stack<int> st;
int head[maxn],cnt,n,m,d;
int query[maxn][];
char ch[maxn][],c[maxn],s[maxn];
struct node
{
    int next,to;
}edge[maxn];
inline int read()
{
    int x=,f=;char ch=getchar();
    while(!isdigit(ch)){if (ch=='-') f=-;ch=getchar();}
    while(isdigit(ch)){x=x*+ch-'';ch=getchar();}
    return x*f;
}
inline void add(int from,int to)
{
    edge[++cnt].next=head[from];
    edge[cnt].to=to;
    head[from]=cnt;
}
inline void clear()
{
    jishu=tot=cnt=;
    memset(head,,sizeof(head));
    memset(dfn,,sizeof(dfn));
    memset(low,,sizeof(low));
    memset(pos,,sizeof(pos));
    while(!st.empty()) st.pop();
}
inline void tarjan(int now)
{
    dfn[now]=low[now]=++jishu;
    st.push(now);vis[now]=;
    for (int i=head[now];i;i=edge[i].next)
    {
        int to=edge[i].to;
        if (!dfn[to]) tarjan(to),low[now]=min(low[now],low[to]);
        else if (vis[to]) low[now]=min(low[now],dfn[to]);
    }
    if (low[now]==dfn[now])
    {
        tot++;
        while(st.top()!=now)
        {
            int x=st.top();st.pop();
            vis[x]=;
            pos[x]=tot;
        }
        int x=st.top();st.pop();
        vis[x]=;
        pos[x]=tot;
    }
}
inline bool check(int pos,char x)
{
    if (x+==s[pos]) return ;
    return ;
}
inline bool get(int pos,char x)
{
    if (s[pos]=='a') return x=='B'?:;
    else return x=='A'?:;
}
inline void dfs(int now)
{
    if (now>n)
    {
        clear();
        for (int i=;i<=m;i++)
        {
            int a=query[i][],b=query[i][];
            if (check(a,ch[i][])) continue;
            if (check(b,ch[i][]))
            {
                int flag=get(a,ch[i][]);
                if (!flag) add(a,a+n);
                else add(a+n,a);
                continue;
            }
            else
            {
                int x=get(a,ch[i][]),y=get(b,ch[i][]);
                if (x==&&y==) add(a,b),add(b+n,a+n);
                if (x==&&y==) add(a,b+n),add(b,a+n);
                if (x==&&y==) add(a+n,b),add(b+n,a);
                if (x==&&y==) add(a+n,b+n),add(b,a);
            }
        }
        for (int i=;i<=*n;i++) if(!dfn[i]) tarjan(i);
        for (int i=;i<=n;i++) if (pos[i]==pos[i+n]) return;
        for (int i=;i<=n;i++)
        {
            if (pos[i]<pos[i+n])
            {
                if (s[i]=='a') printf("B");
                else printf("A");
            }
            else
            {
                if (s[i]=='c') printf("B");
                else printf("C");
            }
        }
        exit();
    }
    if (c[now]=='a') s[now]='a',dfs(now+);
    if (c[now]=='b') s[now]='b',dfs(now+);
    if (c[now]=='c') s[now]='c',dfs(now+);
    if (c[now]=='x'){s[now]='a',dfs(now+);s[now]='b',dfs(now+);}
}
int main()
{
    n=read(),d=read();
    cin>>(c+);
    m=read();
    for (int i=;i<=m;i++)
    {
        query[i][]=read(),cin>>ch[i][];
        query[i][]=read(),cin>>ch[i][];
    }
    dfs();
    printf("-1");
    return ;
}