判断树上路径是否相交
判断方法: 在一棵树上,对于路径 (x,y) 和路径 (u,v),判断它们相交,等价于判断是否满足: lca(u,v) 在路径 (x,y) 上,or, lca(x,y) 在路径 (u,v) 上。
引理1: 对于树上路径 (a,b) 的任意一个点 x,路径的深度最小的点,即 lca(a,b),必然在 x 到这棵树的根的路径上。
引理2: 对于一个点 x 的子树中的任意一个点 y,x 在 y 到树根的路径上。
若路径相交:
- 设路径 (x,y) 与路径 (u,v) 的一个交点为 K(注意,K 同时在两条路径上,而且在 lca(x,y) 的子树里),如果 K 就是路径 (u,v) 的深度最小的点,那么这就说明 lca(u,v) 在路径 (x,y) 上;
- 如果 K 不是路径 (u,v) 的深度最小的点,那么路径 (u,v) 的深度最小的点,即 lca(u,v),一定在 K 到树根的路径上(引理 1),K 到树根的路径上一定有 lca(x,y)(引理2),这就分两种情况:
a. lca(u,v) 深度大于 lca(x,y),这就满足 lca(u,v) 在路径 (x,y) 上。
b. lca(u,v) 深度小于 lca(x,y),这就满足 lca(x,y) 在路径 (u,v) 上。
若路径不相交:
则显然其中一个路径的 lca 不可能在另一个路径上。
QED
成功证明命题等价。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 阿里最新开源QwQ-32B,效果媲美deepseek-r1满血版,部署成本又又又降低了!
· 单线程的Redis速度为什么快?
· SQL Server 2025 AI相关能力初探
· AI编程工具终极对决:字节Trae VS Cursor,谁才是开发者新宠?
· 展开说说关于C#中ORM框架的用法!