【tarjan(scc)+縮點】 hdu 2767 Proving Equivalences

題目大意：有n個命題，和一些於a->b的推導式子，問還須要幾個證實能保證這些命題等價。c++   思路：spa        連通份量裏的點天然是已經互相等價了。咱們能夠縮點，而後判斷還須要加多少遍是的後來的點圖成爲一個強連通份量。code 與找scc個數不一樣的是，若是某兩個scc之間存在着邊，那麼後來新圖中的點上這兩邊也存在。並且能夠肯定的是，這些邊必然是從某個scc到另外一個scc點，由於一

>>阅读原文<<