Now or later UVA - 1146 2-sat

题目链接点这里

2-sat模板题

显然先二分答案，然后找出限制条件，，

#include<iostream>
#include<map>
#include<stdio.h>
#include<bitset>
#include<stack>
#include<algorithm>
#include<queue>
#include<set>
#include<string.h>
#include<string>
#include<vector>
#define MX 4444
#define INF 0x3f3f3f3f
#define mem(x,y) memset(x,y,sizeof(x))
#define FIN freopen("input.txt","r",stdin)
using namespace std;
int n,m;
int head[MX],cnt;
struct Edge {
    int nxt,to;
} edge[MX*MX];
void edge_init() {
    mem(head,-1);
    cnt=0;
}
void edge_add(int a,int b) {
    edge[cnt].to=b;
    edge[cnt].nxt=head[a];
    head[a]=cnt++;
}
bool mark[MX];//点数开2倍
int S[MX],c;
bool dfs(int u) {
    if(mark[u^1]) return 0;
    if(mark[u]) return 1;
    mark[u]=1;
    S[c++]=u;
    for(int i=head[u]; ~i; i=edge[i].nxt) {
        int v=edge[i].to;
        if(dfs(v)==0) return 0;
    }
    return 1;
}
void two_sat_edge(int x,int xval,int y,int yval) {
    x=2*x+xval;
    y=2*y+yval;
    edge_add(x^1,y);
    edge_add(y^1,x);
}
bool two_sat() { //点的编号从0开始
    mem(mark,0);
    for(int i=0; i<2*n; i+=2)
        if(!mark[i]&&!mark[i+1]) {
            c=0;
            if(!dfs(i)) {
                while(c>0) mark[S[--c]]=0;
                if(!dfs(i+1)) {
                    return 0;
                }
            }
        }
    return 1;
}
int arr[MX][2];
bool check(int k) {
    edge_init();
    /*   int flag;
     for(int i=0; i<n; i++) {
          for(int j=0; j<n; j++) {
                  if(i==j) continue;
              flag=0;
              for(int w=0; w<=1; w++) {
                  if(abs(arr[i][w]-arr[j][0])>=k&&abs(arr[i][w]-arr[j][1])>=k) {
                      flag=1;
                      continue;
                  }
                  if(abs(arr[i][w]-arr[j][0])>=k) edge_add(2*i+w,2*j),flag=1;
                  if(abs(arr[i][w]-arr[j][1])>=k) edge_add(2*i+w,2*j+1),flag=1;
              }
              if(flag==0) {
                  return 0;
              }
          }
      }
      */
    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(arr[i][a]-arr[j][b])<k) two_sat_edge(i,a^1,j,b^1);

    return two_sat();
}
int erfeng(int l,int r) {
    int m;
    while(l<r) {
        m=(l+r)/2+1;
        if(check(m)) l=m;
        else r=m-1;
    }
    return l;
}
int main() {
    FIN;
    while(~scanf("%d",&n)) {
        int maxn=0;
        for(int i=0; i<n; i++) {
            scanf("%d%d",&arr[i][0],&arr[i][1]);
            maxn=max(maxn,max(arr[i][1],arr[i][0]));
        }
        printf("%d\n",erfeng(0,maxn));
    }
    return 0;
}