【BZOJ5252】林克卡特树（动态规划，凸优化）

题面

BZOJ(交不了)
洛谷

题解

这个东西显然是随着断开的越来越多，收益增长速度渐渐放慢。
所以可以凸优化。
考虑一个和$k$相关的$dp$
这个题目可以转换为在树上选择$K$条不相交的路径。
设$f[i][0/1/2]$表示当前点$i$，这个点不和父亲连/和父亲连/在这里将两条链合并的最优值。
再记一维$k$，表示子树中已经选了$k$条链。
这样子可以直接转移。
那么凸优化$dp$，再额外记录一下最优解的链的最小值，就好了。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
using namespace std;
#define ll long long
#define MAX 300300
inline int read()
{
    int x=0;bool t=false;char ch=getchar();
    while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
    if(ch=='-')t=true,ch=getchar();
    while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
    return t?-x:x;
}
struct Line{int v,next,w;}e[MAX<<1];
int h[MAX],cnt=1;
inline void Add(int u,int v,int w){e[cnt]=(Line){v,h[u],w};h[u]=cnt++;}
ll sum;
int n,K;
struct Node{ll x;int y;}f[3][MAX],ans;
bool operator<(Node a,Node b){if(a.x!=b.x)return a.x<b.x;return a.y>b.y;}
Node operator+(Node a,Node b){return (Node){a.x+b.x,a.y+b.y};}
void cmax(Node &a,Node b){a=a<b?b:a;}
void dfs(int u,int ff,ll mid)
{
    f[0][u]=(Node){0,0};
    f[1][u]=(Node){-mid,1};
    f[2][u]=(Node){-1ll<<60,0};
    for(int i=h[u];i;i=e[i].next)
    {
        int v=e[i].v;if(v==ff)continue;
        dfs(v,u,mid);
        Node tmp=max(f[0][v],max(f[1][v],f[2][v]));
        cmax(f[2][u],f[2][u]+tmp);
        cmax(f[2][u],f[1][u]+f[1][v]+(Node){e[i].w+mid,-1});
        cmax(f[1][u],f[1][u]+tmp);
        cmax(f[1][u],f[0][u]+f[1][v]+(Node){e[i].w,0});
        cmax(f[1][u],f[0][u]+f[0][v]+(Node){-mid,1});
        cmax(f[0][u],f[0][u]+tmp);
    }
    cmax(ans,max(f[0][u],max(f[1][u],f[2][u])));
}
int main()
{
    n=read();K=read()+1;
    for(int i=1;i<n;++i)
    {
        int u=read(),v=read(),w=read();
        Add(u,v,w);Add(v,u,w);sum+=abs(w);
    }
    ll l=-sum,r=sum;
    while(l<r)
    {
        ll mid=(l+r)>>1;
        ans=(Node){-1ll<<60,0};dfs(1,0,mid);
        if(ans.y>K)l=mid+1;
        else r=mid;
    }
    ans=(Node){-1ll<<60,0};dfs(1,0,r);
    printf("%lld\n",r*K+ans.x);
    return 0;
}