【数学】树的重心的性质及其证明

定义：

树的重心有很多等价定义，我们采用这样的定义：树的重心指，该点是使得最大子树的节点个数最小的那个点。设树的节点个数为$n$。

性质1：

点$u$是树的重心，当且仅当其最大子树的节点个数小于等于$\lfloor n/2\rfloor$。
证明：
先证$\Rightarrow$。如果$u$是重心，但是其最大子树的节点个数大于$\lfloor n/2\rfloor$，那么考虑该子树的树根$v$。设$s[x]$为$x$子树的大小，那么$s[v]>\lfloor n/2\rfloor ,n-s[v]<\lfloor n/2\rfloor <s[v]$，从而以$v$为树根，其最大子树的大小一定是小于$s[v]$的，与$u$为重心矛盾。
再证$\Leftarrow$。如果$u$的最大子树的节点个数小于等于$\lfloor n/2\rfloor$，但$u$不是重心，假设$v\ne u$但$v$是重心，考虑$v$的含$u$的那棵子树，从$u$的角度看，其最大子树的节点个数小于等于$\lfloor n/2\rfloor$，所以去掉$u$到$v$那条路径的$u$剩余子树的节点和是大于等于$n-1-\lfloor n/2\rfloor$，从而$v$的含$u$的那个子树的大小是大于等于$n-\lfloor n/2\rfloor$。如果$n$为奇数，则$n-\lfloor n/2\rfloor >\lfloor n/2\rfloor$，与$v$是重心矛盾。如果$n$是偶数，只有在$u$和$v$的最大子树的节点个数都等于$n/2$并且$u$与$v$相连的时候才不矛盾，此时这两个点都是重心。以上面证明可证此种情况不存在其他重心。

推论：

只有节点个数不唯一的时候才可能有两个重心，并且重心最多两个。当重心有两个的时候，它们是相邻节点。重心的最大子树的节点个数是确定的。

性质2：

设$d[u]$是所有点与$u$的距离之和（假设边权都为$1$），那么当且仅当$u$是重心的时候$d[u]$最小。
证明：先证$\Leftarrow$。假设$v$使得$d[v]$最小，并且$v$不是重心，那么$v$有一棵子树的大小是大于$\lfloor n/2\rfloor$的，如果将$v$向那棵子树挪动一步，则$d[v]$一定会变小，矛盾。所以如果$d[v]$最小，那么$v$一定是重心。
再证$\Rightarrow$。如果$d[u]$不是最小，设有另外一个点$v$使得$d[v]$最小，那么由性质$1$，$v$是重心，但$u$也是重心，如果重心唯一，这就矛盾了。如果重心不唯一，由上面推论，$n$是偶数，$u$与$v$相邻并且两个点的最大子树的节点个数都等于$n/2$，那么$d[u]=d[v]$，也矛盾。所以如果$u$是重心，$d[u]$一定最小。