七色定理的一个新证明

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

地图染色定理的证明

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

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

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

最大度为6不含相交三角形和4-圈的平面图的全染色

全染色是对图G的顶点和边同时进行正常染色,至少要用Δ+1个色才能对图G进行正常全染色.运用权转移的方法,证明了最大度为6不含相交三角形和4-圈的简单平面图是7全可染的.     

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

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

不含3圈和4圈的1-平面图是5-可染的

若图G能画到平面上,且允许每条边至多出现一个交叉点,则图G是1-平面图。图G的一个正常点染色是指存在一个顶点集到颜色集的映射φ:V(G)→{1,2,…,k},对于G中的任意两个相邻的点u和v,φ(u)≠φ(v)。图G的一个k染色是指图G能够正常点染色所需的色数至少为k,图G有一个k染色又称图G是k-可染的。通过权转移的方法证明了不含3圈和4圈的1-平面图是5-可染的。     

我对四色猜想命题的解读及证明方法的比较

本文透过事物现象,以独有的视角,对四色猜想命题的实质性问题,包括要解答的问题是什么、地图不等于平面图、"两个数字密码"、四色区分与分为四色的异同等问题进行了解读,同时,运用实例将本人的"组合说"证明方法与其他证明方法作比较,让人们在比较中作出鉴别.     

四正则哈密尔顿平面地图的数目(英文)

一个地图称为哈密尔顿的若其上的所有顶点都在一个圈上．若一个平面地图的所有顶点是四次的，且又是哈密尔顿地图，则称该平面地图为四正则哈密尔顿平面图一个地图是近四正则的，是指除去根点外，其余顶点的次均为四．本文提供了四正则哈密尔顿平面地图计数的一个公式和四正则平面地图计数的一个显式．     

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

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

一个实用的地图着色算法

给出一种计算机实现地图四色着色的算法,并以Ｐａｓｃａｌ语言编制了程序．该程序稍作改动,即可成为分块图形实现四色着色的通用程序．     

四色定理可以普遍地证明

四色定理或称四色猜想,从1840年到现在人们所指的是任何平面和球面的地图,要求相邻的国家或地区的边界用不同种颜色着色,最多只需要四种颜色就够了,现在我提出来的四色定理是指任何平面和球面的图,包括最大平面图和所谓不可约的图在内的无限多点的图     

面近正则外平面地图的色计数函数

首先给出了不可分离面近正则(除根面外,其它每个面的次均是常数k,其中k≥3)外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程,并给出了它的显式表达式.然后,给出了可分离面近正则外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程.     

最大度为6的平面图是13-线性可染的

图G的线性色数lc（G）是指G的所有线性染色中所用的最少颜色的个数．运用Discharging方法，研究了平面图的线性色数问题，证明了最大度为6的平面图是13-线性可染的．     

关于最大度是4的平面图的18-强边染色

图G的强边染色是一种边染色使得任何长至多为3的路上的边都染不同的颜色.使得图有一个强边染色的最小颜色数称为图的强边色数.当图G是平面图且最大度为4时,Wang等人证得其强边色数不超过19.在本文中,我们证明:对最大度为4的平面图,若它是一个非18-强可染的边数极小图,则它一定不存在至多含三条边的非平凡边割.     

关于可平面图的3可选择性的一个注记

给图G=（V,E）的每个顶点v∈V分配一个可用色集L（v）,称L={L（v）｜v∈V}为G的一张色列表,若对每个顶点v∈V,都可以从L（v）中找到一种颜色φ（v）染给v,使得φ（x）≠φ（y）对任意边xy∈E成立,则称G是L可染的。若对G的任意一张满足｜L（v）｜≥k对所有v∈V成立的色列表L,G都是L可染的,则称G是k可选择的。本文运用Discharging方法证明了每一个不含4,6,8圈且任意两个三角形的距离至少为2的可平面图是3可选择的。     

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

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

图的一般邻点可区别色指标

给出了完全图Kn、路Pm与完全图Kn的Cartese积Pm×Kn、圈Cm与Kn的Cartese积Cm×Pn等图的一般邻点可区别色指标,并得到2维网格Mm,n2种颜色可染、2维环形网格TMm,n3种颜色可染等结论.     

没有相邻短圈的平面图的3-染色

研究了平面图的3-染色问题.运用粘点变换,研究外圈上部分3-染色能进行色延拓的极小反例的结构性质,证明了8--圈不相邻的平面图是3-可染的.这一结果和所使用的方法对进一步研究Steinberg猜想和Havel问题具有参考价值.     

关于机器证明

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

试论地图学中比例尺的内涵

比例尺是地图三大要素之首,是十分重要的地图要素.比例尺的概念相对简单,但其内涵相当丰富,比例尺的内涵涉及地图投影、地图概括和地图符号理论,跨越地图制图、地图表达和地图应用的多个领域.所以,对比例尺内涵的探讨很有必要.从地图中不同地理事物的比例分析、地图中不同地区的比例分析、地图中不同方向的比例分析和地图中各种比例尺的用法四个方面论述了比例尺的内涵,反映出比例尺在地图学上丰富活跃的特性.