标签：农夫   研究   sub   编号   方便   矩形   ros   cst   区间   

Description

Input

Output

Sample Input

Sample Output

HINT

【分析】

　　刚开始没什么思路，但后开就突然开窍了，就是把每块土地的长和宽看做平面直角坐标系里点的横纵坐标

　　如下：

　　那么如果你要单独购买一块土地，就是作一个长和宽分别等于这个点的横纵坐标的矩形，其面积就是你要付的费用，我们可以规定矩形的左下角为(0,0)，右上角就是这个点。

　　如果要购买一组土地，题目里说是长和宽分别取最大值然后乘起来，对应到坐标系里就是选最右边的点的横坐标乘以最上边的点的纵坐标。如下：

　　那么问题就变成了使用面积和最小的若干个矩形（左下角都是(0,0)）将所有的点都覆盖。如下是一种随便绘制的方案：

　　不难发现，如果一个点的横纵坐标都小于另一个点，那么这个点的存在就是没有意义的。因为不管用何种方案把横纵坐标都较大的点覆盖时，这个横纵坐标都较小的点一定被覆盖了。而你的目的是覆盖所有的点，所以这些横纵坐标都较小的点存不存在是不会影响答案的。如下：

　　我们把这样的点(a,b)叫做红点：存在另一个点(x,y)，满足a<=x且b<=y；

　　把这样的点(a,b)叫做蓝点：对于其它所有的点(x,y)，满足a>x或b>y

　　当我们按照定义把点分类并且把红色的点去掉时，发现剩下的点在一个严格单调下降函数的图像上，如下：

　　为了方便研究，使用另一张图，如下：

　　根据蓝点的定义，可以证明这些蓝点在一个严格单调下降函数图像上。

　　然而这会有没思路了。。。。

　　回到开始，我们要用面积最小的矩形把这些点覆盖，先随便找几个点，比如我要买图中的第3个点和第6个点所对应的土地，那么我们把它们用矩形框起来。然后我们发现两个东西：

　　第一：如果要把第i和第j个点框起来，那么中间所有的点都一定被框在里面了（因为单调下降）

　　第二：框起第i个到第j个点的代价是第i个点的纵坐标乘上第j个点的横坐标（因为单调下降）

　　如下：
　

　　如果有两个矩形重叠了，比如两个矩形覆盖的点的编号分别是a~b，c~d，其中a<c<b<d那么由单调性可以证明选择a~c，b~d这种方案一定更优，如果一个矩形完全在另一个矩形内部，那你可以直接舍弃这个较小的矩形。

　　综上，在最优解中，所有矩形所覆盖的点构成一些不相交的区间。如下是一种随便绘制的方案：

　　用f[i]表示覆盖掉前i个点的最小费用，那么进行划分dp，方程为：

　　f[i]=min(f[j]+w(j+1,i))，(j<i)

　　其中w(j+1,i)表示覆盖第j+1个点到第i个点的费用

　　时间复杂度O(N^2)

【优化】

　　用w(i,j)表示覆盖第i~j个点的费用，那么w(i,j)=y[i]*x[j]。

　　由单调性有y[i+1]<y[i]，x[i+1]>x[i]，恒成立

　　w(i,j)=y[i]*x[j]

　　w(i+1,j+1)=y[i+1]*x[j+1]

　　w(i+1,j)=y[i+1]*x[j]

　　w(i,j+1)=y[i]*x[j+1]

　　作差：

　　[ w(i,j)+w(i+1,j+1) ] - [ w(i+1,j)+w(i,j+1) ]

=    y[i]*(x[j]-x[j+1]) + y[i+1]*(x[j+1]-x[j])

=    (y[i]-y[i+1])(x[j+1]-x[j])　<0恒成立

　　所以w(i,j)+w(i+1,j+1) < w(i+1,j)+w(i,j+1)恒成立

　　所以此dp具有决策单调性

显然f[i]=min(f[j]+y[j+1]x[i])

然后再搞个斜率优化

方程是(f[j]-f[k])/(y[k+1]-y[j+1])<x[i]

然后维护一个下凸包

#include<cstdio>
#include<algorithm>
#define ll long long
#define DB double
using namespace std;
ll read(){
    register ll x=0;bool f=1;
    register char ch=getchar();
    while(ch<‘0‘||ch>‘9‘){if(ch==‘-‘)f=0;ch=getchar();}
    while(ch>=‘0‘&&ch<=‘9‘){x=x*10+ch-‘0‘;ch=getchar();}
    return f?x:-x;
}
const int N=5e4+10;
struct node{
    int x,y;
    bool operator < (const node &b)const{
        return x==b.x?y<b.y:x<b.x;
    }
}a[N];
ll x[N],y[N],f[N];
int n,tot,q[N];
DB slop(int a,int b){
    return (DB)(f[b]-f[a])/(y[a+1]-y[b+1]);
}
int main(){
    n=read();
    for(int i=1;i<=n;i++) a[i].x=read(),a[i].y=read();
    sort(a+1,a+n+1);
    for(int i=1;i<=n;i++){
        for(;tot&&a[i].y>=y[tot];tot--);
        x[++tot]=a[i].x;y[tot]=a[i].y;
    }
    int l=0,r=0;
    for(int i=1;i<=tot;i++){
        for(;l<r&&slop(q[l],q[l+1])<x[i];l++);
        f[i]=f[q[l]]+y[q[l]+1]*x[i];
        for(;l<r&&slop(q[r],i)<slop(q[r-1],q[r]);r--);
        q[++r]=i;
    }
    printf("%lld",f[tot]);
    return 0;
}

1597: [Usaco2008 Mar]土地购买

标签：农夫   研究   sub   编号   方便   矩形   ros   cst   区间   

原文地址：http://www.cnblogs.com/shenben/p/6255667.html