bzoj 2199: [Usaco2011 Jan]奶牛议会【2-SAT】

最新推荐文章于 2019-08-09 21:44:00 发布

转载最新推荐文章于 2019-08-09 21:44:00 发布 · 86 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

原文链接：http://www.cnblogs.com/lokiii/p/8999495.html

本文详细介绍了2-SAT算法的基本原理及其实现过程，通过具体的代码示例讲解了如何利用2-SAT解决实际问题，并给出了完整的C++代码实现。

好久没写2-SAT了啊，还以为是网络流
设点x为选，x'为不选，因为一头牛至少要满足一个条件，所以对于牛条件的两个点，选了一个不符合的点，就要选另一个符合的点，这样连两条边
然后枚举所有议案的选和不选点，从当前枚举的点出发，dfs一遍，把经过的点都打上标记，然后判断当前枚举的点是否合法（没有一个议案的选和不选点都被dfs到），如果选和不选点都不合法就退出，输出impossible；都合法就输出？；只有一个合法就输出相对的选或不选

#include<iostream>
#include<cstdio>
using namespace std;
const int N=2005,inf=1e9;
const char ha[]={'?','N','Y'};
int n,m,h[N],cnt,v[N],ti,ans[N];
struct qwe
{
    int ne,to,va;
}e[N*20];
int read()
{
    int r=0,f=1;
    char p=getchar();
    while(p>'9'||p<'0')
    {
        if(p=='Y')
            return 1;
        if(p=='N')
            return 0;
        p=getchar();
    }
    while(p>='0'&&p<='9')
    {
        r=r*10+p-48;
        p=getchar();
    }
    return r*f;
}
void add(int u,int v)
{
    cnt++;
    e[cnt].ne=h[u];
    e[cnt].to=v;
    h[u]=cnt;
}
void dfs(int u)
{
    v[u]=ti;
    for(int i=h[u];i;i=e[i].ne)
        if(v[e[i].to]!=ti)
            dfs(e[i].to);
}
bool ok(int u)
{
    ti++;
    dfs(u);
    for(int i=1;i<=n;i++)
        if(v[i]==ti&&v[i+n]==ti)
            return 0;
    return 1;
}
int main()
{
    n=read(),m=read();
    for(int i=1;i<=m;i++)
    {
        int x=read(),xx=read(),y=read(),yy=read();
        add(x+(xx^1)*n,y+yy*n),add(y+(yy^1)*n,x+xx*n);
    }
    for(int i=1;i<=n;i++)
    {
        bool p=ok(i+n),q=ok(i);
        if(!p&&!q)
        {
            puts("IMPOSSIBLE");
            return 0;
        }
        else if(p&&q)
            ans[i]=0;
        else if(!p)
            ans[i]=1;
        else
            ans[i]=2;
    }
    for(int i=1;i<=n;i++)
        printf("%c",ha[ans[i]]);
    return 0;
}

转载于:https://www.cnblogs.com/lokiii/p/8999495.html