欧拉图，半欧拉图，欧拉通路，欧拉回路

若一个图为欧拉图或者半欧拉图都可以通过一笔画遍历。

通过图（有向图或无向图）中的所有边且每一条边仅通过一次的通路成为欧拉通路，若此通路为回路则称为欧拉回路。

具有欧拉回路的图称为欧拉图，具有欧拉通路而无欧拉回路的图称为半欧拉图。

若在图G中存在这样一条路径，使得它恰通过G中每条边一次，则称该路径为欧拉路径，若该路径是一个圈，则称为欧拉回路。

无向图：

无向图G是欧拉图：当且仅当G是连通的且没有奇度顶点。（注意：不考虑图中度为0的点，因为它们的存在对于图中是否存在欧拉环、欧拉路径没有影响）

无向图G是半欧拉图：当且仅当G是连通的且恰有两个奇度顶点。（此时两个奇度点只能作为欧拉路径的起点和终点）

证明：因为任意一个点，欧拉环（或欧拉路径）从它这里进去多少次就要出来多少次，故（进去的次数+出去的次数）为偶数

，又因为（进去的次数+出来的次数）=该点的度数（根据定义），所以该点的度数为偶数。

有向图：

一个有向图是欧拉图当且仅当该图的基图（将所有有向边变为无向边后形成的无向图，这里同样不考虑度数为0的点）是连通的且所有的点的入度等于出度。

一个有向图是半欧拉图当且仅当该图的基图是连通的有且只有一个点的入度比出度少1（作为欧拉路径的起点），有且只有一个点的入度比出度多1（作为终点），其余点的入度等于出度。

欧拉回路存在性的判断

欧拉回路问题可以分为无向图中的欧拉回路和欧拉通路，有向图中的欧拉回路和欧拉通路。这几个问题大抵相像。

有向欧拉回路有：

定理：假设有向多重图D有性质：当忽略有向边上的方向时，得到的图是连通的，那么D有有向欧拉回路当且仅当D的每个顶点的入度和出度相等。

类似的，对有向欧拉通路有：

定理：D有有向欧拉通路，当且仅当除两个不同顶点B和C之外，D的其他顶点入度和出度相等，且B的出度比入度打1，C的入度比出度打1.这种情况下有向欧拉通路自B出发，至C终止。

由上面定理可以知道，如果判断一个有向图的欧拉回路是否存在，需要先判断连通性，再判断出度入度。对于无向图，判断方法类似。

判断连通性可以用DFS或者并查集来实现。

欧拉定理 ：如果一个网络是连通的并且奇度顶点个数等于0或2，那么它可以一笔画出；否则不可以一笔画出。

判断一笔画方法：

首先是连通的。一个图上任意二点总有线段连接着，就成为连通的，不是连通的刘不能一笔画出。

然后奇点个数是0或者2。图中线段的端点可以分成两类，奇点和偶点。一个点，以它为端点的线段数是奇数就成为奇点，线段数是偶数就成为偶点。

附上一道先检验连通性，在用半欧拉图定义解决的题：

链接：  https://www.nowcoder.com/acm/contest/86/D

链接：https://www.nowcoder.com/acm/contest/86/D
来源：牛客网

题目描述

震为雷，临危不乱，亨通畅达；巽为风，柔顺伸展，厚载万物。
震卦：洊雷，震，君子以恐惧修省。一口金钟在淤泥，人人拿着当玩石，忽然一日钟悬起，响亮一声天下知。
巽卦：随风，巽，君子以申命行事。一叶孤舟落沙滩，有篙无水进退难，时逢大雨江湖溢，不用费力任往返。 

算卦先生来问你，对于每个他给出的无向图，是否存在一条路径能够经过所有边恰好一次，并且经过所有点？不需要满足最后回到起点。 

输入描述:

第一行一个数  ，表示有  组数据。对与每组数据，第一行有两个数 ，接下去  行每行两个数  描述一条无向边 。图不保证联通。

输出描述:

对于每组数据，如果存在，输出  ，否则输出  。 

链接： https://www.nowcoder.com/acm/contest/86/D
来源：牛客网

示例1

输入

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

输出

Zhen
Xun

备注:

#include<iostream>
#include<cstring>
using namespace std;
int vis[1000];
int find(int x)
{
    return x==vis[x]?x:find(vis[x]);
}
int main()
{
    int t;
    cin>>t;
    while(t--)
    {
        int n,m;
        int a[550];
        cin>>n>>m;
        memset(a,0,sizeof(a));
        for(int i=1;i<=n;i++)
        {
            vis[i]=i;
        }
        while(m--)
        {
            int x,y;
            cin>>x>>y;
            a[x]++;
            a[y]++;
            int fx=find(x);
            int fy=find(y);
            if(fx!=fy)
            {
                vis[fy]=fx;
            }
        }
        int v=0;
        for(int i=1;i<=n;i++)
        {
            if(vis[i]==i) v++;
        }
        if(v!=1)
        {
            cout<<"Xun"<<endl;
        }
        else {
        int k=0;
        for(int i=1;i<=n;i++)
        {
            if(a[i]%2)
                k++;
        }
        if(k==0||k==2)
            cout<<"Zhen"<<endl;
        else cout<<"Xun"<<endl;
        }
    }
    return 0;
}