uva 1086 - The Ministers' Major Mess（TwoSat）

csdn真是神坑，刚写的解题竟然被吞了，尼玛，害我重写。

本题的突破口在每个投票人都要有超过一半的建议被采纳。所以对于k<3的，每个建议都得采纳，k>=3的，只有一个建议不能采纳。

都得采纳的，我用了一个must数组记录，然后dfs找出所有开始就定下来的建议的值；只有一个不能采纳，即每两个建议间都至少有一个被采纳。

最后输出要判断“？”，我的方法是对每个建议检查是否无论它采不采纳都有解。开始忘了dfs找所有应该must的建议，2y

#include<cstdio>#include<cstring>#include<queue>#include<vector>#include<algorithm>using namespace std;const int maxn = 100 + 5;struct TwoSAT {  int n;  vector<int> G[maxn*2];  bool mark[maxn*2],must[maxn*2];  int S[maxn*2], c;  bool dfs(int x) {    if (mark[x^1]) return false;    if (mark[x]) return true;    mark[x] = true;    S[c++] = x;    for (int i = 0; i < G[x].size(); i++)      if (!dfs(G[x][i])) return false;    return true;  }    void dfs2(int x){        must[x] = true;        for(int i = 0;i < G[x].size();i++)            if(!must[G[x][i]]) dfs2(G[x][i]);    }  void init(int n) {    this->n = n;    for (int i = 0; i < n*2; i++) G[i].clear();    memset(mark, 0, sizeof(mark));    memset(must,0,sizeof(must));  }  void clear(){     memset(mark,0,sizeof(mark));     for(int i = 0;i < 2*n;i++) mark[i] = must[i];//每次都要重新对mark赋值  }  // x = xval or y = yval  void add_clause(int x, int xval, int y, int yval) {    x = x * 2 + xval;    y = y * 2 + yval;    G[x^1].push_back(y);    G[y^1].push_back(x);  }  bool solve() {    for(int i = 0; i < n*2; i += 2){      if(mark[i] && mark[i+1]) return false;//对于开始就有对mark标记的，这句话是必须的      if(!mark[i] && !mark[i+1]) {        c = 0;        if(!dfs(i)) {          while(c > 0) mark[S[--c]] = false;          if(!dfs(i+1)) return false;        }      }    }    return true;  }};TwoSAT solver;int tag[maxn];int main(){    int n,m,kase=0;    while(scanf("%d%d",&m,&n)){        if(n == 0 && m == 0) break;        solver.init(m);        memset(tag,0,sizeof(tag));        while(n--){            int c,x[10],valx,valy;            char s[10][10];            scanf("%d",&c);            for(int i = 0;i < c;i++) scanf("%d%s",&x[i],s[i]);            if(c >= 3){                for(int i = 0;i < c;i++)                for(int j = i+1;j < c;j++){                    valx = s[i][0]=='y'?1:0;                    valy = s[j][0]=='y'?1:0;                    solver.add_clause(x[i]-1,valx,x[j]-1,valy);                }            }            else{                for(int i = 0;i < c;i++){                    valx = s[i][0]=='y'?1:0;                    solver.must[2*(x[i]-1)+valx] = 1;                }            }        }        for(int i = 0;i < 2*m;i++)            if(solver.must[i]) solver.dfs2(i);        for(int i = 0;i < m;i++){            if(solver.must[2*i] || solver.must[2*i+1]) continue;            solver.clear();            solver.mark[2*i] = true;            bool tag1 = solver.solve();            solver.clear();            solver.mark[2*i+1] = true;            bool tag2 = solver.solve();            if(tag1 && tag2) tag[i] = 1;        }        solver.clear();        printf("Case %d: ",++kase);        if(!solver.solve()) printf("impossible\n");        else{            for(int i = 0;i < m;i++){                if(tag[i]) printf("?");                else if(solver.mark[2*i]) printf("n");                else printf("y");            }            printf("\n");        }    }    return 0;}