UVALive 5010 Go Deeper 2sat-白红宇

UVALive 5010 Go Deeper 2sat

阅读量：6686 次

发布时间：2019-06-25

本文共 1456 字，大约阅读时间需要 4 分钟。

二分答案，2sat判定。

//#pragma comment(linker, "/STACK:1024000000,1024000000")#include
      
       #include
       
        #include
        
         #include
         
          #include
          
           #include
           
            #include
            
             #include
             
              #include
              
               #include
               #include
                
                 #include
                 
                  #include
                  
                   #include
                   
                    using namespace std;typedef long long ll;typedef unsigned long long ull;typedef pair
                    
                      pii;#define pb(a) push(a)#define INF 0x1f1f1f1f#define lson idx<<1,l,mid#define rson idx<<1|1,mid+1,r#define PI 3.1415926535898template
                     
                       T min(const T& a,const T& b,const T& c) { return min(min(a,b),min(a,c));}template
                      
                        T max(const T& a,const T& b,const T& c) { return max(max(a,b),max(a,c));}void debug() {#ifdef ONLINE_JUDGE#else freopen("in.txt","r",stdin); //freopen("d:\\out1.txt","w",stdout);#endif}int getch() { int ch; while((ch=getchar())!=EOF) { if(ch!=' '&&ch!='\n')return ch; } return EOF;}const int maxn=205;struct TwoSat{ int n; vector
                       
                         g[maxn*2]; bool mark[maxn*2]; int s[maxn*2],c; 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; for(int i=0;i
                         
                          0)mark[s[--c]]=0; if(!dfs(i+1))return false; } } } return true; }};TwoSat solver;const int maxm=10005;int a[maxm],b[maxm],c[maxm];int n,m;int check(int k){ solver.init(n); for(int i=0;i
                          
                           >1; if(check(mid)) l=mid+1; else r=mid; } printf("%d\n",l-1); } return 0;}