Acwing 395. 冗余路径

题目描述
为了从 F 个草场中的一个走到另一个，奶牛们有时不得不路过一些她们讨厌的可怕的树。

奶牛们已经厌倦了被迫走某一条路，所以她们想建一些新路，使每一对草场之间都会至少有两条相互分离的路径，这样她们就有多一些选择。

每对草场之间已经有至少一条路径。

给出所有 R 条双向路的描述，每条路连接了两个不同的草场，请计算最少的新建道路的数量，路径由若干道路首尾相连而成。

两条路径相互分离，是指两条路径没有一条重合的道路。

但是，两条分离的路径上可以有一些相同的草场。

对于同一对草场之间，可能已经有两条不同的道路，你也可以在它们之间再建一条道路，作为另一条不同的道路。

输入格式
第 1 行输入 F 和 R。

接下来 R 行，每行输入两个整数，表示两个草场，它们之间有一条道路。

输出格式
输出一个整数，表示最少的需要新建的道路数。

数据范围
1≤F≤5000,
F−1≤R≤10000
输入样例：

7 7
1 2
2 3
3 4
2 5
4 5
5 6
5 7

输出样例：

2

思路：
首先得到双连通分量，进行缩点。此时，整张图变为一棵树。
统计他的度（连了几条边），如果发现只连了一条边，那就说明这是个叶子节点。
cnt++；
叶子节点+1下取整就是答案。

其中有一个细节，就是tarjan算法第二个参数标记的是边的编号，此处需要注意的是不查找反向边，而不是父节点。
因为双联同分量中，不一定只有一条边通向父节点。
代码：

#include<iostream>
#include<stack>
#include<cstring>
using namespace std;
const int N = 1e6 + 10;
int dfn[N], low[N], Time = 0;
int e[N], ne[N], w[N], h[N], idx = 0;
int id[N], dcc_cnt = 0;
bool is_bridge[N];
int d[N];
int n, m;
stack<int>stk;
void add(int a, int b)
{
	e[idx] = b;
	ne[idx] = h[a];
	h[a] = idx++;
}
void tarjan(int u, int fa)
{
	dfn[u] = low[u] = ++Time;
	stk.push(u);
	for (int i = h[u]; i != -1; i = ne[i])
	{
		int j = e[i];
		if (!dfn[j])
		{
			tarjan(j, i);
			low[u] = min(low[j], low[u]);
			if (dfn[u] < low[j])
			{
				is_bridge[i] = is_bridge[i ^ 1] = true;
			}
		}
		else if (i != (fa^1))
		{
			low[u] = min(low[j], low[u]);
		}
	}

	if (dfn[u] == low[u])
	{
		int y;
		++dcc_cnt;
		do
		{
			y = stk.top();
			stk.pop();
			id[y] = dcc_cnt;
		} while (u != y);
	}
}
int main()
{
	memset(h, -1, sizeof h);
	cin >> n >> m;
	for (int i = 0; i < m; i++)
	{
		int a, b;
		cin >> a >> b;
		add(a, b);
		add(b, a);
	}
	tarjan(1, -1);
	for (int i = 0; i < idx; i++)
	{
		if (is_bridge[i])
		{
			d[id[e[i]]]++; // i边的终点的代表点的度+1
		}
	}
	int cnt = 0;
	for (int i = 1; i <= dcc_cnt; i++)
	{
		if (d[i] == 1)
		{
			cnt++;
		}
	}
	cout << (cnt + 1) / 2 << endl;
}