ACdream 某群赛某题 Classification of the species

http://www.acdream.net/problem.php?id=1042

题目大意：

(把物种和分类都看成节点。)

有一颗未知树，一人每次询问两个叶子节点，另一个人回答其lca，判回答之间是否有矛盾。

解法：

将每条陈述按照lca的深度由深到浅排序，然后扫一遍开始并查集。

比如说现在搞到这条陈述：x y a，那么查到xy的根节点 x_father y_father。由于是按照a的深度由深到浅搞的，所以a必然是x_father和y_father的祖先。那就分类讨论这样是否可能：

一、a是x(y)_father之一：

1、x_father和y_father都是a：ok；

2、仅x_father等于a：那么depth(y_father)必须大于depth(a)，反之亦然。

二、a不是x(y)_father之一：

1、x_father和y_father相同：!ok；(x_father=y_father说明xy的lca至浅是x_father，而depth(a)<=depth(x_father)&&a!=x_father => depth(a)<depth(x_father)，所以xy的lca不应该是a)

2、x_father和y_father不同：那只要depth(a)<depth(x_father)&&depth(a)<depth(y_father)就好了。

讨论完后如果正确，那就并查集那样并起来，继续搞。

中间有矛盾就是wrong，没矛盾的话，根据并的过程就能给出一个可行解，maybe right了。