四色猜想命题中的第三种假象

本文以对图的相邻点点数和非相邻点点数是否产生影响、对图的需用颜色区分种数是否产生影响为检验依据,运用作图证明的方法,对＂面的编号是以全排列数出现在图的整体之中＂这一表面现象进行了论证,得出了它是假象的结论。     

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

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

图的着色证明与图的着色定理——兼对四色猜想命题的证明

本文续接拙作《图的形成原理与图的模式及图的本质》的证明,依据图的面与面之间的关系和组合原理,指出四色猜想不属于＂真的机器证明之命题＂,而是属于三角数学范畴的命题;应用＂同中求异、异中求同＂的证明方法和数学建模方式,对五道雷同于四色猜想命题的命题进行了逐一证明,进而对＂为什么展现在不同物体表面的图其仅需用颜色区分的种数也不同的问题＂（包含＂为什么展现在平体表面的图仅需用4色就足以将其各面区分开的问题＂）作出证明。     

破解四色猜想命题的切入点在哪里

本文运用逻辑推理和抽丝剥茧的方法,围绕＂破解四色猜想命题的切入点在哪里＂这个问题,循着＂四色猜想命题的不可理解性的两个因素→排除图的需用颜色非决定性因素→图的面与面之间的关系及其理论依据＂的思路进行层层分析证明,最后得出了＂图的形成原理才是真正切入点＂的答案。     

图的着色理论研究与发展

文章主要介绍了图的着色理论的发展史,分析了＂四色猜想＂在着色理论中的特殊地位;最后,对近年来新出现的一些重要着色问题做了简要的探讨。     

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

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

基于kn连接关系的图的着色问题与"折叠法"

引入了一类基于连接关系的图,并结合“折叠法”对该类图的着色问题与四色猜想进行了研究,给出了四色猜想的一个必要条件和一个等价命题的证明．最后提出了相关的猜想．     

可2^n——色图的充要条件

给出了可２＾ｎ－色图的一个充要条件，根据文（１）这是尚未可知的。     

论局部标定图的色多项式及其应用

引入了局部标定图的概念,使得标定图和非标定图都成为它的两上特殊情形,它的色多项式屯标定图的色项式和非标定图的色多项式。     

一类图的伴随多项式的因式分解及色性

我们通过研究一类Г-型图的伴随多项式的因式分解,证明了这类图的补图的色等价图的结构性质和非色唯一性。     

若干图簇的伴随多项式的因式分解及色性分析

通过研究图的伴随多项式，给出了证明非色唯一图的一种新方法，并且得到了若干图簇的色等价图的结构性质。     

两类图的色性分析

通过计算两类图的伴随多项式,证明了它们是伴随等价;因而构造了两类色等价图类     

图Gi^s＊（P,2∑j=1^nmj）的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解，给出了证明非色唯一图的一种新方法，并且得到了若干图簇的色等价图的结构性质。     

Γ-型图的伴随多项式的因式分解及色性分析

通过研究一类Γ-型图的伴随多项式的因式分解,证明了这类图的补图的色等价图的结构性质和非色唯一性。     

对布尔代数中卡诺图的研究

由于卡诺图具有几何相邻与逻辑相邻之间的良好对应关系 ,故在布尔代数中得到广泛应用 ,文章分析了传统卡诺图在简化多变量 ( n >5 )函数时 ,其对应关系所面临的困难 ,提出三维卡诺图及卡诺图阵列的概念。采用适当的排列方式可将图中几何相邻与逻辑相邻的对应项增加到 6个以上 ,为了使其具有实用性 ,又引入一定的画图规则 ,对三维卡诺图加以改进 ,并举例说明它们的使用方法。结果表明 ,采用该方法对六变量至八变量的逻辑函数进行综合化简时 ,仍具有简便直观、可靠性高及易操作等优点 ,且有较好的实用价值。     

完全偶图的补图的色多项式及色唯一性

依据理想子图的概念，得到了其补图为完全偶图及空图之并的图的色多项式，并讨论了这种图的色唯一性。     

Vizing‘s猜想与图的Extraction数

证明了几类新图对Ｖｉｚｉｎｇ猜想是成立的。     

关于完全三部图色唯一性的判定

G是简单图,用P(G,λ)表示图的色多项式.若对任意简单图H当P(H,λ)=P(G,λ)时,都有HG,则称G是色唯一图.Liu R.,Zhao H. X.和Ye C.已经证明:当n和k为整数且满足n≥k 2≥4,完全三部图K(n-k,n,n)是色唯一的;当n和k满足n≥2k≥4时,完全三部图K(n-k,n-1,n)是色唯一的.在本文中,证明了当k是奇数且n≥k2/4 15/4≥6,或k是偶数且n≥k2/4 4≥5时,完全三部图K(n-k,n-2,n)是色唯一的;当k是奇数且n≥k2/4 19/4≥7,或k是偶数且n≥k2/4 5≥9时,K(n-k,n-3,n)是色唯一的.     

非标定图的σ－多项式

对标定图Ｇ的σ－多项式σ（Ｇ）有以下基本定理：设Ｇ∨Ｈ是标定图Ｇ与Ｈ的联图，则成立σ（Ｇ∨Ｈ）＝σ（Ｇ）σ（Ｈ）．本文对非标定图的σ－多项式给出了这一定理的相应结果，并据此得到了非标定完全多部图的σ－多项式与色多项式的计算公式．