Uva 1146 - Now or later 二分+构图2-sat判断

来源：互联网发布：ai cc mac 破解版编辑：程序博客网时间：2024/05/16 05:55

题意:

有个飞机场..要安排飞机降落并且休息..每个飞机可能在其两个时刻到达...让一个飞机到达并且休息的时候..其他的飞机不能降落..问要保证所有飞机都能正常降落的最长休息时间是什么...

题解:

裸构图2-sat....因为一个分号的原因WA了好久...囧.....还有就是边的数组开小了...一定要先算清楚啊！！！

Program:

#include<iostream>#include<stdio.h>#include<cmath>#include<queue>#include<stack>#include<string.h>#include<map>#include<set>#include<algorithm>#define oo 1000000007#define MAXN 2005<<1#define MAXM 40000005#define ll long longusing namespace std;   struct LINE{       int y,next; }line[MAXM];int a[MAXN][2],Lnum,_next[MAXN],dfn[MAXN],low[MAXN],tp[MAXN],tpnum,DfsIndex;bool instack[MAXN];stack<int> mystack;void addline(int x,int y){       line[++Lnum].next=_next[x],_next[x]=Lnum,line[Lnum].y=y;}void tarjan(int x){       mystack.push(x),instack[x]=true;       dfn[x]=low[x]=++DfsIndex;              for (int k=_next[x];k;k=line[k].next)       {               int y=line[k].y;               if (!dfn[y])               {                     tarjan(y);                     low[x]=min(low[x],low[y]);               }else               if (instack[y])                     low[x]=min(low[x],dfn[y]);       }       if (low[x]==dfn[x])       {               tpnum++;               do               {                       x=mystack.top();                       mystack.pop();                       instack[x]=false;                       tp[x]=tpnum;               }while (low[x]!=dfn[x]);       }}bool _2sat(int n,int m){       int i,j;       Lnum=0,memset(_next,0,sizeof(_next));       for (i=0;i<n;i++)          for (j=i+1;j<n;j++)          {                 if (abs(a[i][0]-a[j][0])<m) addline(i<<1,j<<1|1),addline(j<<1,i<<1|1);                 if (abs(a[i][0]-a[j][1])<m) addline(i<<1,j<<1),addline(j<<1|1,i<<1|1);                 if (abs(a[i][1]-a[j][0])<m) addline(i<<1|1,j<<1|1),addline(j<<1,i<<1);                 if (abs(a[i][1]-a[j][1])<m) addline(i<<1|1,j<<1),addline(j<<1|1,i<<1);          }       memset(dfn,0,sizeof(dfn));       memset(instack,false,sizeof(instack));       while (!mystack.empty()) mystack.pop();       DfsIndex=tpnum=0;       for (i=0;i<(n<<1);i++)          if (!dfn[i]) tarjan(i);       for (i=0;i<n;i++)          if (tp[i<<1]==tp[i<<1|1]) return false;       return true;}int main(){               int n,i;        while (~scanf("%d",&n))       {              for (i=0;i<n;i++) scanf("%d%d",&a[i][0],&a[i][1]);              int l=0,r=oo,mid;               while (r-l>1)              {                     mid=r+l>>1;                     if (!_2sat(n,mid)) r=mid;                          else  l=mid;              }              printf("%d\n",l);       }       return 0;}