如何确定一个图的亏格.doc

PAGE PAGE 9 如何确定一个图的亏格 雷明 （二○○九年三月五日） 1、图的亏格、曲面的亏格及图嵌入某亏格曲面的概念 所谓图的亏格是指一个图能够嵌入的曲面的最小亏格。 曲面的亏格不画图一下子还不能说得很明白，这里只简单的说一下：比如球面或平面（在拓朴学里平面和球面是可以相互转化的，是等价的）的亏格是n＝0，轮胎曲面的亏是n＝1，眼镜匡曲面的亏格是2等等。 一个图能嵌入某亏格的曲面，是说当把图画在该曲面上后，除了在顶点处有边与边相交的情况外，其他任何地方再没有边与边相交叉的情况。如所有的平面图画在亏格是0的平面（球面）上，在非顶点处没有边与边相交叉的情况，而非平面图K5和K7都只能画在亏格是1的轮胎曲面上，才能在非顶点处没有边与边相交叉的情况。若把K5和K7画在亏格是0的平面（球面）上，就必然会在非顶点处没出现边与边相交叉的情况。所以说所有的平面图都能嵌入在亏格是0的平面（球面）上，而K5和K7只能嵌入在亏格是1的轮胎曲面上。由些也就知道所有平面图的亏格都是n＝0，而非平面的K5和K7的亏格则是n＝1。 再复杂一些的图的亏格如何确定呢，本文主要就是来解决这一问题的。 2、两个有关图着色色数的公式 （1）早期研究四色问题的先驱赫渥特一生研究四色问题共六十年，虽然没有解决四色总问题，但却又给出一个在任亏格的曲面上的地图着色的公式（有文献上叫做定理）：γn≤＜（7 / 2＋1 / 2）＞（n≥0，n为曲面的亏格数，＜ ＞表示其内的数字向下取整），该公式（定理）断言能嵌入亏格为n的曲面的所在图中的最大色数是γn≤＜（7 / 2＋1 / 2）＞。 赫渥特的这个公式是怎么得出的，是不是经过了严密的数学推导，不大清楚，但它只有在p＝0和p＝1时才是整数，其他任何情况下均是非整数，而且p＝0时，Mp＝4，p＝1时，Mp＝7。的确色数Mp＝4的图（如K4）和色数Mp＝7的图（如K7）正好分别是能嵌入阶为p＝0和p＝1的曲面上的图，且Mp＝4和Mp＝7是阶为p＝0和p＝1的曲面上的最大色数。Heawood的公式是乎是根据这样的两个事实拼凑起来的，而不是根据一般情况而推导出来的。当p＝0时，公式中根号里面正好是1，开方后还是1，使得公式的值正好是4，而当p＝1时，公式中根号里面正好是49，开方后正好就是7，使得公式的值也正好是7，而p为别的值时公式的值都不是整数。所以，这个公式是否是经过严密的数学推导出来的，是否对于任何亏格p的曲面都适用，还有待于研究。我们在本文中先设定该公式是正确的。 （2）另外，我在《图论法证明四色猜测》一文（网上早已发表）中已得到了任意图着色时色数的界，即ω≤γ顶点≤＜1.5ω＞（ω≥1，ω为图的密度，＜ ＞表示其内的数字向下取整。该公式给出了一个已知密度的图的顶点着色色数的界是大于等于图的密度而小于等于图的密度的1.5倍。 这两个色数公式之间有什么区别，又有什么联系呢。 3、两个色数公式这之间的区别及联系 （1）任意图顶点着色色数的界：ω≤γ顶点≤＜1.5ω＞（ω≥1，为图的密度，＜ ＞表示其内的数字向下取整）是一个判断一个已知密度的具体图的色数界的公式，其下界是图的密度， 上界是图的密度的一倍半，并向下取整。其中的变量是图的密度ω； （2）赫渥特的着色公式：γn≤＜（7 / 2＋1 / 2）＞（n≥0，n为曲面的亏格数，＜＞表示其内的数字向下取整）是一个判断在已知亏格的曲面上可以嵌入的图的最大色数，是一个判断在已知亏格的曲面上可以嵌入的图的最大密度，是一个判断在已知亏格的曲面上可以嵌入的完全图的最大顶点数，或者说是一个判断已知亏格的图的色数的公式。其中的变量是曲面的亏格或图的亏格； （3）对于不同密度的图，可能会有相同的色数值。如一个3—轮（即K4图）的色数和一个5—轮的色数都是γ顶点＝4，但3—轮（即K4图）的密度是ω＝4，而5—轮的密度却是ω＝3。根据这一情况，可以用上述的两个公式来求出可嵌入在任一个曲面上的图的最大密度和最小密度。如按赫渥特的着色公式计算的当曲面的亏格n＝2时，该曲面上可能嵌入的图的最大色数是γn＝9。如果这个图的色数γ顶点正好等于图的密度ω，即γ顶点＝ω，那么这个图的密度就是ω＝9＝γn，这是可嵌入n＝2的曲面上的图的最大密度ω最大；如果这个图的色数γ顶点正好等于图的密度ω的一倍半并向下取整的整数值，即γ顶点＝＜1.5ω＞，也正好是n＝2的曲面所能嵌入的图的最大色数γn，那么这个图的密度ω就是γn与1.5的比值并向上取整，即ω＝［ γn / 1.5 ］，即这个图的密度是ω＝［ 9 / 1.5 ］＝6，这就是可嵌入n＝2的曲面上的图在其色数是最大的情况下的最小密度ω最小，方括号［ ］表示其内的数字向上取整。当然密度为ω＝7和ω＝8的图也是可以嵌入到该n＝2的曲面上的，但其色数最