poj-2186 受欢迎的奶牛（tarjan算法应用）

题意：有n只奶牛，奶牛之间有倾慕的关系，并且倾慕关系是可以传递的。要求找出某几个奶牛，这几个奶牛被所有的奶牛喜欢。

奶牛的关系抽象成为有向图，a喜欢b表示为a点到b点有一条有向边。

思路：

1 通过tarjan算法，求出强连通分量，并且把这些强连通分量缩成缩点。通过这种方法把图转化为有向无环图。

2 在这个有向无环图中，如果存在唯一一个点A，这个点的出度为0，有向无环图中所有的点都有路径到达A。A点所代表的强连通分量中的点就是被所有奶牛喜欢的受欢迎奶牛。

思路详解：tarjan算法的详解以及原理在博客  tarjan算法原理介绍中，点击打开链接，计算缩点是先在tarjan算法出栈scc（强连通分量）的时候记录下每个点的scc编号，然后重新生成一张图。

思路中的步骤2证明如下：

一个有向图，不包含环路。如果有且只有一个点A的出度为0，则任意一个点都有一条路径到A。

运用数学归纳法证明：

1 当只有点A，B，且有B->A这一条路径，结论成立。

2 假设有n个节点和