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

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

又一世界名题得解

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

K—空间上的某些性质及其应用

本文证明了Ｋ－空间上的一个主要性质，给出了此性质在模范畴上不成立的反例，并且用此性质简化了Ｈｏｐｆ代数某些定理的证明。     

围长为4的平面图不总是3－可选色

针对ＫｒａｔｏｃｈｖｉｌＪ和ＴｕｚａＺ（１９９４）提出的问题：是否每一个国长为４的平面图总可以３－可选色（３－ｃｈｏｏｓａｂｌｅ）？用组合技巧构造了一个反例，从而证明了围长为４的平面图并不一定是３－可选色的，否定了每一个３－可着色的图一定是３－可选色的这个论断．     

简评四色定理的一种非计算机“逻辑证明”

2020年,Y. Wang基于构形和可归约性的经典概念提出了一份四色猜想(The Four Color Conjecture, 4CC)的归谬法证明.首先构造反例指出其"临界k色图"定义的一个缺陷.其次对比分析表明,把"最小图"改为"临界5色图"的做法产生了逻辑二难困境:若按前者对待,则原文尚缺论证能够抵抗传统的Heawood图的反例攻击;若按后者处理,则当今图论无法保证其存在性.     

数学应试的有力武器——反例法

数学中反例法与证明在解决问题时是同等重要的。介绍了反例的概念与类型、反例的作用,以及反例的构造方法三个方面并进行分析和探讨。     

含2个交叉的图是5-DP-可染的

通过对极小反例G的结构分析,利用色延拓的方法证明了:含至多2个交叉的图都是5-DP-可染的.所得结果推广了限制交叉数的图的DP-色数问题.     

两个初等等价的不同构的有限格值模型

在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。     

关于P.Enflo的反例

可分Banach空间是否一定有Schauder基?每个Banach空间是否一定有逼近性旋(a.p.)或有有界逼近性质(b.a.p)?这些曾经是泛函分析理论中未解决的著名问题。1973年,P.Enflo构造了反例,给予上面问题以否定的回答。鉴于P.Enflo反例的重要性,本文将给出它的详细构造与证明。     

平图的四色问题

藉助于计算机ＡｐｐｅｌＫ等人对国色猜想肯定了其正确性,但是人们总希望用数学推理对四色猜想的正确性给出证明,本文从平图出发,用初等方法给出了一个结果。     

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

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

关于希伍德图的四着色

本文运用Maple软件对希伍德图等一系列例图作四着色,取得了各例图的批量的四着色解.     

Thomassen与曲面嵌入图的着色

曲面嵌入图的着色的研究起源于Heawood地图着色定理.本文在对原始文献进行研究的基础上,论述Thomassen在三色定理与列表着色、曲面嵌入图的着色、色多项式和着色的数目等方面的工作.他的研究受到了Mohar,Thomas和Hutchinson等许多数学家的关注.     

无向色图的Hamilton性

本文应用群论方法，证明了有限交换群的连通无向色图Ｇ（Ｆ，Ｓ）是Ｈａｍｉｌｔｏｎ图。并由此得到：（ｉ）Ｂｏｏｓｃｈ—Ｔｉｎｄｅｌｌ猜想的另一证明；（ｉｉ）有限交换群Ｆ具有对称色集Ｓ的连通色图Ｄ（Ｆ，Ｓ）是有向Ｈａｍｉｌｔｏｎ图。     

双向零知识证明与初等函数两方保密计算

提出了双向零知识证明的概念,研究了双向零知识证明与传统的零知识证明之间的关系,设计了两个最基本的双向零知识证明协议。提出并研究双向零知识证明的目的是希望用双向零知识的思想,研究多方安全计算问题。将双向零知识证明协议用于构造两方保密计算协议,取得了一些结果：设计了容忍恶意行为的指数函数,幂函数,对数函数,三角函数的两方安全计算协议：研究了健忘计算多项式的协议。     

Heawood图的一对对偶树的分解和4-着色

阐明了任意平图的4-着色的主要思路,给出了对偶树的定义。对偶图中的一对对偶树与对偶图的Hamilton路径相互依存,提出了任意平图的4-着色的方法步骤。得到利用上述方法得到的一对对偶树及具有的性质。介绍了Heawood图的由来和基本特点、Heawood图的4-着色的2种方法步骤,通过对偶图的2个区域的划分,实施了Heawood图的4-着色,借助于Heawood图的对偶图的Hamilton路径的分解构造了2棵对偶树。借助于此方法所得的Heawood图的25个顶点的4-着色方案达到236个,从而使Kempe的4-cc猜想"证明"中的漏洞得到弥补。     

四色定理证明的探讨

目前四色定理的证明还没有简短的数学推理方法,必须借助于计算机才能够完成.在没有借助计算机的情况下,基于极大平面图的性质,通过结点合并的方式,研究了四色定理的证明方法,为该定理的进一步证明提供了重要参考.     

中国建筑师问题与对偶问题的4着色

提出了中国建筑师问题,阐明了求解中国建筑师问题的基本思路。介绍了25个顶点、69个边、45个面的对偶图的顶点4着色的全过程。将对偶图分解成含2棵可以2着色的对偶树的森林,在以r、b两色为对偶树得到的顶点实施2着色,以y、g两色为对偶树得到的顶点实施2着色,从而实施对偶图顶点的4着色。阐述了对偶图的4着色关键是将对偶图分解出森林,提出了3个森林的分解方法,讨论了H路径的个数、森林的个数、对偶图的A区和B区划分方案、对偶图的顶点4着色方案数。解决了对偶图顶点的4着色问题,利用对偶图顶点4着色方法使Kempe四色猜想"证明"中的漏洞得到了弥补。将此种方法用于12面体、20面体、22面体、32面体的对偶图的4色问题,并取得了成功。     

Firey2-和的Christoffel问题的变分解法

用变分学的直接方法研究Sⁿ上一类线性方程正解的存在性及其唯一性,从而给出Firey 2-和的Christoffel问题的一种证法.