您的位置:首页 > 其它

BZOJ4585 [Apio2016]烟火表演

2016-06-20 13:12 309 查看
“这个凸包的形式,妙啊,他妙啊,妙啊”

王梦迪神犇在讲题的时候写的题解挺详细的

我们对每个点,有一个把子树内长度统一的花费关于统一成的长度的函数f(x),易知这个函数是下凸的,对于一个点x,设他的儿子是y,算x的函数的时候对所有的y,我们把y顶上那条边考虑进来,得到F(y),然后对所有F(y)相加就得到了f(x)

算F(f(x))的方法是找到f(x)的最低的一段,设这段是[L,R],这段一定是一个斜率为0的线段(长度可能为0),设这段的长度为len,x到fa[x]的距离为l,这段的纵坐标为c,则

       f(x)+l         (x<=L)

F(x)={   -x+L+l+c        (L<x<L+l)

       c            (L+l<=x<=R+l)

       x-R-l+c        (x>R+l)

我们考虑维护函数的每个拐点,我们可以认为每个拐点都使函数的斜率-1(拐点可以重合)

这样只要知道每个拐点的横坐标和x=0时的函数值就能知道整个函数

x=0是函数的值就是子树内边权和

这样我们计算sigma F(y)的时候就把所有拐点加起来就可以

我们考虑 sigma F(y),由于对于每个F(x)最右端斜率都是1,所以sigma(F(y))最右端的斜率是x的出度

所以我们弹掉最右边的出度-1个节点就得到了最低段,然后把最低段删掉再把最后两段加进来就得到了F(x)

最后得到f(1)之后我们就能得到最小值了

这个过程可以用可并堆维护,每个节点会加进来两个拐点,每个拐点最多被弹出去一次,所以复杂度是O((n+m)log(n+m))

#include<iostream>
#include<cstdlib>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<ctime>
#include<algorithm>
#include<iomanip>
#include<vector>
#include<stack>
#include<queue>
#include<map>
#include<set>
#include<bitset>
using namespace std;
#define MAXN 600010
#define MAXM 1010
#define ll long long
#define INF 1000000000
#define MOD 1000000007
#define eps 1e-8
int rt[MAXN],son[MAXN][2];
ll v[MAXN];
int fa[MAXN],len[MAXN],d[MAXN],tot;
ll sum;
int n,m;
ll p[MAXN];
int uni(int x,int y){
if(!x||!y){
return x+y;
}
if(v[x]<v[y]){
swap(x,y);
}
son[x][1]=uni(son[x][1],y);
swap(son[x][0],son[x][1]);
return x;
}
void pop(int x){
rt[x]=uni(son[rt[x]][0],son[rt[x]][1]);
}
int main(){
int i,j;
scanf("%d%d",&n,&m);
for(i=2;i<=n+m;i++){
scanf("%d%d",&fa[i],&len[i]);
sum+=len[i];
d[fa[i]]++;
}
for(i=n+m;i>1;i--){
ll l=0,r=0;
if(i<=n){
while(--d[i]){
pop(i);
}
r=v[rt[i]];
pop(i);
l=v[rt[i]];
pop(i);
}
v[++tot]=l+len[i];
v[++tot]=r+len[i];
rt[i]=uni(rt[i],uni(tot,tot-1));
rt[fa[i]]=uni(rt[fa[i]],rt[i]);
}
while(d[1]--){
pop(1);
}
for(i=1;rt[1];i++){
p[i]=v[rt[1]];
pop(1);
}
int k=-1;
tot=i-1;
for(i=1;i<=tot;i++,k--){
//sum+=(p[i]-p[i+1])*k;
sum-=p[i];
}
printf("%lld\n",sum);
return 0;
}

/*
4 6
1 5
2 5
2 8
3 3
3 2
3 3
2 9
4 4
4 3

*/
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: