数据结构题集严蔚敏C语言版7.6

############################################试证明教科书7.4.2节中求强连通分量的算法的正确性