球面的四边形面覆盖猜想摘要本文提出了这样一个猜想球面上的极.DOC

球面的四边形面覆盖猜想 摘要：本文提出了这样一个猜想：球面上的极大平面图中的所有三角形面均可以每相邻的两个为一组合并成四边形面，从而使该球面完全被四边形面所覆盖。两个三角形面相邻是指这两个三角形面有一条公共边。 关键词：极大平面图；球面的四边形面覆盖 1 球面的四边形面覆盖猜想的具体表述 在球面上，任意给定V个点，让我们在该球面上，在这些点之间进行连线（即这些连线也位于该球面上），这些连线可以为球面上的直线（短程线），也可以为曲线。两点之间的一条连线称之为一条边。关于这些边，我们还有如下几点限制： 边的起点和终点不能是同一个点； 两点之间最多只能有一条边； 边和边之间不能相交。 这样获得的图称之为球面上的简单平面图，简称平面图。本文后续所说的平面图均是指这种球面上的简单平面图。 如果我们尽可能多的画出这种边，直到再也无法画出这种边为止，此时，我们所获得的图称之为球面上的极大平面图。 由几条边所围成的一个圈（圈上的点不重合，因而圈上的边也不重合），且在该圈内部、即某一侧再也没有其它点和边存在，则我们称该圈的内部为球面上的一个面。由于边的起点和终点不能是同一个点，且两点之间只能有一条边，则一个面至少要由三条边围成。显然，在极大平面图中，每个面都是由三条边所围成的三角形面。如果有多于三条边围成的面，如四边形面、五边形面等，则我们就可以在该四边形面或五边形面的内部增加边，这种图就不是极大平面图。在极大平面图中，每个点都是三度或三度以上的点，即每个点至少要引出三条边。假设一个点只引出一条边或两条边、或没有边引出，我们擦去该点引出的一条边或两条边，则没有边引出的点必定在一个面上，而在极大平面图中，一个面至少由三条边围成，因此，该点至少可以引出三条边。 如果球面上画有一个极大平面图，我们就可以说该球面完全被三角形面所覆盖（不同于图论中的覆盖概念）。 两个三角形面相邻是指这两个三角形面有一条公共边。显然，如果擦去公共边，相邻的两个三角形面可以合并成一个四边形面。 在极大平面图中，如果我们无规则的将每次遇到的两个相邻的三角形面合并成一个四边形面，最后，极大平面图中可能所有的三角形面均被合并到四边形面中；也可能剩余一些三角形面未被合并到四边形面中，而与这些剩余三角形面相邻的三个三角形面已被合并到四边形面中，即与这些剩余三角形面相邻的面均已为合并好的四边形面，使这些剩余三角形面已无可合并的相邻的三角形面。如果我们能找到一种方法，使球面上的极大平面图中的所有三角形面均可以每相邻的两个为一组合并成四边形面，则我们也可以说，该球面完全被四边形面所覆盖。 本文提出的球面的四边形面覆盖猜想是指：球面上的极大平面图中的所有三角形面均可以每相邻的两个为一组合并成四边形面，从而使该球面完全被四边形面所覆盖。 实际上，关于极大平面图，在图论中已有详尽的讨论。但是，在图论或拓扑学中，本人未曾看到过有关球面的四边形面覆盖问题的任何讨论。 球面的四边形面覆盖猜想成立的必要条件是球面上的极大平面图中有偶数个三角形面。容易证明，这一必要条件是存在的。设球面上的极大平面图中有F个三角形面，E条边，V个点，则E=3F/2，根据拓扑学中著名的“欧拉定理” V+F-E=2，我们就有，F=2V-4， E=3V-6。显然，球面上的极大平面图中，三角形面的数目为偶数，边的数目为3的倍数。 2 球面的四边形面覆盖猜想与四色猜想的关系 有趣的是，笔者发现上述的球面的四边形面覆盖猜想与四色猜想相关。 在图论中，四色猜想被描述为：可以用四种色对简单平面图中的点涂色，并能使任何两个相邻的点涂以不同的色。两点相邻是指两点之间有一条边连接。 笔者证明了下述的这样一个命题成立：四色猜想成立，当、且仅当球面上的极大平面图中的所有三角形面均可以每相邻的两个为一组合并成四边形面，从而使该球面完全被四边形面所覆盖；而且，四边形面的对角线可以首尾相接构成一条闭合的圈，也可以不构成圈，但如果构成圈，则该圈为必为偶圈，即圈上必定具有偶数条对角线。四边形面的对角线是指合并成该四边形面的相邻的两个三角形面的公共边。 如果球面的四边形面覆盖猜想被证出，且能证出由四边形面的对角线连接成的圈均为偶圈，则四色猜想也就随之解决。如果认为四色猜想已经证出（四色猜想已经用计算机证出），则“球面的四边形面覆盖猜想”就是“球面的四边形面覆盖定理”。 下面给出上述的“球面的四边形面覆盖猜想，且如果四边形面的对角线连接成圈，则该圈为必为偶圈”与四色猜想等价的证明。 如果一简单平面图上的点可以用四色涂色，并能使任何两个相邻的点涂以不同的色，则称该简单平面图有一个4-点涂色方案，简称有一个4-点涂色。显然，当由简单平面图G通过增加边而得到的极大平面图H有一个4-点涂色时，则简单平面图G必定也有一个4-点涂色。由于没有减少G中的边