[USACO11JAN]大陆议会The Continental Cowngress_2-sat

Posted fcwww

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了[USACO11JAN]大陆议会The Continental Cowngress_2-sat相关的知识,希望对你有一定的参考价值。

[USACO11JAN]大陆议会The Continental Cowngress_2-sat

题意:

由于对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 如果在每个解中,这个议案都必须驳回

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

分析:

2-sat裸题。

两票a,b至少有一票是对的,那么我们把false[a]连到true[b],把false[b]连到true[a]。

转化为图论问题。对于这道题,我们直接暴力枚举每个点是false/true进行dfs染色。

这个点不可能是false/true当且仅当它染色时同时染到了同一个点的true和false。

求出每个点作为false/ture的可能性,四种刚好对应题目要求。

代码:

#include <stdio.h>
#include <string.h>
#include <algorithm>
using namespace std;
#define N 2500
#define M 45000
int head[N],to[M],nxt[M],cnt,n,m;
int mrk[N],Q[N],ans[N],l,r,vis[N];
char s1[20],s2[20];
inline void add(int u,int v){
    to[++cnt]=v;nxt[cnt]=head[u];head[u]=cnt;
}
int bfs(int s){
    memset(vis,0,sizeof(vis));
    l=r=0;vis[s]=1;Q[r++]=s;
    while(l<r){
        int x=Q[l++];vis[x]=1;
        for(int i=head[x];i;i=nxt[i]){
            if(vis[to[i]])continue;
            Q[r++]=to[i];vis[to[i]]=1;
        }
    }
    for(int i=1;i<=n;i++){
        if(vis[i]&&vis[i+n])return 0;
    }return 1;
}
int main(){
    scanf("%d%d",&n,&m);
    int x,y,tx,ty;
    for(int i=1;i<=m;i++){
        scanf("%d%s%d%s",&x,s1,&y,s2);
        if(s1[0]==‘Y‘)tx=1;else tx=0;
        if(s2[0]==‘Y‘)ty=1;else ty=0;
        add((1-tx)*n+x,ty*n+y);
        add((1-ty)*n+y,tx*n+x);
    }
    for(int i=1;i<=n;i++){
        int t=bfs(i+n),f=bfs(i);
        if(t==0&&f==0){
            puts("IMPOSSIBLE");return 0;
        }
        if(t&&f)ans[i]=0;
        if(t&&!f)ans[i]=1;
        if(!t&&f)ans[i]=2;
    }
    for(int i=1;i<=n;i++){
        if(ans[i]==0)printf("?");
        else if(ans[i]==1)printf("Y");
        else printf("N");
    }
}

 

以上是关于[USACO11JAN]大陆议会The Continental Cowngress_2-sat的主要内容,如果未能解决你的问题,请参考以下文章

[BZOJ2199][Usaco2011 Jan]奶牛议会

BZOJ2199[Usaco2011 Jan]奶牛议会 2-SAT

bzoj2199/Usaco2011 Jan奶牛议会——2-sat

BZOJ2199: [Usaco2011 Jan]奶牛议会

BZOJ 2199: [Usaco2011 Jan]奶牛议会 [2-SAT 判断解]

[USACO14JAN]Recording the Moolympics