LA3211二分答案+2-sat+总结的此类问题统一建模方法

/*LA3211
2-sat+二分答案
现在统一建模的方式：
1、同一组的两个状态分别存储在2*i和2*i+1两个节点，产生2*n个节点
2、for(int i=1;i<2*n;i++)
   for(int j=0;j<i;j++)
   {
      if (i==(j^1)) continue;
      sat.add_clause(i,j);//枚举出的不属于同一组的不相容的两点
   }
3、2-sat即可
和HDU3622相似
*/
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <math.h>
#include <ctype.h>
#include <string>
#include <iostream>
#include <sstream>
#include <vector>
#include <queue>
#include <stack>
#include <map>
#include <list>
#include <set>
#include <algorithm>
#define INF 0x3f3f3f3f
#define LL long long
#define eps 1e-4
#define maxn 2010
using namespace std;
int T[2*maxn];
struct TwoSAT
{
    int n;
    vector<int> G[maxn*2];
    bool mark[maxn*2];//联系《2-sat算法解析》中的红蓝标色
    int S[maxn*2],c;
    bool dfs(int x)
    {
        if (mark[x^1]) return false;//真假同时被标记，逻辑矛盾
        if (mark[x]) return true;//x被标记，意味着下面的节点也被标记，思想是记忆化搜索
        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 init(int n)
    {
        this->n=n;
        for(int i=0; i<n*2; i++) G[i].clear();
        memset(mark,0,sizeof(mark));
    }
    //x=xval or y=xval ，x 则 xval=0，x'则xval=1
    void add_clause(int x ,int y)
    {
        G[x].push_back(y^1);
        G[y].push_back(x^1);
    }
    bool solve()
    {
        for(int i=0;i<n*2;i+=2)
        {
            if(!mark[i] && !mark[i^1])//真假都没被标记才需dfs，思考一下，原书上写的是[mark+1],这是由i的取值和步长决定的，这里更改，使逻辑含义统一
            {
                c=0;//记得清零
                if(!dfs(i))//将i标记为true
                {
                    while(c>0) mark[S[--c]]=false;
                    if (!dfs(i^1)) return false;//更改初始标号颜色。只要有一个对象不能“二选一”，则2-sat无解
                }
            }
        }
        return true;
    }
} sat;
double dis(double x1,double y1,double x2,double y2)
{
    return sqrt((x1-x2)*(x1-x2)+(y1-y2)*(y1-y2));
}
int n;
bool solve(int time)
{
    sat.init(n);
    for(int i=1;i<2*n;i++)//枚举
    {
        for(int j=0;j<i;j++)
        {
            if (i==(j^1)) continue;//消除所有的同一组的
            if (time>abs(T[i]-T[j])) sat.add_clause(i,j);
        }
    }
    return sat.solve();
}
int nextint(){int x;scanf("%d",&x);return x;}
int main()
{
    while(cin>>n)
    {
        for(int i=0;i<n;i++)
        {
            T[i*2]=nextint();
            T[i*2+1]=nextint();
        }
        int L=0,R=10000001;
        while(R>L)
        {
            int M=(L+R+1)/2;
            if (!solve(M)) R=M-1;else L=M;
        }
        cout<<L<<endl;
        //貌似printf不能配合ceil使用 = =~
        //最终结果要求是整数，要满足实际意义
    }
    return 0;
}