HDU 5699 二分+线性约束

http://acm.hdu.edu.cn/showproblem.php?pid=5699

此题满足二分性质，关键在于如何判断当前的时间值可以满足所有的运送方案中的最长的时间。

对于每一次枚举出的k，对于朴素时间就不大于这个值的方案显然满足，剩下的方案耗费的时间都大于k，换句话说剩下的方案如果想满足k就必须要通过传送点，才有可能实现。

对于 (Li,Ri)  通过传送点(L,R)的时间就是   abs(Ri-R)+abs(Li-L)

传送点与路径的情况有四种

L_________R           L______________R                   L___________R                  L_________R

Li_____________Ri        Li_________Ri                 Li_________Ri                                      Li_________Ri

一开始思维僵化固执的以为L的值一定出现在Li的右侧，所以用了贪心来决策，后来才意识到其实可以从出发点先走到传送点，从传送点再走到目的点！

我们不难得出式子    abs(Ri-R)+abs(Li-L)<=k

将abs拆开就是四个式子:

1. Ri-R+Li-L<=k;
2. Ri-R-Li+L<=k;
3. R-Ri+Li-L<=k;
4. R-Ri-Li+L<=k;

由1,4得 :       5.Ri+Li-k<=R+L<=k+Li+Ri

由2,3得:        6. Li-Ri-k<=R-L<=Li-Ri+k

虽然可以有这两个式子直接推出LR的范围

7.    Li-k<=L<=Li+k

8.   Ri-k<=R<=Ri+k

但是这并不是一个充要条件!

5,6成立则7,8也成立，但是7,8成立5,6却不一定成立，所以无法直接依据7,8判定。

我们不难统计出这四个边界得值，最后判断一下是否存在合法的区间使得LR存在即可

 #include<bits/stdc++.h>
 using namespace std;
 #define inf 0x3f3f3f3f
 int pl[],pr[];
 bool ok(int k,int m)
 {
   int i,j,a=-inf,c=-inf,b=inf,d=inf;
   for(i=;i<=m;++i){
     if(pr[i]-pl[i]<=k) continue;
     a=max(a,pl[i]+pr[i]-k);
     c=max(c,pl[i]-pr[i]-k);
     b=min(b,pl[i]+pr[i]+k);
     d=min(d,pl[i]-pr[i]+k);
   }
    return a <= b&&c <= d;
 }

 int main()
 {
     int n,m,i,j,k;
     while(cin>>n>>m){
         for(i=;i<=m;++i){
             scanf("%d%d",pl+i,pr+i);
             if(pl[i]>pr[i])
                 swap(pl[i],pr[i]);
         }
         int l=,r=n,mid;
         while(l<r){
             mid=l+(r-l)/;
             if(ok(mid,m)) r=mid;
             else l=mid+;
         }cout<<l<<endl;
     }
     return ;
 }