有向图中欧拉回路存在的充分条件及证明

有向图中欧拉回路存在的充分条件：有向图为连通图，且每个点的入度和出度是相等的
证明：证明方法为构造性证明
过程：任意选取一点v作为起始点，遍历其能到达的点，找到一条回路（这里设该回路为R1），可以证明以v为起点一定存在一条回路（证明：假设v能到达点u，由于图为连通图，那么u一定也能找到一条能够到达v的路径，这条路径即为一条回路）。
在这条回路中，若存在点p,连接到p的出边不在该回路中，那么由于p点在回路R1中的入边数量一定等于在回路R1中的出边数量，因此p点不在该回路中的入边数量也等于不在该回路中的出边数量，此时p点可以等价为v点，以p点为起始点重复上述过程，一定可得回路R2,R2和R1合并可得到一个新的大环，循环往复找到p1,p2…pn,并找到其对应的环，最终合并得到的环即为欧拉回路。