从 这里 看到的.
假设我们有一棵 \(n\) 个点的树 (边权都为 \(1\)), 我们随便选取一个点 \(r\) 作为根.
记 \(d_u\) 为点 \(u\) 的度数, \(\text{dis}(u,v)\) 为 \(u\) 到 \(v\) 的距离, \(T(u)\) 为点 \(u\) 的子树.
则我们有结论:
\[n-1=\sum\limits_{u}(2-d_u)\text{dis}(u,r) \]
证明考虑数学归纳法. 显然原式对于孤立点成立. 对于我们要证明的树 \(T(x)\), 假设对于以 \(x\) 的所有儿子 \(u_1,u_2,\cdots,u_k\) 为根的子树 \(T(u_i)\) 都有上式成立.
于是我们只需证明:
\[\sum\limits_{i=1}^k\sum_{v\in T(u_i)}(2-d_v)\text{dis}(v,r)=k+\sum\limits_{i=1}^k(3-d_u)+\sum\limits_{i=1}^k\sum_{v\in T(u_i),v\neq u_i}(2-d_v)(\text{dis}(v,r)-1) \]
经过一系列计算得到只需证:
\[\sum\limits_{u}(2-d_u)=2 \]
然后因为 \(\sum\limits_{u}d_u=2(n-1)\), 上式显然.
如果从容斥的方面考虑也是很容易理解的.
原文地址:http://www.cnblogs.com/pjykk/p/16814688.html
1. 本站所有资源来源于用户上传和网络,如有侵权请邮件联系站长!
2. 分享目的仅供大家学习和交流,请务用于商业用途!
3. 如果你也有好源码或者教程,可以到用户中心发布,分享有积分奖励和额外收入!
4. 本站提供的源码、模板、插件等等其他资源,都不包含技术服务请大家谅解!
5. 如有链接无法下载、失效或广告,请联系管理员处理!
6. 本站资源售价只是赞助,收取费用仅维持本站的日常运营所需!
7. 如遇到加密压缩包,默认解压密码为"gltf",如遇到无法解压的请联系管理员!
8. 因为资源和程序源码均为可复制品,所以不支持任何理由的退款兑现,请斟酌后支付下载
声明:如果标题没有注明"已测试"或者"测试可用"等字样的资源源码均未经过站长测试.特别注意没有标注的源码不保证任何可用性