否定希伍德的“有名反例”和他证明的“五色定理”

我在研究《四色定理普遍地证明》中,发现希伍德证明了震动数学界100多年的"有名反例"和"五色定理"都是错误的。我揭开了希伍德在证明"反例"上有重大错误的秘密,并证明反例是4-色的,从而否定希伍德的"有名反例";同时我指出了希伍德对顶点数套用数学归纳法的格式来证明"五色定理"的方法是错误的,从而否定了希伍德证明的"五色定理",为《四色定理普遍地证明》打下了基础。     

地图染色定理的证明

[目的]证明155年前提出的球面地图染色的四色猜想。[方法]根据公理给出证明四色猜想的分析证明方法。[结果]给出球面上一般地图的染色定理。证明四色猜想严格成立。还证明了最一般的2维定向和非定向闭曲面上地图的染色定理。[结论]对球面地图给出三色定理和二色定理。确定了一切真实地图的必需染色数。并给出球面上任意地图用最少色的染色程序。     

定理机器证明与传统数学观

本文从回顾历史上费马猜想和四色猜想被证明为定理的不同方法入手，阐发了机器证明的发展历史和呈方法的思想渊源，论述了计算机对传统数学观的冲击与挑战。     

又一世界名题得解

英国著名的数学家希伍德(heawood)生于1861年,他研究图论60年,写了不少论文,其中最有名的就是“五色定理”和1890年为了驳斥肯普(kempe)的理论“四色问题已经解决了”的观点而举出来的有名反例。反例的出现,使肯普的“四色定理”证明没法进行下去,肯普失败了。这样反例就成为解决“四色定理问题”的关键。 “四色定理”或称“四色猜想”与“费尔     

实验数学对传统演绎数学的挑战与影响

20世纪70年代四色定理的计算机证明和90年代初实验数学的诞生,在数学界、哲学界引起了极大的振动.尤其是实验数学的产生,数学的基本范式-欧几里德范式受到了空前的挑战,整个数学世界开始分裂,传统的数学信念发生了变革,计算机实验作为一种全新的研究手段或方式逐渐渗透到数学研究的各个分支,过分强调严格性有阻于数学的创新;在半严格数学时期,各种定理将被附上价格标签,概率开始赋予数学真理.     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

七色定理的一个新证明

平面图G的完备色数是使用G的相邻或相关联的元素均染为不同色的最少颜色数，Kronk和Mitchem证明了每一个最大度不超过3的平面图是7－完备可染的，本文利用四色定理给出定个定理的一个简单证明。     

连通图划分定理及其在图计数中的应用

本文证明了关于连通图划分的一个定理.运用这个定理,简化了标号连通图和标号树的递归计数关系的证明,并导出了给定价数和根点块数的有根标号连通图和二色标号连通图的递归计数式.     

四色图论——四色问题解的存在性及求解方法

直接从四色问题出发,建立图论的另外一个新体系.在提出区域、边界线、结点等定义,对复杂地图进行分层简化后,得到体系的3个基本定理,又用链路这一工具,证明任意有限个区域地图的四色解存在并给出了求解方法.     

图的仅需着色种数与其区分等式和其他问题——兼对地图四色区分的证明

本文续接《图的着色证明与图的着色定理》一文,着重于对＂地图以4色区分会不会发生‘爆炸’的问题＂和＂图的‘仅需着色种数’与其区分等式＂进行了证明,证明四色猜想成立。同时,应用＂两点连线＂的证明方法对事物中的连接现象进行了论证,强调＂组合与区分＂两者之间关系才是四色猜想命题研究的归结点。此外,指出物体表面的全相邻力是验证物体同胚体的依据,可构造出需用百、万、亿种颜色区分的整体。     

5色图包含子式K-5的一个简单证明

Hadwiger提出如下猜想:若G是k色图,则包含子式Kk,其中k=5时等价于四色定理.本文给出了5色图的一个必要条件,即5色图包含子式K-5.     

图幂中的Hamilton问题

本文对ＫａｒａｇａｎｉＳ定理作了完整的证明，并在此基础上证明了在一个强连通有向图Ｇ＝（Ｘ，Ｅ）中，如果Ｇ的周长Ｃ（Ｇ）＝ｎ一１，那么Ｃ￣２，Ｇ￣３均为Ｈａｍｉｌｔｏｎ图。     

赋值图的张量代数的同构定理的证明

纠正了关于赋值图的张量代数的同构定理证明中的一个疏忽，给出了此同构定理一个完整的证明。     

图的局部连通性与上可嵌入性

研究局部连通图中支撑树的变换. 给出L.Nebesk定理的一个新证明, 并将其推广得到一类新的上可嵌入图.     

与四色定理有关的一些结果

研究了平面图的４染色问题和圈上的４染色之间的关系,给出了与四色定理等价的一些命题,并研究了一类新的极小图的性质,给出了平面图是４可染色的一些新的特征和性质．     

关于HOVEY的一个猜想

证明了Ｈｏｖｅｙ在１９９１年的一篇文章中提出的一个猜想，并弥补了Ｈｏｖｅｙ在同一篇文章中一个定理证明中的漏洞．类比ｋ－忠实标号对图的调和标号的推广，优美标号做了进一步的推广。     

编织图B(n)的超边幻和标号及其计算机算法

运用计算机算法设计和分析中的分支限界策略,设计了编织图的超边幻和标号的算法,将图标号的数学证明与计算机搜索构造性证明两者相结合,全面探索和研究了编织图的超边幻和标号问题,解决和证明了编织图是超边幻和图等结论.     

4连通图中可去边的一些性质

给出了4连通图中可去边的一些性质．利用4连通图的可去边,给出了4连通图的Kuratowski定理的一个较简单证明．     

计算机病毒传播速度的数学模型

本文讨论了计算机病毒传播的数学理论.指出并改正了Gleissner的一个错误,并通过修改t_v的定义和t_v的计算公式使Gleissner的引理1和定理得以成立.在此基础上,研究了计算机系统中由病毒状态v到病毒状态(?)计算机病毒的传播速度,并建立了其数学模型.