标签：sizeson2 sizeson1 Punyverse cf1281 ll son1 pll Miss size

Link

Link

Solution

这种以$pair$pair为状态的$dp$dp还是第一次见到

$f[i][j]$f[i][j]表示以$i$i为的子树，划分成$j$j个连通块时，最大的二元组。二元组$(a,b)$(a,b)的意义是当前已经有$a$a个连通块是有收益的(不包含最后一个)，最后一个连通块的和为$b$b

然后树形$dp$dp即可

时间复杂度的计算：

每个节点上的复杂度为

$O(size_{son1} + (1+size_{son1})size_{son2} + (1+size_{son1}+size_{son2})size_{son3} + \dots)\\ = O(size_u^2 - \sum size_{soni}^2)$O(sizeson1​+(1+sizeson1​)sizeson2​+(1+sizeson1​+sizeson2​)sizeson3​+…)=O(sizeu2​−∑sizesoni2​)

对整棵树求和，复杂度是$O(n^2)$O(n2)

Code

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#define iinf 0x3f3f3f3f
#define linf (1ll<<60)
#define eps 1e-8
#define maxn 3010
#define maxe 6010
#define cl(x) memset(x,0,sizeof(x))
#define rep(_,__) for(_=1;_<=(__);_++)
#define em(x) emplace(x)
#define emb(x) emplace_back(x)
#define emf(x) emplace_front(x)
#define fi first
#define se second
#define de(x) cerr<<#x<<" = "<<x<<endl
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
ll read(ll x=0)
{
    ll c, f(1);
    for(c=getchar();!isdigit(c);c=getchar())if(c=='-')f=-f;
    for(;isdigit(c);c=getchar())x=x*10+c-0x30;
    return f*x;
}
struct Graph
{
    int etot, head[maxn], to[maxe], next[maxe], w[maxe];
    void clear(int N)
    {
        for(int i=1;i<=N;i++)head[i]=0;
        etot=0;
    }
    void adde(int a, int b, int c=0){to[++etot]=b;w[etot]=c;next[etot]=head[a];head[a]=etot;}
    #define forp(pos,G) for(auto p=G.head[pos];p;p=G.next[p])
}G;
ll n, m, a[maxn], b[maxn], w[maxn], sz[maxn];
pll f[maxn][maxn];
pll operator+(pll p1, pll p2)
{
    return pll(p1.first+p2.first,p1.second+p2.second);
}
pll operator!(pll p)
{
    return pll(p.first+(p.second>0),0);
}
void dfs(ll u, ll fa)
{
    ll i, j;
    sz[u]=1;
    f[u][1]=pll(0,w[u]);
    forp(u,G)if(G.to[p]!=fa)
    {
        auto v=G.to[p];
        dfs(v,u);
        pll ff[maxn];
        rep(i,m)ff[i]=pll(-1,0);
        for(i=1;i<=sz[u];i++)for(j=1;j<=sz[v];j++)
        {
            ff[i+j]=max(ff[i+j],f[u][i]+!f[v][j]);
            ff[i+j-1]=max(ff[i+j-1],f[u][i]+f[v][j]);
        }
        rep(i,m)f[u][i]=ff[i];
        sz[u]+=sz[v];
    }
}
int main()
{
    ll T=read(), u, v, i, j;
    while(T--)
    {
        n=read(), m=read();
        G.clear(n);
        rep(i,n)a[i]=read();
        rep(i,n)b[i]=read();
        rep(i,n)w[i]=b[i]-a[i];
        rep(i,n-1)u=read(), v=read(), G.adde(u,v), G.adde(v,u);
        dfs(1,0);
        printf("%lld\n",(!f[1][m]).first);
    }
    return 0;
}

• 点赞
• 收藏
• 分享
• • 文章举报

*ACoder* 发布了850 篇原创文章 · 获赞 71 · 访问量 19万+ 他的留言板 关注

标签：sizeson2,sizeson1,Punyverse,cf1281,ll,son1,pll,Miss,size
来源： https://blog.csdn.net/FSAHFGSADHSAKNDAS/article/details/103980222

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。