奇点数与一笔画公式

奇点数与一笔画公式

奇点数：通常是一个当数学物件上被称为未定义的点，或当它在特别的情况下无法完序，以至于此点出现在于异常的集合中。

一笔画公式：奇点可用于判断一个图形是否能够一笔画出，一笔画图形的必要条件是奇点数目是0或者2，就是说当一个图形线条之间相通且奇点数为0或者2时，该图形可一笔画出。

先定义能一笔画出并回到起点的图为欧拉图，连通就是说任意两个节点之间可以找到一条连接它们的线。这个要求看来很重要，直观方法中与这一点对应的是说原图本身不能是分成多个的。

证明：

设G为一欧拉图，那么G显然是连通的。另一方面，由于G本身为一闭路径，它每经过一个顶点一次，便给这一顶点增加度数2，因而各顶点的度均为该路径经历此顶点的次数的两倍，从而均为偶数。

反之，设G连通，且每个顶点的度均为偶数，欲证G为一欧拉图。为此，对G的边数归纳。当m = 1时，G必定为单结点的环，显然这时G为欧拉图。

设边数少于m的连通图，在顶点度均为偶数时必为欧拉图，现考虑有m条边的图G。设想从G的任一点出发，沿着边构画，使笔不离开。

图且不在构画过的边上重新构画。由于每个顶点都是偶数度，笔在进入一个结点后总能离开那个结点，除非笔回到了起点。

在笔回到起点时，它构画出一条闭路径，记为H。从图G中删去H的所有边，所得图记为G'，G'未必连通，但其各顶点的度数仍均为偶数。

考虑G的各连通分支，由于它们都连通，顶点度数均为偶数，而边数均小于m，因此据归纳假设，它们都是欧拉图。

此外，由于G连通，它们都与H共有一个或若干个公共顶点，因此，它们与H一起构成一个闭路径。这就是说，G是一个欧拉图。