UVA 1086 - The Ministers' Major Mess（2-sat)

UVA 1086 - The Ministers' Major Mess

题目链接

题意：有n个方案，每个人投票，一个人最多投4张票，现在要有一个方案，使得满足所有人投票方案中有超过一半被满足，输出方案的对错，如果一个方案对错都可以，就输出?

思路：明显是二分图，一开始想错了，想从正着去把条件式化简，根本不可行

正确的做法是，反过来想，因为最多4张票并且超过1半，如果反过来想选哪些方案不满足，那么就只有1和0的情况，就很容易构造表达式了，然后就是2-sat，对于?的情况，只要遍历一遍，每个位置再加一条和原来条件相反的边然后做一次2-sat，如果还满足就是?，如果不满足就是位置的y或n

代码：

#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <vector>
#include <algorithm>
using namespace std;

const int MAXNODE = 105;

struct TwoSet {
int n;
vector<int> g[MAXNODE * 2];
bool mark[MAXNODE * 2];
int S[MAXNODE * 2], sn;

void init(int tot) {
n = tot * 2;
for (int i = 0; i < n; i += 2) {
g[i].clear();
g[i^1].clear();
}
memset(mark, false, sizeof(mark));
}

void add_Edge(int u, int uval, int v, int vval) {
u = u * 2 + uval;
v = v * 2 + vval;
g[u^1].push_back(v);
g[v^1].push_back(u);
}

void delete_Edge(int u, int uval, int v, int vval) {
u = u * 2 + uval;
v = v * 2 + vval;
g[u^1].pop_back();
g[v^1].pop_back();
}

bool dfs(int u) {
if (mark[u^1]) return false;
if (mark[u]) return true;
mark[u] = true;
S[sn++] = u;
for (int i = 0; i < g[u].size(); i++) {
int v = g[u][i];
if (!dfs(v)) return false;
}
return true;
}

bool solve() {
for (int i = 0; i < n; i += 2) {
if (!mark[i] && !mark[i + 1]) {
sn = 0;
if (!dfs(i)){
for (int j = 0; j < sn; j++)
mark[S[j]] = false;
sn = 0;
if (!dfs(i + 1)) return false;
}
}
}
return true;
}
} gao;

const int N = 105;

int n, m;
int a[5];
bool b[5], save
;

int bitcount(int x) {
int ans = 0;
while (x) {
ans += (x&1);
x >>= 1;
}
return ans;
}

int main() {
int cas = 0;
while (~scanf("%d%d", &n, &m) && n || m) {
int k;
gao.init(n);

while (m--) {
scanf("%d", &k);
char c;
for (int i = 0; i < k; i++) {
scanf("%d %c", &a[i], &c);
a[i]--;
if (c == 'y') b[i] = true;
else b[i] = false;
}
if (k <= 2) {
for (int i = 0; i < k; i++)
gao.add_Edge(a[i], b[i], a[i], b[i]);
}
else {
for (int i = 0; i < k; i++) {
for (int j = i + 1; j < k; j++) {
gao.add_Edge(a[i], b[i], a[j], b[j]);
}
}
}
}
printf("Case %d: ", ++cas);
if (!gao.solve()) printf("impossible\n");
else {
for (int i = 0; i < n; i++)
save[i] = gao.mark[i * 2 + 1];
for (int i = 0; i < n; i++) {
memset(gao.mark, false, sizeof(gao.mark));
gao.add_Edge(i, !save[i], i, !save[i]);
if (gao.solve()) printf("?");
else printf("%c", save[i] ? 'y' : 'n');
gao.delete_Edge(i, !save[i], i, !save[i]);
}
printf("\n");
}
}
return 0;
}