关于正规图的一些结果的中期报告.docxVIP

关于正规图的一些结果的中期报告 正规图是图论中的一个重要概念，具有广泛的应用和研究价值。本次中期报告将介绍关于正规图的一些基本定义和性质，以及一些经典的定理及其证明。 一、基本定义和性质 正规图是指同构类中具有特殊性质的图。具体地说，如果一个无向图G和它的补图G同构，则称G为正规图。正规图可以用一个4元组$(V,E,n,m)$来表示，其中V为顶点集合，E为边集合，n为顶点数，m为边数。对于任意正规图G，它的顶点集和边集满足以下几个性质： 1. 任意两个顶点之间或之间不可能有两条以上的边相连； 2. 没有自环边； 3. G本身与其补图G同构。 二、经典定理和证明 1. Petersen定理 Petersen定理是指，任意正则的正规图都是由完全图K2n或K2n+1中删除若干个边后所得到的图。其中n为正整数。 证明：考虑正规图G和它的补图G，由于G和G同构，所以G也是一个正则图，设其最小度数为k。我们可以对G进行k次着色，得到k个集合，任意两个集合中的点不相邻。构造一个新的图H，其中将G中的点按照它们属于的集合分别作为H的顶点，对于G中的每条边(x,y)，如果x和y属于不同的集合，则在H中连接它们所在的两个顶点。显然，H是一个完全图K2k或K2k+1中去掉若干条边后所得到的图。此外，H也是一个正规图。因为正规图G不可能存在长度为3的环，即G中不存在形如(x,y,z)的三元组，其中(x,y