一：问题
1.问题描述
为了增加公司收入，F公司新开设了物流业务。由于F公司在业界的良好口碑，物流业务一开通即受到了消费者的欢迎，物流业务马上遍及了城市的每条街道。然而，F公司现在只安排了小明一个人负责所有街道的服务。
任务虽然繁重，但是小明有足够的信心，他拿到了城市的地图，准备研究最好的方案。城市中有n个交叉路口，m条街道连接在这些交叉路口之间，每条街道的首尾都正好连接着一个交叉路口。除开街道的首尾端点，街道不会在其他位置与其他街道相交。每个交叉路口都至少连接着一条街道，有的交叉路口可能只连接着一条或两条街道。
小明希望设计一个方案，从编号为1的交叉路口出发，每次必须沿街道去往街道另一端的路口，再从新的路口出发去往下一个路口，直到所有的街道都经过了正好一次。
2.格式
输入格式
输入的第一行包含两个整数n, m，表示交叉路口的数量和街道的数量，交叉路口从1到n标号。
接下来m行，每行两个整数a, b，表示和标号为a的交叉路口和标号为b的交叉路口之间有一条街道，街道是双向的，小明可以从任意一端走向另一端。两个路口之间最多有一条街道。
输出格式
如果小明可以经过每条街道正好一次，则输出一行包含m+1个整数p1, p2, p3, …, pm+1，表示小明经过的路口的顺序，相邻两个整数之间用一个空格分隔。如果有多种方案满足条件，则输出字典序最小的一种方案，即首先保证p1最小，p1最小的前提下再保证p2最小，依此类推。
如果不存在方案使得小明经过每条街道正好一次，则输出一个整数-1。
3.样例
样例输入
4 5
1 2
1 3
1 4
2 4
3 4
样例输出
1 2 4 1 3 4
样例说明
城市的地图和小明的路径如下图所示。
样例输入
4 6
1 2
1 3
1 4
2 4
3 4
2 3
样例输出
-1
样例说明
城市的地图如下图所示，不存在满足条件的路径。
4.评测用例规模与约定
前30%的评测用例满足：1 ≤ n ≤ 10, n-1 ≤ m ≤ 20。
前50%的评测用例满足：1 ≤ n ≤ 100, n-1 ≤ m ≤ 10000。
所有评测用例满足：1 ≤ n ≤ 10000，n-1 ≤ m ≤ 100000。
二：理解
这个问题是一笔画问题，或者说是欧拉路径问题。所有需要判定图是否是连通图，然后再判定是否存在欧拉路径。判定是否是连通图，可以使用并查集来实现。判定是否存在欧拉路径的条件是：无向图的所有结点的出入度均为偶数，或者有2个出入度为奇数的结点。满足这个条件的图，必然能够找到欧拉路径。由于是从结点1出发，如果有2个出入度为奇数的结点，1的出入度必须为奇数。
https://www.cnblogs.com/Q1143316492/p/9622365.html
欧拉回路判断几点：
1.并查集维护图连通性
2.度的判断
3.栈模拟递归
这是一道求欧拉回路或欧拉环游的题目，欧拉回路是指起点和终点相同并经过图上所有边且每条边只经过一次的路径，对于无向图来说，一个图有欧拉回路的充分条件是该图每个顶点的度都是偶数；欧拉环游是指起点和终点不同并经过图上所有边且每条边只经过一次的路径，一个图有欧拉环游的充分条件是该图只有2个顶点的度是奇数，其余顶点的度都是偶数。
根据上述性质，对于本题目来说，如果给定的图是连通图且所有顶点的度都是偶数或只有两个顶点的度是奇数，那么给定的图存在一条符合要求的路径。
需要判定图是否是连通图，然后再判定是否存在欧拉路径。
判定是否是连通图，可以使用并查集来实现。
判定是否存在欧拉路径的条件是：无向图的所有结点的出入度均为偶数，或者有2个出入度为奇数的结点。
满足这个条件的图，必然能够找到欧拉路径。
由于是从结点1出发，如果有2个出入度为奇数的结点，1的出入度必须为奇数。
程序中，使用邻接表表示图，而且使用的是集合set。集合类set有自然排序的特征，构建好集合后不用专门排序。这样做,在用DFS寻找欧拉路径时，找到的第1个解即为字典顺序最小解。
三：代码
https://www.cnblogs.com/Q1143316492/p/9622365.html
这个代码不是自己写的。理解不了这么多的知识点。
#include <bits/stdc++.h>
using namespace std;
const int MAXN = 1e6 + 10;
const int MAXM = 1e6 + 10;
int n, m, first[MAXN], sign, vis[MAXN];
struct Edge {
int to, w, next;
} edge[MAXM * 4];
struct Node {
int u, v;
} arr[MAXM];
bool cmp(const Node &a, const Node &b) {
return a.u + a.v > b.u + b.v;
}
inline void init() {
for(int i = 0; i < MAXN; i++ ) {
first[i] = -1;
vis[i] = 0;
}
sign = 0;
}
inline void add_edge(int u, int v, int w) {
edge[sign].to = v;
edge[sign].w = w;
edge[sign].next = first[u];
first[u] = sign++;
}
struct DisjointSet {
int pre[MAXN];
void init() {
for(int i = 0; i < MAXN; i++ ) {
pre[i] = i;
}
}
int findx(int x) {
return pre[x] == x ? x : pre[x] = findx(pre[x]);
}
void join(int x, int y) {
int fx = findx(x), fy = findx(y);
if(fx != fy) {
pre[fx] = fy;
}
}
bool same(int x, int y) {
return findx(x) == findx(y);
}
} dset;
int deg[MAXN];
set<pair<int, int> >s;
stack<int>st, ans;
void eulur(int start) {
while(!st.empty()) {
st.pop();
}
while(!ans.empty()) {
ans.pop();
}
st.push(start);
while(!st.empty()) {
int x = st.top(), i = first[x];
while(~i && vis[i]) {
i = edge[i].next;
}
if(~i) {
st.push(edge[i].to);
vis[i] = vis[i ^ 1] = 1;
vis[i] = 1;
first[x] = edge[i].next;
} else {
st.pop();
ans.push(x);
}
}
}
int main()
{
scanf("%d %d", &n, &m);
dset.init();
init();
for(int i = 1; i <= m; i++ ) {
scanf("%d %d", &arr[i].u, &arr[i].v);
}
sort(arr + 1, arr + 1 + m, cmp);
for(int i = 1; i <= m; i++ ) {
int u, v;
u = arr[i].u, v = arr[i].v;
dset.join(u, v);
deg[u]++;
deg[v]++;
add_edge(u, v, 1);
add_edge(v, u, 1);
}
int cnt = 0;
for(int i = 1; i <= n; i++ ) {
if(deg[i] & 1) {
cnt++;
}
}
int num = 0;
for(int i = 1; i <= n; i++ ) {
if(dset.pre[i] == i) {
num++;
}
}
if((cnt == 0 || cnt == 2) && num == 1) {
eulur(1);
int first = 1;
while(!ans.empty()) {
if(first) {
first = 0;
} else {
printf(" ");
}
printf("%d", ans.top());
ans.pop();
}
puts("");
} else {
puts("-1");
}
return 0;
}