欧拉路径问题 （附POJ 1041 POJ 2337）

前几天的一次模拟赛中出了一道欧拉路径求方案的题，输出需要字典序，很自然地挂掉了，然后就好好地又学习了一下欧拉路径的相关问题。

欧拉路径就是由著名的七桥问题引出的。欧拉路径是指不重复地经过一个连通图的每一条边从起点到达终点的路径。欧拉回路是最终回到了起点，这样的一条回路。（注意：欧拉路径和欧拉回路是不一样的，名称可能不一样的人叫法不同，但它们是有性质上的不同的，而且不会同时存在于同一个图中。）

先来说说欧拉路的判断：
无向图：
首先保证在一个连通图（并查集或BFS来判断）内，记录每个点的度数。如果所有点的度数都为偶数，那么这个无向图存在欧拉回路；如果有两个点的度数为奇数，那么存在欧拉路径，以两个度数为奇数的点为起点和终点。注意：因为每条边会给两个点提供度数，所以整个图的度数和为偶数，如果有奇数度数的点，也是有偶数个这样的点。
有向图：
同样是连通图内，记录每个点的出度和入度。如果所有点的出度都等于入度，那么存在欧拉回路；存在欧拉路径的条件是，有一个点s出度比入度大一，那么必然存在另一个点t入度比出度大一（上面提到的度数和为偶数），其他所有点入度等于出度，这条欧拉路径起点s终点t。
总结来说，判断一个图是否存在欧拉路径（回路），要先确定是连通图，之后遍历所有的边，计算出每个点的度数（入度出度）即可。

这里就不详细证明了，我也只是略微理解一点，并不知道详细的证明：因为每个点度数为偶数（或者入度等于出度），所以从一条边进入这个点一次必然会对应一次从这个点走出去一次。

下面说说欧拉路输出解：
大部分存在欧拉路的图中，欧拉路都不是唯一的，所以一般输出方案都是要求字典序。欧拉路输出方案只需要DFS，但是不能直接在DFS中输出解，因为会有这种情况发生：

在这个图中，3、5两个点度数为奇数，因为要按照字典序输出，所以3为起点5为终点，如果我们仅仅在DFS中输出访问的点的话，因为字典序，输出的顺序是3、1、2、4、5……但显然答案为3、1、2、4、6、7、5。
于是我们可以想到回溯，这个是可行的，多开一个数组记录，当我们访问到终点或者不能继续走时，判断是否已遍历所有的边即可，下面是一道例题，题解便是用的回溯的方式写的。（不要妄图在DFS中输出答案了，加再多特判也是不可以的，血淋林的教训）

无序字母对
【问题描述】
给定n个各不相同的无序字母对（区分大小写，无序即字母对中的两个字母可以位置颠倒）。请构造一个有n+1个字母的字符串使得每个字母对都在这个字符串中出现。
【输入数据】
第一行输入一个正整数n。
以下n行每行两个字母，表示这两个字母需要相邻。
【输出数据】
输出满足要求的字符串。
如果没有满足要求的字符串，请输出“No Solution”。
如果有多种方案，请输出前面的字母的ASCII编码尽可能小的（字典序最小）的方案
【样例输入】
4
aZ
tZ
Xt
aX
【样例输出】
XaZtX

#include <cstdio> 
#include <algorithm>
using namespace std;

int n, s, t, num, hash[200], deg[55], G[55][55], q[100005];
bool go[55][55];

bool dfs(int i, int num){
    q[num] = i;
    if(num == n+1) return 1;
    for(int j = 1; j <= 52; j++){
        if(G[i][j] && !go[i][j]){
            go[i][j] = go[j][i] = 1;
            if(dfs(j, num+1)) return 1;
            go[i][j] = go[j][i] = 0;
        }
    }
    return 0;
}

int main()
{
    for(int i = 'A'; i <= 'Z'; i++)
        hash[i] = hash[i-1] + 1;
    hash['a'-1] = 26;   
    for(int