标签：
一场NOIp模拟赛的T3里看到的一个东西，因为那道题目不开放评测，所以简单写一下。
假设存在这样一张竞赛图，其中存在这样一个环
$node_a \rightarrow node_b \rightarrow node_c \rightarrow node_d \rightarrow node_e \rightarrow node_a$
首先明确，这是一个竞赛图，对于任意的$node_a$和$node_b$，要么存在$node_a \rightarrow node_b$要么存在$node_b \rightarrow node_a$。
我们的目标是在一个竞赛图中构造三元环，根据这个方法，我们就可以使用$Tarjan$算法把任意大小的环构造成三元环。
定义环的大小为$tol$,那么上述的环$tol=5$，目标是把$tol$变为3，一个方法是在环中找到一个$tol=3$的环，一个方法是不断删点，最终删到$tol=3$
我们同时进行这两个方法。
再回到上面的性质：
对于任意的$node_a$和$node_b$，要么存在$node_a \rightarrow node_b$要么存在$node_b \rightarrow node_a$
首先对于$node_a \rightarrow node_b \rightarrow node_c$
必定存在$node_a \rightarrow node_c$或者 $node_c \rightarrow node_a$
对于第一个，我们可以将$tol--$,对于第二个,显然找到了一个$tol=3$的环，
然后继续执行下去就行了。
标签：
原文地址：http://www.cnblogs.com/Cydiater/p/5883184.html
