【tarjan(scc)+缩点】 hdu 2767 Proving Equivalences
题目大意:有n个命题,和一些于a->b的推导式子,问还需要几个证明能保证这些命题等价。
思路:
连通分量里的点自然是已经互相等价了。我们可以缩点,然后判断还需要加多少遍是的后来的点图成为一个强连通分量。
与找scc个数不同的是,如果某两个scc之间存在着边,那么后来新图中的点上这两边也存在。而且可以确定的是,这些边必然是从某个scc到另一个scc点,因为一旦是双向边...
原创
2018-09-29 19:34:31 ·
196 阅读 ·
0 评论