Book---强连通分量

这几天一直在做强连通，现在总结一小下

1.定义

在一个有向图中，如果任意的两个点都是相互可达的，就说这个图是强连通的，有向图的极大强连通子图，称为强连通分量

2.求法

学的是白书上的tarjan算法

用到了DFS的时间戳

假设一个强连通分量C,其中的第一个点是 P,那么DFS下去，就一定能够找到一个K点，返回P点，这条DFS路径上的点就处于这个强连通分量C中

假如现在发现节点v,同时发现节点v最远只能够到达节点u,那么节点u就是这个强连通分量最先被发现的节点

这样就转化成了求一个点u最远能够到达的的祖先的d值

所以要定义一个low[]数组为节点u最早能够追溯到的祖先的pre[v]的值，pre[v]为节点v的时间戳

void dfs(int u){
    low[u] = pre[u] = ++dfs_clock;
    S.push(u);
    for(int i = first[u];~i;i = e[i].next){
        int v = e[i].v;
        if(!pre[v]){//子节点还没有被搜过，则搜下去，回溯回来更新low值
            dfs(v);
            low[u] = min(low[u],low[v]);
        }
        else if(!sc[v]) low[u] = min(low[u],pre[v]);//如果当前节点不属于其他scc，且已经被访问过，说明它是当前节点的祖先节点，直接用它的low更新
    }
    if(pre[u] == low[u]){
        scnt++;
        for(;;){
            int x = S.top();S.pop();
            sc[x] = scnt;
           // scn[scnt]++;这里可以统计一个连通分量里面有多少个点，或者当点有点权的时候，算出这个连通分量的权值
            if(x == u) break;
        }
    }
}

void find_scc(){
    while(!S.empty()) S.pop();
    scnt = dfs_clock = ;
    memset(low,,sizeof(low));memset(pre,,sizeof(pre));
    memset(sc,,sizeof(sc));memset(scn,,sizeof(scn));

    for(int i = ;i <= n;i++) if(!pre[i]) dfs(i);
}

3.现在做到的一些题目

现在做到的题目还是挺有限的，把自己做的总结下---以后遇到再补

（1）判断是否是一个强连通图

1）直接给一个有向图，判断是不是强连通的

hdu 1269

2) 附加一点限制的

加一个限制这个强连通分量里面的节点个数大于1的，tarjan算法里面直接再统计一下个数

poj 3180

( 2 )和入度出度有关的

1）加入几条边使得整个图强连通

白书上强连通那里的第一道例题

先tarjan，找出所有的强连通分量

再缩点，

再统计图的入度，出度，

另入度为0的有c1个，出度为0的有c2个，max(c1,c2)就是要求的

la 4287

hdu 2767

hdu 3836

这三道都是一样的

2）从哪些点出发，使得所有的点都能够走到

缩点，缩点后所有入度为0的就是要求的

hdu 1827 找入度为0的连通块，还附加了一个权值

poj 1236 max(c1,c2),和输出入度为0的连通分量的个数

poj 2553 统计出度为0的块

poj 2186 找有几个点是别的点都能够到达的，统计出度为0的块的个数c,

注意c > 1的情况，出度为0的块里面的点是相互不能够到达的，应该输出0

poj 2375 将图转化以后就是求max(c1,c2)

（3）和别的结合的

一般要用到缩点，缩完点之后形成一个有向无环图，构成一个DAG，

就可以dp,dfs,spfa

uva 11324

先求出所有强连通，再缩点，缩点完之后建立一个新的图

建图的办法是，扫一遍原来所有的边，如果发现这条边的两个端点u,v处在不同的连通分量中，就在sc[u],sc[v]之间连一条边

则转化成求DAG上权最大的路径

还可以有另一种办法

加一个源点进去，将这个源点与缩点完之后所有入度为0的点连一条边

再spfa求出权最大的路径

poj 3160和这题一样

poj 2762 缩点之后拓扑排序

poj 3114 缩点之后dijkstra,用floyd会t掉

poj 3592 图转化一下以后，spfa

现在就做了这些----

看的这两篇博客做得题目---

http://blog.csdn.net/accelerator_/article/details/40349411

http://blog.csdn.net/u013013910/article/category/2509879