UVA Live 3211飞机调度问题-二分+2-SAT

最新推荐文章于 2022-02-24 10:46:23 发布

一名码农、

最新推荐文章于 2022-02-24 10:46:23 发布

阅读量878

点赞数

分类专栏： ACM_图论

本文链接：https://blog.csdn.net/u012350533/article/details/24578259

版权

ACM_图论专栏收录该内容

48 篇文章 0 订阅

订阅专栏

题目大家自己找吧，最近好像什么连接都粘不了，将就着看吧。。

这题不分析，太经典了，具体看白书Page 326页吧。。899ms，暴力其实也好快，时限是9000ms。。

/****************************
* author:crazy_石头
* date：2014/04/25
* time:899 ms 
* algorithm:2-SAT
* Pro：UVA Live 3211
***************************/
#include 
   
   
    
    
#include 
    
    
     
     
#include 
     
     
      
      
#include 
      
      
       
       
#include 
       
       
         #include 
        
          #include 
         
           #include 
          
            #include 
           
             using namespace std; #define INF INT_MAX #define eps 1e-8 #define A system("pause") #define rep(i,h,n) for(int i=(h);i<=(n);i++) #define ms(a,b) memset((a),(b),sizeof(a)) #define lson l , m , rt << 1 #define rson m + 1 , r , rt << 1 | 1 const int maxn=2000+5; const int maxm=30; struct TwoSAT { int n; vector 
            
              g[maxn<<1]; bool mark[maxn<<1]; int s[maxn<<1],c; inline bool dfs(int x) { if(mark[x^1]) return false; if(mark[x]) return true; mark[x]=true; s[c++]=x;//入栈； for(int i=0;i 
             
               n=n; rep(i,0,n*2-1) g[i].clear(); ms(mark,0); } inline void add(int x,int xval,int y,int yval) { x=x*2+xval; y=y*2+yval; g[x^1].push_back(y); g[y^1].push_back(x); } inline bool solve() { for(int i=0;i 
              
                0)mark[s[--c]]=false; if(!dfs(i^1)) return false; } } } return true; } }; TwoSAT solver; int n,T[maxn][2]; inline bool test(int diff) { solver.init(n); rep(i,0,n-1) rep(a,0,1) rep(j,i+1,n-1) rep(b,0,1) if(abs(T[i][a]-T[j][b])