Kruskal 重构树 学习笔记

算法介绍

Kruskal 重构树就是在 Kruskal 算法过程中重新建出了一棵树，这棵树具有一些优美的性质可以解决一类问题，下面就详细叙述一下：

首先复习一下什么是 Kruskal 算法，本质上来说这是一种贪心算法，用于解决最小生成树的问题，把所有边权由小到大排序，用并查集维护连通性，若当前边 $(u,v)$ 不联通，就把当前边加入到最小生成树中。

下面说说什么是 Kruskal 重构树，在 krusakl 算法过程中，每当一条边 $(u,v)$ 被加入最小生成树，令 $gu=root(u)$，$gv=root(v)$，我们新建一个虚拟节点作为 $gu,gv$ 的父亲。这样的过程结束后，我们得到一棵树，这就是 Kruskal 生成树。

它有什么性质呢？

• 最显然的，原图的所有节点都是叶子节点。
• 这棵树是一个二叉树。

但这并不是重点，如果我们在合并时把虚拟的父亲节点的点权设为当前边的权，我们就能真正发现其美妙之处：

• 这是一个大根堆
• 最重要的，也是最好用的性质，就是对于原节点 $u,v$ 来说，其所有路径上最小的最大值就是重构树上 $lca(u,v)$ 的点权。

另外，我们可以知道，如果我们用 Kruskal 求最大生成树的话，$lca(u,v)$ 的点权是其所有路径上最大的最小值。

这个东西，不得不说实在是太强了…

下面在我们开始我们的思维旅程之前，来道小练习热热身（误）。

[IOI2018]狼人

题意简述：你有两个形态，人形和狼形，现在有一张 $n$ 个点，$m$ 条边的无向图，有 $q$ 次询问，每次给定 $l_i,r_i,s_i,t_i$，一开始你在 $s_i$ 并且处于人形，当你处于人形时不能经过 $[1,l_i-1]$，处于狼形不能经过 $[r_i+1,n]$，你必须也只能在 $[l_i,r_i]$ 间变身一次，即从人形转为狼形，问是否存在一种合法的方案从 $s_i$ 到 $t_i$。

题目分析：思考一下，发现我们肯定是这样一种走法：先走到 $[u_i,v_i]$ 间一个点变身，然后走到 $t_i$。假定我们确定了在 $e$ 中转，会有什么要求呢？

• 存在一条 $s$ 到 $e$ 的路径，路径上最小的点编号不小于 $l_i$。
• 存在一条 $e$ 到 $t$ 的路径，路径上最大的点编号不大于 $r_i$。

这长的就很 Kruskal 重构树。第一个等于是最小值最大，第二个等于是最大值最小，可以分别拿最小生成树和最大生成树搞搞，唯一的问题是这题是点权，可以点权下放到边权，但是要注意最小生成树是取 $\max$，最大生成树是取 $\min$。

但是我们只是假设了一波，并不太能做，再考虑一下，此时暴力怎么做？枚举 $[l_i,r_i]$ 分别和 $s_i$，$t_i$ 去跳 LCA，看是否有符合两个要求的点，这启示我们，如果对两棵重构树 dfs 出 dfs 序，我们是可以提前倍增在重构树上找出每个 $s_i$,$t_i$ 最后一个满足约束的祖先 $a_i,b_i$，那么显然只有 dfs 序在 $[df{n}_{a_i},lo{w}_{a_i}],[df{n}_{b_i},lo{w}_{b_i}]$ 中的点可以成为中转点，有人可能问了，不是要满足 $[l_i,r_i]$ 中吗？仔细思考，如果满足前两个约束，显然肯定满足这个约束，那么我们把这玩意抽象到一个二维平面上，一拍脑门，发现这是个二维数点的经典问题，又由于nkoj不支持交互这题可以离线我不想写可持久化线段树，把询问离线下来，树状数组随便搞搞就好了。。