无向图中的割点是指去掉一个结点后,分裂成两个或更多互不相通的子图,这个结点称为割点。
Tarjan算法步骤:
1、构建一个无向图;一个时间戳数组dfn[],表示遍历的次序;一个回溯点数组low[],表示能通过非父子边回溯到的最早结点遍历序号;
2、将一个根节点和其父结点(根节点的父结点设为他自己)传入函数,初始时:dfn = low = 次序;
3、遍历邻接点,若邻接点时它父亲,什么都不做;若邻接点未被访问,递归,递归后更新low值;若邻接点已经访问,说明之间有非父子边相连,更新low值。
割点判定:
若父亲不是根节点,孩子low >= 父亲dfn,则父亲是割点
若父亲是根节点,且有不止一个孩子low >= 父亲dfn,则父亲是割点
代码实现:
#include <iostream>
using namespace std;
#define maxn 100
int m, n;
int head[maxn], cnt;
int dfn[maxn], low[maxn], num;
bool vex[maxn];
class Edge
{
public:
int to;
int next;
};
Edge edge[maxn << 1];
void InsertEdge(const int& u, const int& v)
{
edge[++cnt].to = v;
edge[cnt].next = head[u];
head[u] = cnt;
}
void CreateGraph()
{
int u, v;
cout << "请输入结点数:" << endl;
cin >> n;
cout << "请输入边数:" << endl;
cin >> m;
cout << "请依次输入每个边的两个顶点:" << endl;
for (int i = 0; i < m; i++)
{
cin >> u >> v;
InsertEdge(u, v);
InsertEdge(v, u);
}
}
void Tarjan(int u, int fa)
{
dfn[u] = low[u] = ++num;
int count = 0;
for (int i = head[u]; i; i = edge[i].next)
{
int v = edge[i].to;
if (v == fa)
{
continue;
}
if (!dfn[v])
{
Tarjan(v, u);
low[u] = min(low[u], low[v]);
if (low[v] >= dfn[u])
{
count++;
if (u != fa || count > 1)
{
vex[u] = true;
}
}
}
else
{
low[u] = min(low[u], dfn[v]);
}
}
}
int main()
{
CreateGraph();
for (int i = 1; i <= n; i++)
{
if (!dfn[i])
{
Tarjan(i, i);
}
}
for (int i = 1; i <= n; i++)
{
if (vex[i])
{
cout << i << "是割点" << endl;
}
}
return 0;
}