一个简单的小细节的证明,欢迎讨论
查看原帖
一个简单的小细节的证明,欢迎讨论
26551
LFCode楼主2023/8/16 20:41

官方题解中关于“连通块中度数最小的点满足条件”的说明:

Actually, the vertex with the least degree in a connected component always satisfy the condition. We would like to leave the proof work of the alternative method to you.

这是一个蛮好证的小细节,但是题解区好像没有人说呀。那么我就补充一点儿想法!!

设一个连通块中度数最小的点为 pp,且当这个点反转之后,原连通块不再连通。那么可以发现如下性质:

  1. 显然 pp 点是一个割点(否则 pp 点反转与否不影响原块连通性)
  2. 设原块中去掉 pp 的子图由若干个部分(设为 G1,G2,⋯G_1,G_2,\cdots)组成,则至少有一个部分(设为 GxG_x)满足 pp 向 GxG_x 所含的所有点均有连边(否则反转 pp 后原连通块仍连通)。

那么我们发现,对于 GxG_x 中的任意一点,该点除向 pp 有连边之外,只能与 GxG_x 内的点有边相连;反观 pp 点除了向 GxG_x 内所有点均有连边之外,还与原连通块中其他部分的一些点有连边。也就是说,GxG_x 内所有点的度数均小于 pp 点度数,这样的话就与开头提出的“一个连通块中度数最小的点为 pp”这一假设矛盾了呀。

这样应该就证完啦!!不过做这道题的时候完全没有想到这个结论!!

2023/8/16 20:41
加载中...