noip2011 day2-2 聪明的质监员

题目描述
小 T 是一名质量监督员，最近负责检验一批矿产的质量。这批矿产共有n 个矿石，从1
到n 逐一编号，每个矿石都有自己的重量wi 以及价值vi。检验矿产的流程是：
1、给定m 个区间[Li，Ri]；
2、选出一个参数W；
3、对于一个区间[Li，Ri]，计算矿石在这个区间上的检验值Yi ：

若这批矿产的检验结果与所给标准值S 相差太多，就需要再去检验另一批矿产。小T不想费时间去检验另一批矿产，所以他想通过调整参数W 的值，让检验结果尽可能的靠近标准值S，即使得S-Y 的绝对值最小。请你帮忙求出这个最小值。

输入
第一行包含三个整数 n，m，S，分别表示矿石的个数、区间的个数和标准值。
接下来的 n 行，每行2 个整数，中间用空格隔开，第i+1 行表示i 号矿石的重量wi 和价值vi 。
接下来的 m 行，表示区间，每行2 个整数，中间用空格隔开，第i+n+1 行表示区间[Li,Ri]的两个端点Li 和Ri。注意：不同区间可能重合或相互重叠。

输出
输出只有一行，包含一个整数，表示所求的最小值。

样例输入
5 3 15
1 5
2 5
3 5
4 5
5 5
1 5
2 4
3 3
样例输出
10

提示
【输入输出样例说明】
当 W 选4 的时候，三个区间上检验值分别为20、5、0，这批矿产的检验结果为25，此时与标准值S 相差最小为10。
【数据范围】
对于 10%的数据，有1≤n，m≤10；
对于 30%的数据，有1≤n，m≤500；
对于 50%的数据，有1≤n，m≤5,000；
对于 70%的数据，有1≤n，m≤10,000；
对于 100%的数据，有1≤n，m≤200,000，0 < wi, vi≤10^6，0 < <script type="math/tex" id="MathJax-Element-53">< </script>S≤10^12，1≤Li≤Ri≤n。

我们可以发现，当w增大时，y减小，当w减小时，y增大，很明显具有单调性，我们可以二分w的临界点，就是它大于s的临界点，然后与w+1的结果进行比较，肯定能得出最小值。

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#define ll long long
using namespace std;
const int N=200005;
int n,m;
ll stone;
int w[N],v[N],st[N],ed[N];
ll a[N],b[N];
ll calc(ll x)
{
    for(int i=1;i<=n;i++) 
    {
        a[i]=a[i-1];
        b[i]=b[i-1];
        if(w[i]>=x) 
        {
            a[i]++;
            b[i]=b[i]+v[i];
        }
    }
    ll s=0;
    for(int i=1;i<=m;i++) s=s+(a[ed[i]]-a[st[i]-1])*(b[ed[i]]-b[st[i]-1]);
    return s;
}   
ll erfen1(ll l,ll r)
{
    if(l>r) return r;
    ll mid=(l+r)/2;
    ll s=calc(mid);
    if(s>=stone) return erfen1(mid+1,r); else return erfen1(l,mid-1);
}
ll ABS(ll x)
{
    if(x<0) return -x;else return x;
}
int main()
{
    cin>>n>>m>>stone;
    for(int i=1;i<=n;i++) scanf("%d%d",&w[i],&v[i]);
    for(int i=1;i<=m;i++) scanf("%d%d",&st[i],&ed[i]);
    ll q=erfen1(0,1e8);
    cout<<min(ABS(calc(q)-stone),ABS(calc(q+1)-stone));
    return 0;
}