图论中一个图序列强连通分量的检测程序,属于datastructure,帮助搜索算法