POJ 2749 - Building roads 构图2-sat..注意!POJ爆WA也有可能是数组越界!

             题意:

                      有N个牛棚...相互中间没有路..现在准备在两处建立中转站..每个牛棚向其中一个中转站建立路径...有些牛是相互敌对的..不能连在同一个中转站上..有些牛是相互友好的..是必须要在同一个中转站的...请找出一种建路方案..使得牛棚间的距离最大的最短...注意..牛棚只能通过中转站走..两个中转站间有路径...路径长度为各点的哈夫曼距离..

             题解:

                      二分最长的边...再来构图...如果有边大于当前枚举的最大值...那么就要做边使得两个牛棚不能这么连...其他的敌对啊友好的关系很好建立...

                      这题纠结了我很久~~~原因是数组开小了！！POJ居然返回的WA...RE被吃了?.....搞得我纠结了好久是不是算法问题...蛋疼....

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 500005<<1
#define ll long long
using namespace std;
struct node
{
       int y,next;
}line[MAXM];
int cow[MAXN][2],Hate[MAXN][2],Friend[MAXN][2],Lnum,_next[MAXN];
int 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 A,int B,int Dis,int M)
{
       int i,x,y;
       Lnum=0,memset(_next,0,sizeof(_next));
       for (x=0;x<N;x++)
          for (y=x+1;y<N;y++)
          {   
                if (cow[x][0]+cow[y][0]>M) addline(x<<1,y<<1|1),addline(y<<1,x<<1|1);
                if (cow[x][0]+cow[y][1]+Dis>M) addline(x<<1,y<<1),addline(y<<1|1,x<<1|1);
                if (cow[x][1]+cow[y][0]+Dis>M) addline(x<<1|1,y<<1|1),addline(y<<1,x<<1);
                if (cow[x][1]+cow[y][1]>M) addline(x<<1|1,y<<1),addline(y<<1|1,x<<1);
          }  
       for (i=1;i<=A;i++) 
       {
              x=Hate[i][0],y=Hate[i][1]; 
              addline(x<<1,y<<1|1),addline(x<<1|1,y<<1);
              addline(y<<1,x<<1|1),addline(y<<1|1,x<<1);
       }  
       for (i=1;i<=B;i++)
       {
              x=Friend[i][0],y=Friend[i][1];
              addline(x<<1,y<<1),addline(x<<1|1,y<<1|1);
              addline(y<<1,x<<1),addline(y<<1|1,x<<1|1);              
       }
       while (!mystack.empty()) mystack.pop();  
       memset(dfn,0,sizeof(dfn));  
       memset(instack,false,sizeof(instack));  
       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,A,B,s0x,s0y,s1x,s1y,Dis,i; 
       while (~scanf("%d%d%d",&N,&A,&B))
       {
                scanf("%d%d%d%d",&s0x,&s0y,&s1x,&s1y);
                Dis=abs(s0x-s1x)+abs(s0y-s1y);
                for (i=0;i<N;i++)
                {
                       int x,y;
                       scanf("%d%d",&x,&y);
                       cow[i][0]=abs(x-s0x)+abs(y-s0y);
                       cow[i][1]=abs(x-s1x)+abs(y-s1y);
                } 
                for (i=1;i<=A;i++)
                {
                       int x,y;
                       scanf("%d%d",&x,&y),x--,y--;
                       Hate[i][0]=x,Hate[i][1]=y;
                }
                for (i=1;i<=B;i++)
                {
                       int x,y;
                       scanf("%d%d",&x,&y),x--,y--;    
                       Friend[i][0]=x,Friend[i][1]=y;
                }
                int l=-1,r=oo,mid;
                while (r-l>1)
                {
                       mid=l+r>>1;
                       if (!_2sat(N,A,B,Dis,mid)) l=mid;
                           else r=mid;
                }
                if (r==oo) printf("-1\n"); else  
                printf("%d\n",r);
       }
       return 0;
}