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了。