首先,一个正确性比较显然的结论是:对于一棵有根树上的两条链 (x1,y1)(x1,y1) 与(x2,y2)(x2,y2),若两条链存在交点,必然有:lcax1,y1lcax1,y1 在链(x2,y2)(x2,y2) 上,或者 lcax2,y2lcax2,y2 在链(x1,y1)(x1,y1) 上。