四色问题证明的计算机程序,【四色问题】四色问题的证明方法

【答案】 证明方法将地图上的无限种可能情况减少为1,936种状态(稍后减少为1,476种),这些状态由计算机一个挨一个的进行检查.这一工作由不同的程序和计算机独立的进行了复检.在1996年,Neil Robertson、Daniel Sanders、Paul Seymour和Robin Thomas使用了一种类似的证明方法,检查了633种特殊的情况.这一新证明也使用了计算机,如果由人工来检查的话是不切实际的.

简易证明

四色定理：将平面任意地细分为不相重迭的区域,每一个区域总可以用1,2,3,4这四个数字之一来标记,而不会使相邻的两个区域得到相同的数字,即至多存在四个两两相邻的区域.

证明：

假设：任意多个相邻区域的组合区域中,不存在任何内部区域.

给定区域A、B,且A、B相邻,因为A、B间不存在内部区域,则A、B必然相交于一条曲线,曲线端点为a、b.外部两条为曲线aAb、aBb将相邻区域A,B围成一个组合区域,视为X.

任意第三个区域C与A、B两两相邻,则必然与X相邻,同理C与X只相交于曲线a1b1,产生曲线的端点为a1,b1.

若a1、b1同时在aAb或aBb其中一条曲线上,则有两种情况：

1、区域C只与A,B其中一个区域相交

2、区域C与其中一个区域的组合区域包含另一个区域,与假设矛盾.

所以a1,b1必然分别在aAb,aBb两条曲线上,则区域C必将与X相交于曲线a1a b1或a1b b1,即相交曲线包含a或b点.

令A、B、C三个区域组成的组合区域为Y.

任意区域D,与A、B、C三个区域两两相邻,如上图,则D必将与Y相邻,由上述证明可知,则D与Y的相交曲线必将至少包括a、a1、b1中的两点,无论是那两点,则D必将与A、B、C其中某两个区域包含第三个区域,即必将有一个区域成为内部区域,与假设矛盾.

即得出结论一,四个两两相邻的区域中至少有一个区域属于内部区域.

因为内部区域与外部区域无法相邻,所以不存在一个外部区域E,使得A、B、C、D、E五个区域两两相邻.(结论二)

假设,存在一个内部区域F,使得A、B、C、D、F五个区域两两相邻.

因为A、B、C、D、F中,至少有一个是外部区域.以A为例,A为外部区域,因为A与其他四个区域两两相邻,则A必然与四个区域分别相交于至少一条曲线.

若将A移除,则另外四个区域分别与A相交的曲线就与外界相通,即四个区域都变为外部区域,而四个区域又是两两相邻的,与结论一相悖.

即得出结论三,不存在一个内部区域F,使得A、B、C、D、F五个区域两两相邻.

因为平面中,除了内部区域都是外部区域,所以通过结论二和结论三得出结论四,即不存在一个区域G,使得A、B、C、D、G五个区域两两相邻.即至多存在四个两两相邻的区域.

四色定理得证!

注释：

内部区域：即完全包含于其它区域的区域.

外部区域：存在边际曲线不包含于任何其它区域的区域.

组合区域：有两个或多个区域共同覆盖的区域.