标签：Paths 一个点 题解 路径 Tree 换成 长度 直径

这是一道思维题。

本文约定：\(u \to v\) 表示从 \(u\) 到 \(v\) 的路径。

首先简化一下题意：给出一棵树，求出三个点使得三个点之间两两路径并的长度最大。

显然我们不能枚举这三个点，复杂度 \(O(n^3)\) 过大，不能接受。

做这道题需要一个重要结论：树的直径的两个端点一定是要被选中的。

简单证明：

假设树的直径的两个端点是 \(u_1,v_1\)，选的是 \(u,v,w\) 三个点，\(u \to v\) 并不是树的直径。

设 \(u \to v\) 和 \(u \to w\) 交于 \(P\) 点，如果 \(u_1 \to v_1\) 也经过 \(P\) 点，那么显然将 \(u,v,w\) 中的其中两个点换成直径一定更优。

如果 \(u_1 \to v_1\) 不经过 \(P\) 点，那么就会出现如下图几种情况：

1. 树的直径在 \(P\) 的第四棵子树上：

情况 1：

但显然这个时候 \(u_1 \to v_1\) 根本就不是直径。

情况 2：

对于这一种情况，大可以把 \(u,v,w\) 中的其中一个点换成 \(u_1,v_1\)，因为这么做一定能够增加路径长度。

既然换了一个点能够增加路径长度，假设现在的点是 \(u_1,v,w\)，那么如果把 \(v\) 换成 \(v_1\) 也能够增加路径长度（否则就不是树的直径了）

综上，原命题成立。

在证明了这个结论之后，那么 \(u \to v\) 就一定是直径了。

怎么确定 \(w\) 呢？看图：

对于 \(u \to v\) 上的每一个点 \(P\) 而言（除去 \(u,v\)），我们将其旁边的几棵子树拎出来，直接在这几棵子树上面找出离 \(P\) 最远的点就可以了。

代码里面需要注意的细节：

• 小心链的数据，细节处理不当一条链就会把你卡成 \(w=v\) 或者 \(w=u\)。

Code：GitHub CodeBase-of-Plozia CF1294F Three Paths on a Tree.cpp

标签：Paths,一个点,题解,路径,Tree,换成,长度,直径
来源： https://www.cnblogs.com/Plozia/p/16156550.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。