P3398 仓鼠找 sugar 做题记录

给定一棵树,多组询问,每次询问给定四个点 a,b,c,da,b,c,d,求 aba\to bcdc\to d 这两条路径是否有交。

有个结论:若树上两条路径 aba\to bcdc\to d 有交,那么令 lca(a,b)=x,lca(c,d)=y\operatorname{lca}(a,b)=x,\operatorname{lca}(c,d)=y,要么 xxcdc\to d 上,要么 yyaba\to b


证明如下:

a,b,xa,b,x 画出来:(写文章时图论编辑器上不去……)

容易发现,xx 把它的子树“堵住”了,想要进去就必须经过它。但 aba\to b 肯定在 xx 的子树内,所以子树外面的链想和 aba\to b 相交就一定要经过 xx

还有一种可能就是 cdc\to dxx 的子树内,不难发现此时的情况相当于把 aba\to bcdc\to d 这两条路径交换

综上,得证。


所以根据结论判断即可。判断一个节点是否在链上可以用这个节点到链两端的长度是否等于链的长度来做