实现了用于查找有向图中强连通分量的Tarjan算法。在强连通分量中,每个节点可以到达其他所有节点。强连通分量是相互独立的集合,其中入度或出度为零,或者属于自环的节点自身形成强连通分量。算法接受邻接矩阵作为输入,为了最佳性能,矩阵应为稀疏矩阵。此外,算法还返回一个索引列表,指示每个节点的强连通分量成员资格。