洛谷 P7771 【模板】欧拉路径

【题目链接】

洛谷 P7771 【模板】欧拉路径

【题目考点】

1. 图论：欧拉图（有向图）

【解题思路】

判断有向图有欧拉路径的条件

• 所有顶点入度等于出度
• 只有两个顶点是奇数度，一个入度比出度大1，一个出度比入度大1

该题n达到$10^5$，只能使用邻接表存图。
输入边的同时，统计顶点的入度和出度。
为了输出字典序最小的序列，将保存邻接点的每个vector排序。

遍历所有顶点

• 如果所有顶点的入度都等于出度，该图是欧拉图，以顶点1为起点。
• 如果存在某顶点入度不等于出度，那么该图可能是半欧拉图。
  统计出度比入度大1的顶点数与入度比出度大1的顶点数。
  将出度比入度大1的顶点作为起点。
  如果存在入度与出度差值为其他数值的顶点，则没有欧拉路径，输出No。

如果该图入度都等于出度，是欧拉图。
如果该图出度比入度大1的顶点数与入度比出度大1的顶点数都为1，那么该图是半欧拉图。

从起点出发，调用Hierholzer算法，输出欧拉路径。

【题解代码】

#include<bits/stdc++.h>
using namespace std;
#define N 100005
#define M 200005
struct Node
{
	int v, e;
	Node(){}
	Node(int a, int b):v(a), e(b){}
};
int n, m, beg[N], degIn[N], degOut[N];//degIn[i]+degOut[i]:无向图中i的度 
vector<Node> edge[N];
stack<int> stk;
bool vis[M];
bool cmp(Node a, Node b)
{
	return a.v < b.v;//按顶点编号升序排序 
}
void dfs(int u)
{
	for(int &i = beg[u]; i < edge[u].size(); ++i)
	{
		int v = edge[u][i].v, e = edge[u][i].e;
		if(vis[e] == false)
		{
			vis[e] = true;
			dfs(v);
		}
	}
	stk.push(u);
}
int main()
{
	int f, t, st = 1, stNum = 0, edNum = 0;//stNum：出度比入度大1的顶点数 edNum：入度比出度大1的顶点数 
	bool halfEuler = false;//是否是半欧拉图 
    cin >> n >> m;
    for(int i = 1; i <= m; ++i)
    {
    	cin >> f >> t;
    	edge[f].push_back(Node(t, i));
    	degOut[f]++;//出度 
		degIn[t]++;//入度 
	}
	for(int v = 1; v <= n; ++v)
		sort(edge[v].begin(), edge[v].end(), cmp);
	for(int v = 1; v <= n; ++v)
	{
		if(degIn[v] != degOut[v])//如果存在入度不等于出度的顶点 
		{
			halfEuler = true;//预想是半欧拉图 
			if(degOut[v]-degIn[v] == 1)//发现出度比入度大1的顶点 
			{
				st = v;//作为预备的起始顶点 
				stNum++;
			}
			else if(degIn[v]-degOut[v] == 1)//发现出度比入度大1的顶点 
				edNum++;
			else//其它情况，不是半欧拉图 
			{
				cout << "No";
				return 0;
			}
		}
	}
	if(halfEuler == false || stNum == 1 && edNum == 1)//如果是欧拉图，或为半欧拉图且起点终点都存在1个 
	{
		dfs(st);
		while(stk.empty() == false)
		{
			cout << stk.top() << ' ';
			stk.pop();
		}
	}
	else
		cout << "No";	
    return 0;
}