Tarjan算法

我们这一篇是在已经了解Tarjan算法的基础之上开始写的，如果不了解的话，请先看大牛们关于Tarjan算法的博客。

首先我们先看一下一个问题：一个有向图，有n个点以及m条边，我们至少应该添加几条边才能使整个图变成强连通图。或者是一个无向图至少添加几条边变成连通图。

首先我们对于一个有向无环的图（DAG），至少添加几条边才能使它变为强连通图？我们很容易根据有向无环图的性质得到，我们计算入度为零的点数为a，出度为零的点数为b，那么我们至少需要添加的边数为max(a,b)，如果只有一个点的话，我们不需要添加任何边。

那么我们怎么把一个图转换为DAG呢，因为上面给出的图可能存在环，那么我们就会想到把已经组成全连通的子图转换成一个点来看，那么我们最终的图就不会包含环了。

好了，解决这类问题的思路已经想好了，下面我们来进行求解：

我们使用Tarjan算法求解出强连通分量之后，我们使用一个belong数组将同一个连通分量的点分配相同的数值，存放在belong数组中，然后我们再次遍历一遍点，然后这次操作的是belong数组中对应的数值，只有把不属于同于个连通分量的边添加到新的图中，并且根据这些边来计算每个缩点的入度以及出度。

//不怕别人比你聪明，就怕别人比你聪明还比你努力
#include<iostream>
#include<string>
#include<algorithm>
#include<cstdio>
#include<cstring>
#include<cmath>
#include <set>
#include <map>
#include<vector>
#define INF 0x3f3f3f3fusing namespace std;
const int MAXN = 1000;
struct Node
{int fr;int v;int next1;
}edge1[MAXN],edge2[MAXN];   //edge1表示还没有缩点之前的图，edge2表示缩点之后的图的连通关系
int head[MAXN];
int dfn[MAXN],low[MAXN];
int vis[MAXN],stact[MAXN];
int belong[MAXN],num[MAXN];
//belong表示每个点属于的缩完之后的哪一个点，num表示每一个缩点里面有多少个点
int cnt,tot,index,now;void add(int x,int y,Node* edge)
{edge[++cnt].next1 = head[x];edge[cnt].v = y;edge[cnt].fr = x;head[x] = cnt;
}void Tarjan(int x)
{low[x] = dfn[x] = ++tot;vis[x] = 1;stact[++index] = x;for(int i = head[x];i != -1; i = edge1[i].next1){int v = edge1[i].v;if(!dfn[v]){Tarjan(v);low[x] = min(low[x], low[v]);}else if(vis[v])low[x] = min(low[x], dfn[v]);}if(low[x] == dfn[x]){++now;do{printf("%d ",stact[index]);vis[stact[index]] = 0;belong[stact[index]] = now;num[now] ++;index --;}while(x != stact[index+1]);printf("\n");}return ;
}int main()
{memset(head,-1,sizeof(head));memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));memset(vis,0,sizeof(vis));memset(stact,0,sizeof(stact));memset(belong,0,sizeof(belong));memset(num,0,sizeof(num));cnt = 0;tot = 0;index = 0;now = 0;//now最终表示缩点之后点的数目int n,m;scanf("%d%d",&n,&m);int x,y;for(int i = 1;i <= m ;i ++){scanf("%d%d",&x,&y);add(x,y,edge1);}for(int i = 1;i <= n;i ++)if(!dfn[i])Tarjan(i);int inde[MAXN];//表示每个缩点的入读int outde[MAXN];//每个缩点的出度//缩点完成之后，我们就一定没有环的存在memset(head,-1,sizeof(head));int u,v;for(int i = 1;i <= m;i ++){u = belong[edge1[i].fr];v = belong[edge1[i].v];//表示如果这条边不在缩点之内，那么就是用来连接缩点if(u!=v){add(u,v,edge2);inde[v] ++;outde[u] ++;}}int a = 0,b = 0;//分别计算所的缩点中，入度和出度为0的数目for(int i = 1;i <= now;i ++){if(!inde[i]) a++;if(!outde[i]) b++;}if(now == 1)//如果所有的缩点只有一个，则不需要添加新边printf("0\n");elseprintf("%d\n",max(a,b));}

我们的测试数据如上，答案是需要添加一条边。

我们来看一个例题：Poj 2186

我们要想知道有多说少被全部的认为是受欢迎的，我么先要将他们进行完缩点之后，只有其他的点都可以到达的点才是被其它都欢迎的点。

