bzoj 1597: [Usaco2008 Mar]土地购买 斜率优化

Description

农夫John准备扩大他的农场,他正在考虑N (1 <= N <= 50,000) 块长方形的土地. 每块土地的长宽满足(1 <= 宽 <
= 1,000,000; 1 <= 长 <= 1,000,000). 每块土地的价格是它的面积,但FJ可以同时购买多快土地. 这些土地的价
格是它们最大的长乘以它们最大的宽, 但是土地的长宽不能交换. 如果FJ买一块3x5的地和一块5x3的地,则他需要
付5x5=25. FJ希望买下所有的土地,但是他发现分组来买这些土地可以节省经费. 他需要你帮助他找到最小的经费.
Input

• 第1行: 一个数: N

• 第2…N+1行: 第i+1行包含两个数,分别为第i块土地的长和宽
  Output

• 第一行: 最小的可行费用.

Sample Input

4

100 1

15 15

20 5

1 100

Sample Output

500

分析：
因为要买所有的地，设 $x[i]$ 和 $y[i]$ 为第 $i$ 块地的长和宽。
那么当 $x[i]\le x[j]$ 且 $y[i]\le y[j]$ 时，$i$ 就可以在买 $j$ 的时候免费买。
对于剩下的一些地，保证当长递增时，宽递减。
先给剩下的地按长从小到大排序，我们设$f[i]$ 为买了前 $i$ 块时需要的钱，显然有
$$f[i]=min(f[j]+x[i]\ast y[j])$$
考虑斜率优化。一开始我以为这个东西是维护一次函数的，然后发现这个很麻烦，然后又去学了一波斜率优化。
具体来说是这样的，
$$f[i]-x[i]\ast y[j]=f[j]$$
我们把每个 $(-y[j],f[j])$ 放在一个二维平面上。此时对于$i$，相当于在这些点上找一个点，使得$y=x[i]\ast x+b$的截距 $b$ 最小。可以知道这些点形成一个凸壳，而凸壳保证相邻两个点的斜率递增。
所以，因为本题的$x[i]$递增，所以我们可以先把前面斜率不足$x[i]$的点删掉，然后队列头就是最优的点。
然后在队尾插入时，如果斜率不递增，就前一个点弹掉。

代码：

/**************************************************************
    Problem: 1597
    User: liangzihao
    Language: C++
    Result: Accepted
    Time:148 ms
    Memory:2268 kb
****************************************************************/
 
#include <iostream>
#include <cstdio>
#include <cmath>
#include <algorithm>
#define LL long long
 
const int maxn=5e4+7;
const int inf=0x3f3f3f3f;
 
using namespace std;
 
int n,m;
LL f[maxn];
int q[maxn];
 
struct rec{
    int x,y;
}a[maxn];
 
bool cmp(rec a,rec b)
{
    if (a.x==b.x) return a.y<b.y;
    return a.x<b.x;
}
 
double get(int x,int y)
{
    return ((double)f[x]-(double)f[y])/((double)a[y+1].y-(double)a[x+1].y);
}
 
int main()
{
    scanf("%d",&n);
    for (int i=1;i<=n;i++) scanf("%d%d",&a[i].x,&a[i].y);
    sort(a+1,a+n+1,cmp);
    int num=n,mx=0;
    for (int i=n;i>0;i--)
    {
        if (a[i].y<=mx)
        {
            a[i].x=inf;
            num--;
        }
        else mx=a[i].y;
    }
    sort(a+1,a+n+1,cmp);
    int h=1,t=1;
    q[1]=0;
    for (int i=1;i<=num;i++)
    {
        while ((h<t) && (get(q[h],q[h+1])<=(double)a[i].x)) h++;
        f[i]=f[q[h]]+(LL)a[i].x*(LL)a[q[h]+1].y;
        while ((h<t) && (get(q[t-1],q[t])>get(q[t],i))) t--;
        q[++t]=i;
    }
    printf("%lld",f[num]);
}