[Luogu P3007] [BZOJ 2199] [USACO11JAN]大陆议会

洛谷传送门

BZOJ传送门

题目描述

由于对Farmer John的领导感到极其不悦，奶牛们退出了农场，组建了奶牛议会。议会以“每头牛都可以获得自己想要的”为原则，建立了下面的投票系统：

$M$只到场的奶牛 ($1 ≤ M ≤ 4000$) 会给$N$个议案投票($1 ≤ N ≤ 1,000$) 。每只奶牛会对恰好两个议案 $B_i\ and\ C_i (1 ≤ B_i ≤ N; 1 ≤ C_i ≤ N)$投出“是”或“否”（输入文件中的’$Y$’和’$N$’）。他们的投票结果分别为$VB_i(VB_i \in {'Y', 'N'})\ and\ VC_i (VC_i \in {'Y', 'N'})$。

最后，议案会以如下的方式决定：每只奶牛投出的两票中至少有一票和最终结果相符合。

例如Bessie给议案1投了赞成’$Y$’，给议案2投了反对’$N$’，那么在任何合法的议案通过方案中，必须满足议案1必须是’$Y$’或者议案2必须是’$N$’（或者同时满足）。

给出每只奶牛的投票，你的工作是确定哪些议案可以通过，哪些不能。如果不存在这样一个方案，输出”$IMPOSSIBLE$”。如果至少有一个解，输出：

$Y$ 如果在每个解中，这个议案都必须通过

$N$ 如果在每个解中，这个议案都必须驳回

$?$ 如果有的解这个议案可以通过，有的解中这个议案会被驳回

考虑如下的投票集合：

​ 　　- - - - - 议案 - - - - -

​ 1 2 3

奶牛 1 YES NO

奶牛 2 NO NO

奶牛 3 YES YES

奶牛 4 YES YES

下面是两个可能的解：

• 议案 1 通过（满足奶牛1，3，4）

• 议案 2 驳回（满足奶牛2）

• 议案 3 可以通过也可以驳回（这就是有两个解的原因）

事实上，上面的问题也只有两个解。所以，输出的答案如下：

YN?

输入输出格式

输入格式

第1行：两个空格隔开的整数：$N$和$M$

第2到$M+1$行：第$i+1$行描述第$i$只奶牛的投票方案：$B_i$, $VB_i$, $C_i$, $VC_i$

输出格式

第1行：一个含有$N$个字符的串，第$i$个字符要么是’$Y$’（第$i$个议案必须通过），或者是’$N$’（第$i$个议案必须驳回），或者是’$?$’。

如果无解，输出”$IMPOSSIBLE$”。

输入输出样例

输入样例#1

3 4 
1 Y 2 N 
1 N 2 N 
1 Y 3 Y 
1 Y 2 Y 

输出样例#1

YN? 

解题分析

这道题可以算半个2-SAT…考虑把每个议案$A$拆成两个点， 一个点$a_1$表示赞成$A$，一个点$a_2$表示反对$A$，那么对于下面这种情况：

$$A\ Y\ B\ N$$
我们连的边有：$a_2\to b_2$和$b_1\to a_1$。

建完图后分别对每个议案暴力$DFS$一遍看是否两种情况都DFS到了即可统计答案。

总复杂度$O(N^2)$

代码如下：

#include <cstdio>
#include <algorithm>
#include <cctype>
#include <cstdlib>
#include <cmath>
#include <cstring>
#define R register
#define IN inline
#define W while
#define gc getchar()
#define MX 2050
template <class T>
IN void in(T &x)
{
    x = 0; R char c = gc;
    W (!isdigit(c)) c = gc;
    W (isdigit(c))
    x = (x << 1) + (x << 3) + c - 48, c = gc;
}
int dot, q, t1, t2, cnt;
int head[MX << 1], res[MX];
bool vis[MX << 1], b1, b2;
char ans[3] = {'Y', 'N', '?'}, buf[5];
struct Edge
{
    int to, nex;
}edge[MX << 2];
IN void addedge(const int &from, const int &to)
{
    edge[++cnt] = {to, head[from]};
    head[from] = cnt;
}
void DFS(const int &now)
{
    vis[now] = true;
    for (R int i = head[now]; i; i = edge[i].nex)
    if(!vis[edge[i].to]) DFS(edge[i].to);
}
IN bool check(const int &now)
{
    memset(vis, false, sizeof(vis));
    vis[now] = true; DFS(now);
    if(vis[now] && vis[now + ((now > dot) ? -dot : dot)]) return false;
    return true;
}
int main(void)
{
    in(dot); in(q);
    for (R int i = 1; i <= q; ++i)
    {
        in(t1); scanf("%s", buf); b1 = buf[0] == 'Y' ? true : false;
        in(t2); scanf("%s", buf); b2 = buf[0] == 'Y' ? true : false;
        if(b1 && b2) addedge(t1 + dot, t2), addedge(t2 + dot, t1);
        else if(b1 && !b2) addedge(t1 + dot, t2 + dot), addedge(t2, t1);
        else if(!b1 && b2) addedge(t1, t2), addedge(t2 + dot, t1 + dot);
        else addedge(t2, t1 + dot), addedge(t1, t2 + dot);
    }
    for (R int i = 1; i <= dot; ++i)
    {
        b1 = check(i), b2 = check(i + dot);
        if(!b1 && !b2)//无论选哪种都不成立， 直接输出IMPOSSIBLE
        {
            printf("IMPOSSIBLE");
            return 0;
        }
        if(b1 && b2) res[i] = 2;
        else if(b1) res[i] = 0;
        else res[i] = 1;
    }
    for (R int i = 1; i <= dot; ++i) printf("%c", ans[res[i]]);
}