摘要：
不是，这为什么是对的啊? 第二个方法见蓝书 我们来严格证明一下这个做法 首先证明严格次小生成树的边一定只会与最小生成树的边相差一条边（只有一条边不一样） 假设有两条边不一样，我们删除最小生成树中不在严格次小生成树中的两条边，图就会分裂成三个连通块，如下 红色虚线是被删除的边 然后严格次小生成树新加入 阅读全文
摘要：
主要讲一下心路历程 首先很显然的一点是，我们切断主要边之后，如果只考虑主要边，那么原图就会分成刚好两个连通块，那么此时如果有附加边连接两个连通块，那么这种附加边有且只能有一个 所以我们考虑对每条主要边，如何统计这种附加边的条数，但我们发现这种统计非常困难，于是我们使用转换对象法，考虑统计每一条附加边 阅读全文
摘要：
一个树上每一个点都有一个组别，求相同组别的点对相差的最大距离。可以叫这题为“部分树的直径” 有一个结论：对于任意一个组别，深度最大的点一定在答案的点对里。 审视一下这个证明是如何分类的，对于LCA的部分，显然是通过讨论\(y\)是不是\(z\)的祖先来完成的；之后是通过讨论是否是子树来进行的 所以， 阅读全文
摘要：
先求原图的M（最大）ST，然后树上两点路径边权最小值就是答案 证明：假设原图存在一条路径\(P\)，\(P\)上存在非树边而且\(P\)的最小值比树上路径的最小值大，那么对于\(P\)上的某一条非树边，考虑在Kruscal的过程中，他之所以没有被选中，是因为他的两个端点已经连通了，而由于连通这两个点 阅读全文
摘要：
这一道题目，我们看到\(q\)非常小，所以可以尝试从\(q\)入手 对每种组合，我们想要求出必须选择这些组合的MST，也即“含有必须边的MST”（尽管现在还不清楚每个组合的边是什么，下文会说） 这种情况跟陈立杰出的那道“tree”非常像，我们只用把必须边的边权缩小放到前面然后跑Kruscal即可 那 阅读全文