图论之基环树

什么是基环树

一个树状的结构由 $N$ 个节点与 $N-1$ 条边组成，那么当我们任意再加一条边后，则会形成一个环，一个含有一个环的树就是基环树。

也就是说当一个图包含 $N$ 个节点与 $N$ 条边时，通常为一个基环树。如图所示：

而 基环树 与其他图论相关的题一样，也可以分 有向图 和 无向图 ，而在有向图中有两种比较特殊的存在，本别是 外向树（左） 和 内向树（右）

有内向有外向的就啥也不是，不必理会。

---

内向基环树之爱冒险的朵拉

选自河南萌新联赛2024第（一）场：河南农业大学TB《爱冒险的朵拉》
由题中 输出描述 可得，当我们把这道题当成图来看时，有 $N$ 个点和 $N$ 条边，而每个点只会指向一个点，可能被多个点指向，也就是说，当我们把这个画成图时，是一个很显而易见的 内向基环树 ，样例数据做成图如下：

就是说每 $x$ 个点都可能形成一组，每组其实都有可能变成一个 基环树 ,所以这道题属于 基环树森林 。

解法：

$\bullet$ 首先这是一个有向图，那么我们可以通过 拓扑 的方法来将图跑一遍，将能闯几关传递下去，而在环中的点，入度永远不可能为 $0$ ，那么依照这一点我们可以思考，如果我们扫一个点删一个点，那么最终仍存在的点是不是就是环上的点。
$\bullet$ 然后对于一个环，我们可以通过 并查集 的方式来实现 缩点 ，将环上的所有点用一个点替代，而其价值为整个环的大小。
$\bullet$ 通过类似 DP 的手法，来求出到达关卡 $i$ 时所能创的最大关卡数。其实这个所谓的 DP 就是个 $for循环$取最大值的过程。

#include<bits/stdc++.h>
using namespace std;
#define N 100010
int n , ru[N] ,ver[N] ,hd[N] ,sz[N] ,nxt[N] ;
int ans , f[N] ,fa[N] , tot , a;
queue<int>q;
int gt(int x)
{
	if(fa[x] == x) return x ;
	else return fa[x] = gt(fa[x]);
}
void merge(int x , int y)
{
	if(gt(x) == gt(y)) return ;
	sz[gt(x)] += sz[gt(y)]; fa[gt(y)] = fa[gt(x)];
}
void lian(int x ,int y)
	{ver[++ tot] = y ; ru[y] ++;nxt[tot] = hd[x]; hd[x] = tot;}
int main()
{
	cin >> n;
	for(int i = 1 ; i <= n ; i ++)
	{
		cin >> a ;
		lian(i , a);
		f[i] = 1; fa[i] = i; sz[i] = 1;
	}
	for(int i = 1 ; i <= n ; i ++) if(ru[i] == 0) q.push(i);
	while(q.size())
	{
		int x = q.front();
		q.pop();
		for(int i = hd[x] ; i ; i = nxt[i])
		{
			int y = ver[i];
			f[y] = max(f[y] , f[x] + 1);
			if(--ru[y] == 0) q.push(y);
		}
	}
	for(int i = 1 ; i <= n ; i ++)
		if(ru[i]) merge(i , ver[hd[i]]);//并查集实现类似缩点效果的过程
	for(int i = 1 ; i <= n ; i ++)
		ans = max(ans , f[i] + sz[gt(i)] - 1);//找最大，f[i]表示到i能闯的最多关卡数
	cout << ans ;
	return 0;
}

代码如上。