一个实用的地图着色算法

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

平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

神经网络处理平面图着四色问题的研究

以Ｈｏｐｆｉｅｌｄ神经网络为基础，提出一种网络模型，可以正确处理平面图着四色问题，它具有结构简单，连接规则，容错性强等优点，并可用电子电路实现，在各个神经元外加激励稍有不同或网络连接权值有偏差的情况下可以得到正确输出，用两种途径进行仿真，其结果与理论分析相吻合。     

色多项式与图的着色性

1912年Birkhoff为解决著名的四色问题首次引进色多项式的概念，1932年Whitney进一步将此概念扩充到任意图上，并建立了一些基本结果，其后关于色多项式的研究深入开展积累了许多成果，并产生不少新课题，成为图论中一个热门研究领域。本书系统全面总结了基本成果，是第一本关于这个主题的专著。     

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

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

四色问题的一个等价命题

本文证明了一个四色问题的等价命题－四色方程存在全非零解。把四色问题归结为与图相关的齐次方程组求解问题,为四色问题的研究提供了一条新的途径。     

平面三次图哈米尔顿性的一个充要条件

本文证明平面三次图Dg有哈米尔顿圈的充分必要条件是与之对偶的极大平面图g有树树型四着色．即Dg的对偶极大平面图g有四着色C，该四着色的某组对偶二色子图Gk的两个分支都是树．据此得到求出图Dg全部哈米尔顿圈的算法，该方法已经成功处理了批量例图．     

极大平面图中二色树子图的一个必要条件

极大平面图G=(V,E)中的一个二色树子图T=(Vt,Et),其Vt在G中导出子图为树,并且图G存在至少一个四着色C,使T是该四着色一个二色子图的一个连通支.本文证明了Vt的点次和为偶数是它成为二色树子图的必要条件.     

图G可4—着色的充分条件

本文用布尔方程表示图论中著名的四色问题，而后给出一个图Ｇ可４－着色的充分条件。