CF1120 D. Power Tree 巧妙的图论转化

传送门

[前题提要]:无

题目描述:

就是给你一棵树,然后每个点有花费,然后你可以选一个点,付费后对这个点的子树的所有叶子结点增减任意权值.
考虑有一个人会给这棵树的所有叶子结点赋值(值我们不知道),输出最小的花费,使得无论它如何赋值,我们使用上述的花
费都能使所有的叶子节点变为0

考虑对一个点的子树的所有叶子节点进行增减任意值.不难联想到对一个点的子树的所有节点增减任意值的做法.所以考虑使用类似于树链剖分的方式将树上修改化为链上区间修改.
考虑记录一个点的所有叶子节点,并且按照$dfs$序将其离散化存下.按照$dfs$序的性质,我们会发现一个点的所有叶子节点必然是连续的区间.那么此时我们的问题就变成了:
给你$n$个可以修改的区间,每一个区间都有其修改范围,修改每一个区间需要一定花费,问你至少需要多少花费将所有数字变为0
考虑到区间修改以及单点查询,我们想到使用差分来解决.假设我们使用一个差分数组$k[i]=a[i]-a[i-1]$,那么对于每一次区间修改来说,我们都是$a[l]+=val,a[r+1]-=val$,那么最终我们需要得到的所有的$k[i]==0$.
此时有一个巧妙的转化,考虑我们需要所有的k[i]变为0,但是显然我们的差分数组是不改变前缀和的,所以此时所有的值肯定都转移到了cnt+1的位置(假设我们有cnt个叶子节点),那么对于我们的数的转移来说,我们只能将$l$转移到$r+1$,如果我们将转移过程看成边,将每一个叶子结点看成点,那么我们想将所有的值都转移到$cnt+1$,就需要所有的点都联通才行,这样才能保证无论怎么赋值我们都可以将其转移到$cnt+1$的位置
那么此时这道题就简单了,考虑到必须所有点都联通,每次选择联通一个点我们都需要花费,又需要花费最小,所以显然是个最小生成树的模型,此时使用最小生成树跑一下就行.

但是还有一个问题,那就是这道题的最终问题是所有的可能性的最小生成树的点,所以我们用朴素的$kruskal$跑出来的只是一棵树,需要改一下.考虑到最小生成树的性质,当边相同时,我们可以选择任意一条不在联通块中的边,所以这些边显然都是平等的,所以这些边都是我们的答案(当然这一点是可以严谨证明的,但是限于篇幅,此处不再赘述)

---

下面是具体的代码部分:

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define root 1,n,1
#define ls rt<<1
#define rs rt<<1|1
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
inline ll read() {ll x=0,w=1;char ch=getchar();for(;ch>'9'||ch<'0';ch=getchar()) if(ch=='-') w=-1;for(;ch>='0'&&ch<='9';ch=getchar()) x=x*10+ch-'0';return x*w;
}
inline void print(__int128 x){if(x<0) {putchar('-');x=-x;}if(x>9) print(x/10);putchar(x%10+'0');
}
#define maxn 1000000
#define int long long
const double eps=1e-8;
#define	int_INF 0x3f3f3f3f
#define ll_INF 0x3f3f3f3f3f3f3f3f
int w[maxn];vector<int>edge[maxn];int l[maxn],r[maxn];
int cnt=0;
void dfs(int u,int per_u) {if(edge[u].size()==1&&u!=1) {++cnt;l[u]=r[u]=cnt;}for(auto v:edge[u]) {if(v==per_u) continue;dfs(v,u);l[u]=min(l[u],l[v]);r[u]=max(r[u],r[v]);}
}
struct Edge{int u,v,w,id;bool operator < (const Edge &rhs) const {return w<rhs.w;}
}edge2[maxn];
int fa[maxn];
int find(int x) {if(x==fa[x]) return x;else return fa[x]=find(fa[x]);
}
signed main() {int n=read();for(int i=1;i<=n;i++) {w[i]=read();}for(int i=1;i<n;i++) {int u=read();int v=read();edge[u].push_back(v);edge[v].push_back(u);}memset(l,0x3f,sizeof l);memset(r,-0x3f,sizeof r);dfs(1,0);for(int i=1;i<=n;i++) {int u=l[i],v=r[i];edge2[i]={u,v+1,w[i],i};}for(int i=1;i<=cnt;i++) fa[i]=i;sort(edge2+1,edge2+1+n);vector<int>ans;int this_cnt=0;int need=0;for(int i=1;i<=n;i++) {int r=i;while(r+1<=n&&edge2[r+1].w==edge2[r].w) r++;for(int j=i;j<=r;j++) {auto [u,v,w,k]=edge2[j];if(find(u)!=find(v)) {this_cnt++;ans.push_back(k);}}for(int j=i;j<=r;j++) {auto [u,v,w,k]=edge2[j];if(find(u)!=find(v)) {need+=w;fa[find(u)]=find(v);}}i=r;}sort(ans.begin(),ans.end());cout<<need<<" "<<ans.size()<<endl;for(auto i:ans) cout<<i<<" ";return 0;
}