强连通分量的测试程序

强连通分量的测试程序

强连通分量（strongly connected components）是指有向图中的一种特殊的连通性质，即对于任意两个节点u,v来说，如果存在从u到v的路径，那么也一定存在从v到u的路径。boost::strong_components就是一个能够计算有向图的强连通分量的算法，使用该算法可以方便地求出一个有向图中所有的强连通分量。

下面是一个简单的测试程序，用于演示boost::strong_components的用法：

#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/strong_components.hpp>
#include <iostream>

int main()
{
    typedef boost::adjacency_list<boost::vecS, boost::vecS, boost::directedS> Graph;
    const int num_vertices = 8;
    Graph g(num_vertices);

    boost::add_edge(0, 1, g);
    boost::add_edge(1, 2, g);
    boost::add_edge(2, 0, g);
    boost::add_edge(3, 4, g);
    boost::add_edge(4, 5, g);
    boost::add_edge(5, 3, g);
    boost::add_edge(2, 6, g);
    boost::ad