[NOIP2018 提高组] 旅行 题解

题目

洛谷题目见此

题目背景

NOIP2018 提高组 D2T1

题目描述

小 Y 是一个爱好旅行的 OIer。她来到 X 国，打算将各个城市都玩一遍。

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

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

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

• 对于任意正整数 $1\le i<x$，序列 $A$ 的第 $i$ 个元素 $A_i$ 和序列 $B$ 的第 $i$ 个元素 $B_i$ 相同。
• 序列 $A$ 的第 $x$ 个元素的值小于序列 $B$ 的第 $x$ 个元素的值。

输入格式

输入文件共 $m+1$ 行。第一行包含两个整数 $n,m(m\le n)$，中间用一个空格分隔。

接下来 m 行，每行包含两个整数 $u,v(1\le u,v\le n)$ ，表示编号为 $u$ 和 $v$ 的城市之 间有一条道路，两个整数之间用一个空格分隔。

输出格式

输出文件包含一行，$n$ 个整数，表示字典序最小的序列。相邻两个整数之间用一个 空格分隔。

样例 #1

样例输入 #1

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

样例输出 #1

1 3 2 5 4 6

样例 #2

样例输入 #2

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

样例输出 #2

1 3 2 4 5 6

提示

【数据规模与约定】

对于 $100\%$ 的数据和所有样例， $1\le n\le 5000$ 且 $m=n-1$ 或 $m=n$ 。

对于不同的测试点， 我们约定数据的规模如下：

题目分析及解答

建图

对于城市间的相连情况，我们需要建图进行存储（注意：本题的边都是双向边）

vector <int> g[9000];
int main()
{
		for(int i=1;i<=m;i++)
	{
		int v,u;
		cin>>v>>u;
		g[v].push_back(u);
		g[u].push_back(v);
	}
}

遍历找最小字典序

由数据规模可知，点与边的关系有且仅有两种，分别是 $m=n-1$ 和 $m=n$ ,即只可能出现没有环和仅有一个环两种情况

预先处理

因为我们要找最小字典序，所以我们要让每一步所走的尽可能小，所以我们需要在开始前先给每个点所连的点进行排序，以易于后续遍历

for(int i=1;i<=n;i++)
	{
		sort(g[i].begin(),g[i].end());
	}

前$60$%

对于前 $15$ 个点，没有环出现，我们可以直接输出最小字典序，又因为字典序最小，我们可以直接从点 $1$ 开始

void dfs1(int pl,int deep)
{
	if(f[pl]) cout<<pl<<" ";//因为没有环，每一步走最小就是最佳情况
	f[pl]=0;
	for(auto i:g[pl])
	{
		if(f[i])
		{
			idx[i]=pl;
			dfs1(i,deep+1);
			return ;
		}
	}
	if(idx[pl]!=0) dfs1(idx[pl],deep);
	return ;
}

后$40$%

对于后 $10$ 个点，每个点有且仅有一个环，所以我们可以尝试删掉每一条边，再判断能不能走通，如果能，是不是最优

判断是否最优

判断当前情况是否最优，对于依次的每个数，如果原数大于新数，那么新数一定比原数优，如果原数比新数小，那么原数一定比新数优

int fl=0;
for(int i=1;i<=n;i++)
{
	if(cnt[i]>ans[i]) break;
	if(cnt[i]<ans[i])
	{
		fl=1;
		break;
	}
}
if(fl)
{
	for(int i=1;i<=n;i++)
	{
		ans[i]=cnt[i];
	}
}

完整搜索

void dfs2(int pl,int deep)
{
	if(f[pl])
	{
		tot++;
		cnt[tot]=pl;
	}
	f[pl]=0;
	if(tot==n)
	{
		int fl=0;
		for(int i=1;i<=n;i++)
		{
			if(cnt[i]>ans[i]) break;
			if(cnt[i]<ans[i])
			{
				fl=1;
				break;
			}
		}
		if(fl)
		{
			for(int i=1;i<=n;i++)
			{
				ans[i]=cnt[i];
			}
		}
		return ;
	}
	for(auto i:g[pl])
	{
		if(f2[pl][i]==0)
		{
			continue;
		}
		if(f[i])
		{
			idx[i]=pl;
			dfs2(i,deep+1);
			return ;
		}
	}
	if(idx[pl]!=0) dfs2(idx[pl],deep);
	return ;
}

满分代码

#include <bits/stdc++.h>
using namespace std;
int n,m;
int ans[9000],cnt[9000],idx[9000],tot;
vector <int> g[9000];
bool f[9000],f2[9000][9000],f3[9000][9000];
void dfs1(int pl,int deep)//如果没有环，直接搜
{
	if(f[pl]) cout<<pl<<" ";
	f[pl]=0;
	for(auto i:g[pl])
	{
		if(f[i])
		{
			idx[i]=pl;
			dfs1(i,deep+1);
			return ;
		}
	}
	if(idx[pl]!=0) dfs1(idx[pl],deep);
	return ;
}
void dfs2(int pl,int deep)//如果有环，分别搜
{
	if(f[pl])//如果没被标记，直接记录
	{
		tot++;
		cnt[tot]=pl;
	}
	f[pl]=0;
	if(tot==n)//如果完成搜索，进行比较
	{
		int fl=0;
		for(int i=1;i<=n;i++)
		{
			if(cnt[i]>ans[i]) break;
			if(cnt[i]<ans[i])
			{
				fl=1;
				break;
			}
		}
		if(fl)
		{
			for(int i=1;i<=n;i++)
			{
				ans[i]=cnt[i];
			}
		}
		return ;
	}
	for(auto i:g[pl])
	{
		if(f2[pl][i]==0)
		{
			continue;
		}
		if(f[i])
		{
			idx[i]=pl;
			dfs2(i,deep+1);
			return ;
		}
	}
	if(idx[pl]!=0) dfs2(idx[pl],deep);
	return ;
}
int main()
{
	memset(ans,0x3f3f3f,sizeof(ans));
	memset(f,1,sizeof(f));
	memset(f2,1,sizeof(f2));
	cin>>n>>m;
	for(int i=1;i<=m;i++)//输入
	{
		int v,u;
		cin>>v>>u;
		g[v].push_back(u);
		g[u].push_back(v);
	}
	for(int i=1;i<=n;i++)//预先储存
	{
		sort(g[i].begin(),g[i].end());
	}
	if(m==n-1) dfs1(1,1);
	else
	{
		for(int i=1;i<=n;i++)
		{
			for(auto j:g[i])
			{
				if(f3[i][j]) continue;//防止重复搜索
				memset(f,1,sizeof(f));//别忘了初始化
				memset(idx,0,sizeof(idx));
				memset(cnt,0,sizeof(cnt));
				tot=0;
				f2[j][i]=0;
				f3[i][j]=1;
				f3[j][i]=1;
				f2[i][j]=0;
				dfs2(1,1);//第一点永远是起点
				f2[i][j]=1;
				f2[j][i]=1;
			}
		}
		for(int i=1;i<=n;i++) cout<<ans[i]<<" ";
	}
	return 0;
}