欧拉回路

以下部分引用于《欧拉回路性质与应用探究》

相关概念：

• 欧拉回路：图$G$中经过每条边一次并且仅一次的回路称为欧拉回路。
• 欧拉路径：图$G$中经过每条边一次并且仅一次的路径称为欧拉路径。
• 欧拉图：存在欧拉回路的图称为欧拉图。
• 半欧拉图：存在欧拉路径但不存在欧拉回路的图称为半欧拉图。

关于欧拉图的判定：

无向图：无向图$G$为欧拉图，当且仅当$G$为连通图且所有顶点度为偶数。（已排除孤立点）

有向图：有向图$G$为欧拉图，当且仅当$G$的基图连通，且所有顶点的入度等于出度。（已排除孤立点）

如何寻找欧拉回路？

以下给出两个性质：

设$C$是欧拉图$G$的一个简单回路，将$C$中的边从图$G$中删去得到一个新的图$G'$，则$G'$的每一个极大连通子图都有一条欧拉回路。

设$C1、C2$是图$G$的两条没有公共边，但有至少一个公共顶点的简单回路，我们可以将它们合并成一个新的简单回路$C'$。合并方式如下：

由此可以得到以下求欧拉图$G$的欧拉回路算法：

1. 在图$G$中任意找一个回路$C$
2. 将图$G$中属于回路$C$的边删除
3. 在残留图的各极大连通子图分别寻找欧拉回路
4. 将各极大连通子图的欧拉回路合并到$C$中得到图$G$的欧拉回路。

void dfs(int x){
    for(int i=1;i<=n;i++){
        if(!d[x][i])continue;
        int t=d[x][i];//边的编号 
        d[x][i]=0;
        dfs(i);
        ans[++sz]=t;
    }
}
void Euler_circuit(){
    sz=0;dfs(1);
    for(int i=sz;i>=1;i--)
        printf("%d\n",ans[i]);
}

混合图的欧拉回路

对于混合图的欧拉回路问题，我们可以对双向边先指定一个方向。然后我们发现当我们改变一条双向边的方向时，对于这条边的端点的入度与出度之差将会改变2。

所以，要构成欧拉回路，必须满足每一个点的出度与入度之差的绝对值为偶数。

于是我们要做的就是修正这些双向边的指向，使得最终的图满足欧拉回路，我们可以借助网络流来实现：

• 设出度与入度绝对值之差为$x$
  • 对于入度大于出度的点，我们将它向汇点T建一条容量为$x/2$的边。
  • 对于出度大于入度的点，我们将源点S向它T建一条容量为$x/2$的边。

  • 然后我们计算$S-T$的最大流，检查是否满流，如果满流即代表所有边都可以被修正，即可以构成欧拉回路。附图一张：（黑色边表示已选定的边，灰色为可以调整的边）

    

    然后考虑如何输出方案：

    当一条边有流量流过，表示这条边被修正了，于是我们就把最后的答案中加入这条边的反向边。
    于是找出了各个边的朝向，直接用上文介绍的方法输出即可。

    bool check(int x){
        int full=0;
        memset(degreein,0,sizeof(degreein));
        memset(degreeout,0,sizeof(degreeout));
        Dinic.Init();
        for(int i=1;i<=m;i++){
            //默认建边A->B 
            degreeout[A[i]]++;
            degreein[B[i]]++;
            if(F[i]==0)Dinic.Addedge(A[i],B[i],1);//双向边 
        }
        for(int i=1;i<=n;i++){
            int x=abs(degreein[i]-degreeout[i]);
            if(x&1)return false;
            if(degreein[i]>degreeout[i])Dinic.Addedge(i,T,x/2);
            else {Dinic.Addedge(S,i,x/2);full+=x/2;}
        }
        return Dinic.maxflow(S,T)==full;
    }