【tarjan(scc)+缩点】 hdu 2767 Proving Equivalences

题目大意：有n个命题，和一些于a->b的推导式子，问还须要几个证实能保证这些命题等价。c++   思路：spa        连通份量里的点天然是已经互相等价了。咱们能够缩点，而后判断还须要加多少遍是的后来的点图成为一个强连通份量。code 与找scc个数不一样的是，若是某两个scc之间存在着边，那么后来新图中的点上这两边也存在。并且能够肯定的是，这些边必然是从某个scc到另外一个scc点，由于一

>>阅读原文<<