【图论·算法】基环树（+习题[NOIP2018]旅行）

有关基环树的环

基环树是一种图，它由一个环组成，环上每个点都是一棵树点树根，所以称为基环树。当然，一棵树上连一条边也会变成基环树。

基环树一般分成环和树来分别处理（显然环的处理较为麻烦），首先得找到环。

那么如何去处理基环树的环呢？我们考虑用搜索来解决。

代码如下：

void find_loop(int u)
{
   
	vis[u]=++tot;
	for (int i=0;i<a[u].size();++i)
	{
   
		int v=a[u][i];
		if (v==fa[u]) continue;
		if (vis[v])
		{
   
			if (vis[v]<vis[u]) continue;
			loop[++cnt]=v;
			for (;u!=v;v=fa[v]) loop[++cnt]=fa[v];
		}
		else fa[v]=u,find_loop(v);
	}
}

接下来解释一下代码：
首先看这一句：

vis[u]=++tot;

vis有两个作用：

• 表示是否被访问
• 表示被访问后的顺序

然后就是这句话：

if (vis[v]<vis[u]) continue;

表示当前节点u找到比自己小的点就退出。这可能有点不合逻辑，难以理解。

也就是当某一个环刚刚开始的时候，标号必然较小；当有一个点回来时碰到较小的，必然是遇到环；此时遇到环就退出，等到这个环的起点再枚举到这个退出的点时，就可以统计环了。

剩下的还是很好理解的。基环树的题一般没有什么固定的解法，但是常用的思路就是删去某一条边。

[NOIP2018D2T1]旅行

给定n个城市，m条双向道路的图， 不存在两条连接同一对城市的道路，也不存在一条连接一个城市和它本身的道路。并且， 从任意一个城市出发，通过这些道路都可以到达任意一个其他城市。小 Y 只能通过这些道路从一个城市前往另一个城市。

小 Y 的旅行方案是这样的：任意选定一个城市作为起点，然后从起点开始，每次可 以选择一条与当前城市相连的道路，走向一个没有去过的城市，或者沿着第一次访问该 城市时经过的道路后退到上一个城市。当小 Y 回到起点时，她可以选择结束这次旅行或 继续旅行。需要注意的是，小 Y 要求在旅行方案中，每个城市都被访问到。(注意：同一条道路不能走两遍，也就是回头路只能走一次)

为了让自己的旅行更有意义，小 Y 决定在每到达一个新的城市（包括起点）时，将 它的编号记录下来。她知道这样会形成一个长度为 nn 的序列。她希望这个序列的字典序 最小，你能帮帮她吗？ 对于两个长度均为 n 的序列 A和 B，当且仅当存在一个正整数 x，满足以下条件时， 我们说序列 A 的字典序小于 B。

对于任意正整数 1≤i<x，序列A的第 i 个元素 Ai 和序列 B 的第 i 个元素 Bi 相同。

序列 A 的第 x 个元素的值小于序列 B 的第 x 个元素的值。

Solution

这道题n>m，直接遍历即可。此时问题就在于n=m，也就是基环树的问题。

我们知道，对于基环树的问题，常见的操作就是删边。

事实上，这道题60pts的做法就在启示我们，可以将基环树转移为正常的树形来解决。

我们来思考一下，对于基环树这个问题，我们应该如何删边。

我们将基环树抽象化，就是这样的：
一个环，中间有若干个节点，对应若干个树。

此时，我们来考虑行走的路线：

我们可以知道，一定是从某一个子树绕了大半圈都与这棵子树相邻的子树上了；此时，这两棵子树相邻的两边没有被遍历到。

因此我们知道，必然有一条边不经过，并且这条边在环上。

那么这道题的主要思路就是：

• 根据基环树的模板，先找到所有环上的节点。
• 依次删去每一条边，跑一遍遍历。求遍历的最小值即可。

字典序根据题目的字面意思判断即可。

代码如下：