poj 2749 Building roads

http://poj.org/problem?id=2749

2-sat + 二分  

在二分里面根据情况 有时候是求大的 有时候是求小的

这个二分里面 我分的时候

while(l<r)

l=mid+1;

r=mid;

因为 mid可能就是答案 还有就是如果最后停在 r为有边界时  r可能不是答案需要特判 一下

代码：

#include<iostream>

#include<cstdio>

#include<cstring>

#include<algorithm>

#include<string>

#include<vector>

#include<set>

#include<queue>

#include<stack>

#include<cmath>

#define LL long long



using namespace std;



const int N=1005;

int head[N],I;

struct ss

{

    int j,next;

}side[N*N];

struct key

{

    int i,j;

}hate[N],fri[N];

int Adist[N],Bdist[N];

int low[N],dfn[N],f[N],deep;

bool in[N],visited[N];

stack<int>st;

int ans[N*N];

int n,m1,m2;

void build(int x,int y)

{

    side[I].j=y;

    side[I].next=head[x];

    head[x]=I++;

}

void Tarjan(int x)

{

    visited[x]=true;

    in[x]=true;

    st.push(x);

    low[x]=dfn[x]=deep++;

    for(int t=head[x];t!=-1;t=side[t].next)

    {

        int k=side[t].j;

        if(visited[k]==false)

        {

            Tarjan(k);

            low[x]=min(low[x],low[k]);

        }else if(in[k]==true)

        {

            low[x]=min(low[x],dfn[k]);

        }

    }

    if(low[x]==dfn[x])

    {

        int k;

        do

        {

            k=st.top();

            st.pop();

            in[k]=false;

            f[k]=x;

        }while(k!=x);

    }

}

bool solve(int d,int s)

{

    memset(head,-1,sizeof(head));

    I=0;

    for(int i=1;i<=n;++i)

    {

        for(int j=1;j<i;++j)

        {

            int w=0;

            if(Adist[i]+Adist[j]>d)

            {build(i,j+n);build(j,i+n);++w;}

            if(Bdist[i]+Bdist[j]>d)

            {build(i+n,j);build(j+n,i);++w;}

            if(Adist[i]+Bdist[j]+s>d)

            {build(i,j);build(j+n,i+n);++w;}

            if(Bdist[i]+Adist[j]+s>d)

            {build(i+n,j+n);build(j,i);++w;}

            if(w==4)

            return false;

        }

    }

    for(int l=1;l<=m1;++l)

    {

        build(hate[l].i,hate[l].j+n);build(hate[l].j,hate[l].i+n);

        build(hate[l].i+n,hate[l].j);build(hate[l].j+n,hate[l].i);

    }

    for(int l=1;l<=m2;++l)

    {

        build(fri[l].i,fri[l].j);build(fri[l].j,fri[l].i);

        build(fri[l].i+n,fri[l].j+n);build(fri[l].j+n,fri[l].i+n);

    }

    memset(visited,false,sizeof(visited));

    memset(in,false,sizeof(in));

    memset(f,-1,sizeof(f));

    while(!st.empty())

    st.pop();

    deep=0;

    int l;

    for(l=1;l<n;++l)

    {

        if(!visited[l])

        Tarjan(l);

        if(f[l]!=-1&&f[l]==f[l+n])

        break;

    }

    if(l<n)

    return false;

    else

    return true;



}

int main()

{

    //freopen("data.txt","r",stdin);

    while(scanf("%d %d %d",&n,&m1,&m2)!=EOF)

    {

       int sx1,sy1,sx2,sy2;

       scanf("%d %d %d %d",&sx1,&sy1,&sx2,&sy2);

       int s=abs(sx1-sx2)+abs(sy1-sy2);

       for(int i=1;i<=n;++i)

       {

           int x,y;

           scanf("%d %d",&x,&y);

           Adist[i]=abs(x-sx1)+abs(y-sy1);

           Bdist[i]=abs(x-sx2)+abs(y-sy2);

       }

       int L=0;

       for(int i=1;i<=n;++i)

       {

           for(int j=1;j<i;++j)

           {

               ans[++L]=Adist[i]+Adist[j];

               ans[++L]=Bdist[i]+Bdist[j];

               ans[++L]=Adist[i]+Bdist[j]+s;

               ans[++L]=Bdist[i]+Adist[j]+s;

           }

       }

       for(int i=1;i<=m1;++i)

       scanf("%d %d",&hate[i].i,&hate[i].j);

       for(int i=1;i<=m2;++i)

       scanf("%d %d",&fri[i].i,&fri[i].j);

       sort(ans+1,ans+L+1);

       int l=1,r=L;

       while(l<r)

       {//cout<<l<<" "<<r<<endl;

           int mid=(l+r)/2;

           if(solve(ans[mid],s))

           r=mid;

           else

           l=mid+1;

       }

       if(!solve(ans[r],s))

       printf("-1\n");

       else

       printf("%d\n",ans[r]);

    }

    return 0;

}