uva1146 2-SAT问题

题意大白书

二分答案，然后对于每个可能的答案，跑一遍2-SAT就好了。

#include <iostream>
#include <string.h>
#include <algorithm>
#include <cstdio>
#include <vector>
using namespace std;
const int maxn=+;
struct TwoSAT{
   int n;
   vector<int >G[maxn*];
   bool mark[maxn*];
   int S[maxn*],c;
   bool dfs(int x){
     if(mark[x^]) return false;
     if(mark[x]) return true;
     mark[x]=true;
     S[c++] =x;
     for(int i=; i<G[x].size(); ++i)
        if(!dfs(G[x][i])) return false;
     return true;
   }
   void inti(int n){
      this->n=n;
      for(int i=; i<n*; i++)
        G[i].clear();
      memset(mark,,sizeof(mark));
   }
   void add_clause(int x, int xval, int y, int yval){
        x = x *  + xval;
        y = y *  + yval;
        G[x^].push_back(y);
        G[y^].push_back(x);
   }
   bool solve(){
        for(int i=; i< n*; i+=)
        if(!mark[i] && !mark[i+]){
            c=;
            if(!dfs(i)){
                while(c>) mark[S[--c]] = false;
                if( !dfs(i+) ) return false;
            }
        }
        return true;
   }
}solver;
int n,T[maxn][];
bool test(int diff){
    solver.inti(n);
    for(int i=; i<n; ++i)
        for(int a=; a<; ++a)
         for(int j=i+; j<n; ++j)
           for(int b=; b<; ++b)
            if(abs(T[i][a]-T[j][b])<diff)
                solver.add_clause(i,a^,j,b^);
     return solver.solve();
}
int main()
{
      while(scanf("%d",&n)== && n){
          int L=, R=;
          for(int i=; i<n; ++i)
          for(int a=; a<; ++a){
             scanf("%d",&T[i][a]);
             R=max(R,T[i][a]);
          }
          while(L<R){
             int M = L + ( R - L +)/;
             if(test(M)) L=M; else R=M-;
          }
          printf("%d\n",L);
      }
    return ;
}