2-sat问题

SAT：就是一些由布尔值组成的关系的集合。 
2-SAT：就是由两个布尔值组成的关系的集合。 
2-SAT问题：就是给出一些关系，然后问能不能满足这些所有的关系？

比如有n个国家，每个国家有两个代表，必须选出一个代表参加一个会议，但是代表间有矛盾，给出这些矛盾的代表，问能否选出满足条件的。 
4个国家，代表编号为2*i，2 *i-1 
这些代表有矛盾1和4，2和3，7和3 
这样的话肯定是能够满足条件的。出一些关系，然后问能不能满足这些所有的关系？ 

两种解法，对于上面的例子，1和4矛盾，明显分别属于1和2国家，那么加入我要选1则必须选3，因为每个国家必须选一个，而1和4又是矛盾的！同样要选4必须选2，我可以给他们必选条件之间建一条有向边。 
那么可以得到这样一个图 
 
这样建图之后，能够得到一种很直观的解法。 
枚举所有的同一个国家的代表（2*i 和 2 *i-1）首先任选一个，推导出相关的，若不矛盾，则可行，否则选另一个，若也不可行，则无解。 
这个算法的时间负责度O（m*n），在大多数情况下是可行的。

UVA1146这个题目是一个类似的题目，不过要求一个最大值，我们二分结果，然后用2-set判断是否可行。 

#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
#include <algorithm>
using namespace std;
const int N = 2200;
int tim[N][3];

struct twoSet
{
    vector<int> G[2*N];
    bool vis[2*N];
    int s[2*N],c;
    void init(int n)
    {
        for(int i=0;i<=2*n;i++)
            G[i].clear();
        memset(vis,false,sizeof(vis));
    }
    void add_Node(int x,int valx,int y,int valy)
    {
        x = 2*x + valx;
        y = 2*y + valy;
        G[x^1].push_back(y);
        G[y^1].push_back(x);
    }
    bool dfs(int x)
    {
        if(vis[x^1])
            return false;
        if(vis[x])
            return true;
        vis[x] = true;
        s[c++] = x;
        for(int i=0;i<G[x].size();i++)
        {
            if(!dfs(G[x][i]))
                return false;
        }
        return true;
    }
    bool yougth(int n)
    {
        for(int i = 0;i< 2*n;i+=2)
        {
            if(!vis[i] && !vis[i+1])
            {
                c = 0;
                if(!dfs(i))
                {
                    while(c>0)
                        vis[ s[--c] ] = false;
                    if(!dfs(i+1))
                        return false;
                }
            }
        }
        return true;
    }
};
twoSet solver;
bool test(int diff,int n)
{
    solver.init(n);
    for(int i=0;i<n;i++)for(int a=0;a<2;a++)
        for(int j=i+1;j<n;j++)for(int b=0;b<2;b++)
            if(abs(tim[i][a]-tim[j][b])<diff)solver.add_Node(i,a^1,j,b^1);
    return solver.yougth(n);
}
int main()
{
    int n;
    while(~scanf("%d",&n))
    {
        int L = 0,R = 0;
        for(int i=0;i<n;i++)
        {
            for(int t=0;t<2;t++)
            {
                scanf("%d",&tim[i][t]);
                R = max(R,tim[i][t]);
            }
        }
        while(L<R)
        {
            int mid=L+(R-L+1)/2;
            if(test(mid,n))L=mid;
            else R=mid-1;
        }
        printf("%d\n",L);
    }
    return 0;
}