HDU - 2767 Proving Equivalences && HDU - 3836 Equivalent Sets 强连通分量Tarjan+缩点