2020牛客暑期多校训练营（第五场） B、Graph（字典树，最小生成树，思维）

本文链接：https://blog.csdn.net/zhaoxinxin1234/article/details/107744036

本文介绍了如何解决一个与图的边权和异或值有关的算法问题。通过转换条件，将问题转化为寻找具有特定性质的最小生成树。利用0/1字典树进行启发式合并，通过递归找到每个节点最优的连接方式，最终达到O(nlog2n)的时间复杂度。

摘要由CSDN通过智能技术生成

题面：
在这里插入图片描述

题意：
给一棵树，每个边有边权，题目让你增减一些边，在操作的过程中保证：
（1）图是联通的
（2）图中任意的环的边权的异或值为 0
求任意操作后图中边权权值和最小值。

题解：
显然，任意两点直接相连的边权是固定值，为树上这两点简单路径上边权的异或和。而树上简单路径的边权异或和又可以转换成两点到根的前缀异或和的异或。那么问题就转换成了一个 n 个点的完全图的最小生成树。每个点有权值，边权就是边上两点的异或和。

我们可以很自然的建一棵 0/1 字典树，然后对于字典树上的每个节点，我们递归合并，它的最优情况一定是左右儿子中各取一个点连接到了一起，而且此时左子树里的点一定是在一个联通块中，右子树里也是在一个连通块中。我们进行启发式合并，假设当前左子树的大小小于右子树。那么我们枚举左子树中的所有点，然后去右子树中找与当前的点异或最小的点。单次合并的时间复杂度是 $O (n l o g n)$ 的，又我们进行的启发式合并，总复杂度是 $O(n log^2n)$ 的。

代码：

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<string>
#include<queue>
#include<bitset>
#include<map>
#include<unordered_map>
#include<set>
#include<list>
#define ui unsigned int
#define ll long long
#define llu unsigned ll
#define ld long double
#define pr make_pair
#define pb push_back
#define lc (cnt<<1)
#define rc (cnt<<1|1)
//#define len(x)  (t[(x)].r-t[(x)].l+1)
#define tmid ((l+r)>>1)
#define max(x,y) ((x)>(y)?(x):(y))
#define min(x,y) ((x)>(y)?(y):(x))
using namespace std;

const int inf=0x7fffffff;
const ll lnf=0x3f3f3f3f3f3f3f3f;
const double dnf=1e18;
const int mod