多面体平图的4着色方法.pdf

( ) 第 28 卷 　第 2 期 沈阳师范大学学报 自然科学版 Vol 28 , No. 2 ( ) 20 10 年 4 月 J ou rnal of S heny ang N orm al University N at u ral S cience Apr . 20 10 文章编号 : 1673 - 5862 (20 10) 02 - 0 137 - 04 多面体平图的4 着色方法 1 2 　万禧 , 李晓毅 ( 1. 安徽理工大学 土木建筑学院 , 安徽 淮南 　23200 1 ; 2 . 沈阳师范大学 数学与系统科学学院 , 辽宁 沈阳　110034) 摘 　　　要 : 讨论了多面体平图的4 着色问题 ,将平图的面着色问题简化为平图面中心的顶点着 色问题 。提出了多面体 4 着色的基本思路 ,当顶点数 p 值很大并且有许多面交汇时, 实现对偶图 的顶点 4 着色问题借助于对偶图 G ( p , q , f ) 的两棵对偶树的分解, 而对偶图 G ( p , q , f ) 两棵对偶 ( ) ( ) 树的分解又依靠对偶图 G′f , s , t 的 Hamilton 路径 p 的分解 。概括了对偶图 G p , q , f 4 着色 的基本方法 , 同时在此基础上给出了 8 面体 , 12 面体 ,20 面体 ,32 面体 4 着色的具体步骤 ,并以图 形的形式给出了以上多面体 4 着色的具体方案 。 关 　键 　词 : 对偶图;对偶树 ; Hamilton 路径 ;4 着色 中图分类号 : O 157 　　　文献标识码 : A doi : 10 . 3969/ j . issn .. 20 10 . 02 . 002 四色猜想是英国青年学生 Francis Gut hrie 于 1852 年提出来的。1879 年 , Kempe 作出了这个猜想 的第一个“证明”。P . J . Heawood 于 1890 年针对 Kempe 证明中的漏洞举出了反例 ,反例证明中的图被 称为 Heawood 图[ 15 ] 。1976 年 , Appel , Haken 与 Koch 合作 , 利用计算机证 明四色猜想 。1977 年 , Robert son 等人用同样的方法给出四色猜想的证明[610 ] 。目的在于为对偶图 G ( p , q. f ) 的 4 着色提供 方法 。 1 　基本思路 当地图的面着色简化为该平面的中心 ———国家首都的顶点着色时 ,任意地图的着色问题可被视为 其对偶图的顶点着色问题 ,设某地图的对偶图是以顶点数为 p , 边数为 q , 面数为 f 的平图, 则对偶图可 记为 G ( p , q , f ) 。当顶点数 p 值很小时, 对偶图 G ( p , q , f ) 的 4 着色极易实现; 可是当顶点数 p 值很 大并且有许多平面汇