UVALive

题目链接

题意：有n个决议和m个人，每个人给至多4个方案投票，问是否存在一种方案使每个人超过一半的投票生效

当一个人投票数小于等于2时，他的每一票都必须生效，否则至多有一票不生效，“至多有一票不生效”等价于“任意两票不能同时不生效”，这样就转化成了一个2-SAT问题

题目还要求输出每一种方案的所有可能，逐一枚举然后2-SAT即可

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef double db;
const int N=1e5+10;
struct TWO_SAT {
    int n,hd[N],ne,col[N],sta[N],tp;
    struct E {int v,f,g,nxt;} e[N];
    void link(int u,int v,int f,int g) {
        e[ne]= {v,f,g,hd[u]},hd[u]=ne++;
        e[ne]= {u,!g,!f,hd[v]},hd[v]=ne++;
    }
    void init(int _n) {
        n=_n,ne=tp=0;
        for(int i=1; i<=n; ++i)hd[i]=-1;
    }
    bool dfs(int u,int c) {
        if(~col[u])return col[u]==c;
        col[u]=c,sta[tp++]=u;
        for(int i=hd[u]; ~i; i=e[i].nxt) {
            int v=e[i].v,f=e[i].f,g=e[i].g;
            if(f==col[u]&&!dfs(v,g))return 0;
        }
        return 1;
    }
    bool check() {
        for(int i=1; i<=n; ++i)col[i]=-1;
        for(int i=1; i<=n; ++i)if(!~col[i]) {
                tp=0;
                if(!dfs(i,0)) {
                    for(; tp; col[sta[--tp]]=-1);
                    if(!dfs(i,1))return 0;
                }
            }
        return 1;
    }
} twosat;
struct D {int u; char c;};
int ans[N],n,m,ka,hd[N],ne;
const char* ss=".ny?";
int main() {
    while(scanf("%d%d",&n,&m),n) {
        twosat.init(n);
        while(m--) {
            vector<D> vec;
            int k;
            scanf("%d",&k);
            for(int i=0; i<k; ++i) {
                int u;
                char c;
                scanf("%d %c",&u,&c);
                vec.push_back({u,c});
            }
            if(k<=2) {for(D x:vec)twosat.link(x.u,x.u,x.c!='y',x.c=='y');}
            else {
                for(int i=0; i<vec.size(); ++i)
                    for(int j=i+1; j<vec.size(); ++j)
                        twosat.link(vec[i].u,vec[j].u,vec[i].c!='y',vec[j].c=='y');
            }
        }
        for(int i=1; i<=n; ++i)hd[i]=twosat.hd[i];
        ne=twosat.ne;
        for(int u=1; u<=n; ++u)ans[u]=0;
        for(int u=1; u<=n; ++u)
            for(int f=0; f<2; ++f) {
                twosat.link(u,u,!f,f);
                if(twosat.check())ans[u]|=1<<f;
                for(int i=1; i<=n; ++i)twosat.hd[i]=hd[i];
                twosat.ne=ne;
            }
        bool ok=1;
        for(int u=1; u<=n; ++u)if(ans[u]==0)ok=0;
        printf("Case %d: ",++ka);
        if(!ok)puts("impossible");
        else {
            for(int u=1; u<=n; ++u)printf("%c",ss[ans[u]]);
            puts("");
        }
    }
    return 0;
}