//不怕别人比你聪明，就怕别人比你聪明还比你努力
//因为和上面程序很类似，所以没有写注释....
include<iostream>
#include<string>
#include<algorithm>
#include<cstdio>
#include<cstring>
#include<cmath>
#include <set>
#include <stack>
#include <map>
#include<vector>
#define INF 0x3f3f3f3fusing namespace std;
const int MAXN =  51000;
struct Node
{int fr;int v;int next1;
}edge1[MAXN];
int head[MAXN];
int dfn[MAXN],low[MAXN];
int vis[MAXN],stact[MAXN];
int belong[MAXN],num[MAXN];
int cnt,tot,index,now;
int n,m;void add(int x,int y,Node* edge)
{edge[++cnt].next1 = head[x];edge[cnt].v = y;edge[cnt].fr = x;head[x] = cnt;
}void Tarjan(int x)
{low[x] = dfn[x] = ++tot;vis[x] = 1;stact[++index] = x;for(int i = head[x];i != -1; i = edge1[i].next1){int v = edge1[i].v;if(!dfn[v]){Tarjan(v);low[x] = min(low[x], low[v]);}else if(vis[v])low[x] = min(low[x], dfn[v]);}if(low[x] == dfn[x]){++now;do{vis[stact[index]] = 0;belong[stact[index]] = now;num[now] ++;index --;}while(x != stact[index+1]);}return ;
}void Init()
{memset(head,-1,sizeof(head));memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));memset(vis,0,sizeof(vis));memset(stact,0,sizeof(stact));memset(belong,0,sizeof(belong));memset(num,0,sizeof(num));cnt = 0;tot = 0;index = 0;now = 0;scanf("%d%d",&n,&m);int x,y;for(int i = 1;i <= m ;i ++){scanf("%d%d",&x,&y);add(x,y,edge1);}
}
int main()
{Init();for(int i = 1;i <= n;i ++)if(!dfn[i])Tarjan(i);int u,v;int outde[MAXN] = {0};for(int i = 1;i <= m;i++){u = belong[edge1[i].fr];v = belong[edge1[i].v];if(u != v){outde[u]++;}}int ans = 0;for(int i =1;i <= now;i ++){if(!outde[i]){if(ans > 0){printf("0\n");return 0;}ans = num[i];}}printf("%d\n",ans);return 0;
}

Tarjan算法_缩点相关推荐

强连通分量(Tarjan算法)和缩点
强连通分量(Tarjan算法)和缩点一些定义给定一张有向图,对于图中任意两个节点 xxx 和 yyy ,存在从 xxx 到 yyy 的路径,也存在从 yyy 到 xxx 的路径,则称该有向图为强连 ...
tarjan算法_【朝夕的ACM笔记】树上问题-最近公共祖先-倍增算法
[朝夕的ACM笔记]目录与索引最近公共祖先-倍增算法一.基本概念最近公共祖先问题:对于给定的一颗有根树,求其两个节点的最近公共祖先. 祖先:节点本身.节点的父亲.节点父亲的父亲--都是该节点的祖 ...
Popular Cows POJ - 2186(tarjan算法)+详解
题意: 每一头牛的愿望就是变成一头最受欢迎的牛.现在有 N头牛,给你M对整数(A,B),表示牛 A认为牛B受欢迎.这种关系是具有传递性的,如果 A认为 B受欢迎, B认为 C受欢迎,那么牛 A也认为牛 ...
强连通基础与例题（Kosaraju算法与Tarjan算法）
目录 Kosaraju算法 Tarjan算法例题 A:HDU-1269 迷宫城堡 B:HDU-2767 Proving Equivalences C:HDU-1827 Summer Holiday ...
Tarjan算法小结1——SCC
引入许多最短单源路径算法,如Dijkstra,SPFA, floyd, Bellman-Ford等,在运用时只能给出指定点到任意点的最短距离,抑或是给出图中是否有环的信息,并不能准确确定环的个数.包 ...
洛谷P3387 【模板】缩点（tarjan算法）
输入: 2 2 1 1 1 2 2 1 输出: 2 解题思路:首先来说一下这个题为什么要缩点.题目中说会给定一个有向图,所以是有可能会形成环的,又因为题目要我们求出路径上经过点的权值和最大,如果有环 ...
Tarjan算法应用（割点/桥/缩点/强连通分量/双连通分量/LCA(最近公共祖先)问题）...
转载自:http://hi.baidu.com/lydrainbowcat/blog/item/2194090a96bbed2db1351de8.html 基本概念: 1.割点:若删掉某点后,原连通图 ...
强联通分量算法的个人详解Tarjan算法（包含缩点）
有向图强连通分量:在有向图G中,如果两个顶点vi,vj间(vi>vj)有一条从vi到vj的有向路径,同时还有一条从vj到vi的有向路径,则称两个顶点强连通(strongly connected) ...
【原创】tarjan算法初步（强连通子图缩点）
[原创]tarjan算法初步(强连通子图缩点) tarjan算法的思路不是一般的绕!!(不过既然是求强连通子图这样的回路也就可以稍微原谅了..) 但是研究tarjan之前总得知道强连通分量是什么吧.. ...

Tarjan算法_缩点

Tarjan算法_缩点相关推荐

最新文章

热门文章