Tarjan算法(java实现).docVIP

最近看代码时看到Tarjan算法，搜索了一下，是个经典的求LCA（Least Common Ancestor)算法。奇怪的是，网上一般的介绍只会给出伪码，而且有关集合的实现都没有。为理解它还想了半天。目前有些细节还没有完全想清楚(主要和wikipedia上给出的伪码实现并不完全一致)，但根据我的理解，我的实现应该是可以完成功能。基本描述：?? 本身是一个从根开始的深度优先搜索1 为输入节点构建一个单节点的树 // MAKE_SET2 对每个子节点，递归调用该算法完成子树内所有查询，??? 再将子节点的ancester指向本节点，归并结果树? // UNION3 处理完所有子节点后，将本节点标为checked4 遍历查询集中和该节点有关的查询，检查另一个节点是否已标为checked，如果是的话说明???? 1） 该节点在本节点的子树???? 2） 该节点和本节点在另一节点的子树中，而且该节点已被查询???? 无论哪种情况，检查该节点所在树的根就是这两个节点的LCA节点???? 如果没有标识checked，只需简单跳过，当遍历到该节点时就可以完成查询了下面是java的实现代码import?java.util.*;public?class?Tarjan{????????static?void?lca(?Node?p,?ArrayListQuery?q?){????????????????MAKE_SET(p);????????????????//FIND(p).ancester=p;????????????????for(?Node?i?:?p.childs){????????????????????????lca(?i,?q?);????????????????????????UNION(?p,?i?);????????????????????????FIND(p).ancester=p;????????????????}????????????????p.checked=true;????????????????for(?Query?query?:?q?){????????????????????????if(?query.p1==p?){????????????????????????????????if(?query.p2.checked?){????????????????????????????????????????query.result=FIND(query.p2);????????????????????????????????}????????????????????????}else?if(?query.p2==p?){????????????????????????????????if(?query.p1.checked?){????????????????????????????????????????query.result=FIND(query.p1);????????????????????????????????}????????????????????????}else{????????????????????????????????continue;????????????????????????}????????????????}????????}????????static?void?MAKE_SET(?Node?p?){????????????????p.ancester?=?p;????????}????????static?Node?FIND(?Node?p?){????????????????Node?r=p;????????????????for(?;?r.ancester!=r;?r=r.ancester?);????????????????return?r;????????}????????static?void?UNION(?Node?p,?Node?q?){????????????????q.ancester=p;????????}????????public?static?void?main(?String?args[]?){????????????????//?create?tree????????????????Node?p[]=new?Node[24];????????????????p[0]=new?Node(0,null);??//?root????????????????p[1]=new?Node(1,p[0]);???????????????