数学建模社区-数学中国

标题: 四色猜想的简单证明 [打印本页]

作者: moyu333    时间: 2010-3-17 23:10
标题: 四色猜想的简单证明
本帖最后由 moyu333 于 2010-5-11 22:56 编辑
8 R- W. z  i; s; d+ h; Z5 R3 P! o1 E- ]# `0 d5 r

1、标准四色图案内部存在着一个通道网络


. `: q9 I- h  o! i9 o% N

此刻,我看着脚下的地板。地板是瓷砖铺成的,每一块都方方正正,铺的整齐划一。具体地说,是铺成如下模样:


! e  T' P& A* d+ h  N

图——01.JPG

                                                        图——1

- K" y" H, A: Y: i

我忽然若有所思,一个解决四色问题的奇妙想法油然升上心头。那地上的瓷砖块忽然活动起来,有的变大,有的变小;有的变长,有的变短。他们排成整齐的队列,横看横成行,竖看竖成行;但是变来变去,还是横竖成行,绝不紊乱。对了,这就是解决四色问题的奇妙法门。我赶忙整理出思路,为了让读者诸君看着方便,请允许我先把上面的图形略微变化如下:


" n' W1 z. k" l: Y

图——02.JPG

/ m9 k# k7 Z  a& a2 h; j7 E8 t

                                                         图——2


; V) D, i0 t9 N9 l% S

我认为这样变化一下也没有什么不可,反正,你也不是没有见过这个样子的地板。

读者诸君,看出什么门路没有?——没有。那么,请不要着急。在理解我的思路之前,请读者诸君先把四色问题放在一边。请允许我从头开始整理自己的思路。好了,四色问题,就是先有四种颜色,而且限定这四种颜色。我们姑且假设这四种颜色就是红黄蓝绿,那么,这四种颜色,每两种颜色搭配在一起,可以组成六种色带。具体地说,就是如下这六种色带:

图——03.JPG

                                                        图——3


* [2 g2 Z& R, @7 e9 f- t, Z

这六种色带,在限定了不允许出现颜色重复的前提下,可以搭配出三种四色图案,具体搭配方式如下:

1,红黄丝带 + 蓝绿色带

2,红蓝丝带 + 黄绿色带

3,红绿色带 + 黄蓝色带

至此,我们就已经做好了全部的准备工作。现在,让我们用红黄 色带 + 蓝绿色带,搭配出一个标准的四色图案。其实也不用去搭配,只要把这四种颜色按照相应的顺序代入上面的第二个图形就行了。代入的结果就是这样:

  m  N/ t6 n/ l. A

, {$ J. t- J) h9 M% s  D0 [' m/ v
图——04.JPG

                                                         图——4

/ ^6 Q2 o: s7 ^

我相信,有些人已经看出问题的所在了。我们是用红**带和蓝绿色带互相叠加组成了一幅四色图案(因为图案中每一个色块都大小相等,我把这样的四色图案称之为标准四色图案)。但是,让我们没有想到的是:其他几种色带也全部出现在图案之中。

图——05.JPG

                                                         图——5

: ?4 p- {! G/ I1 z! o2 x7 g

这意味着什么?这意味着:同样一幅四色图案,我们既可以把它看成红黄 色带和绿蓝色带的叠加,也可以看成红蓝色带和黄绿色带的叠加,还可以看成是黄绿色带和黄蓝色带的叠加。在这种情况下,任意一个色块,都同时是三条色带的一个组成部分。

让我们扩展一下自己的思路,试着把色带看成是一条通道。我认为这没有什么不可。一条色带沿着另一条色带来回滑动,不会违背四色禁忌(在任意四色图案之中,同种颜色的色块不允许接触到一起,我把这种情况称之为:四色禁忌)。当然,这样做没有什么意义。让我们再次扩展一下自己的思路:一个色块沿着它所在的通道扩展自己的边界,同时把其它的色块沿着同一条通道向前挤压,也不会违背四色禁忌;可是,在这个过程中,这个色块成功地与另外一个本来不相连接的色块连接在一起。这就多少有一点意义了。

每一个色块都同时处在三条色带之中,也就是同时处在三条通道之中。那么,它可以沿着三条通道向着六个不同的方向扩展自己的边界(在不出现通道交叉的情况下)。这种情况如下图所示:

% |7 H5 m7 b% h6 q- s1 N

7 [& S7 t! J3 ~. m0 v- K

图——06.JPG

                                                         图——6

/ A* w- E3 b! p

——6展示了红色色块A所拥有的通道。但是,只要我们稍作分析,就会发现,红色色块A所拥有的通道远不是只有有限的三条。当红色色块A沿着通道扩展延伸,挤占了其它色块所在的位置,它还能取得其它色块所拥有的通道。这样,在标准四色图案里,任意一个色块所拥有的通道实际上是不受限 制的;或者换句话说:它所拥有的通道把它和整个图案联系在一起;沿着这些通道,它可以很方便地来到任意一个跟它不同颜色的色块身边,同时不违背四色禁忌。

图——07.JPG

                                                         


" Z8 s1 v+ \9 ]' w: J3 b7 U" s

                                                          图——7


. W/ T8 [( T+ M* W

——7展示了红色色块A沿着通道扩展延伸,并同时挤压别的色块的情形。你可以看到,红色色块A所拥有的通道绝不是只有有限的三条,而是整个的通道网络。这里出现了两个问题:一,红色色块A沿着通道扩展延伸,是否能够同时与所有跟自己不同颜色的色块建立起边界连接?二,当红色色块A沿着通道扩展延伸,它是否因此而阻断了其它色块所拥有的通道?

这两个问题非常重要。要是一个色块沿着通道扩展延伸,同时就阻断了其它色块所拥有的通道,那么,这篇文章就不必再写下去了。这毫无意义。通道的存在毫无意义。通道是一条四通八达的道路,而且是一个无所不至的道路网络,可是,这个通道网络只允许一个或少数几个色块在上面通行,那么,通道的存在不足以充分调整图案中色块与色块之间的相对关系。然而,通道网络是否允许所有的色块同时在上面动起来,我们还须经过验证才能知道。

  y: l$ H1 B3 e  f* G1 @5 g: v: [
. e3 P% n1 {% _5 k6 r( E
  x  d/ d5 L2 V$ r/ S$ e9 \& [0 S

1 \( N# |6 Y3 `3 O( O0 }3 \. s7 i8 H5 `6 q; a; G  L, O


作者: moyu333    时间: 2010-3-17 23:33
标题: 图呢?
本帖最后由 moyu333 于 2010-5-11 22:52 编辑 ( q; c$ K" t4 O+ Y( s+ i* ^
3 I6 d% d, K- `2 a

2、通道会被阻断吗?

; M, V; z- ]- u4 g: w9 V+ d

先看下面的图形:


) x6 j+ s6 J- l+ r1 k2 s( S

9 n1 Y9 z" \8 L4 j  s# a
图——08.JPG
( s7 q( a3 e/ n/ H4 |, H% h: [

                                                         图——8

——8可以看成是图——4的进一步变化。我们让图——4中的所有色块沿着纵向的通道互相挤压,就得到了图——8。在图——8中,纵向的通道应该没有任何变化。问题是:横向上的通道如今还剩下多少。先找找红绿通道和黄蓝通道。


, t0 P# `8 S! v, a* e# @

: j/ M. @  c! I& f1 `' ]
图——08--1.JPG

                                                       图——8--1

再找找红蓝通道和黄绿通道。

! M3 M4 m/ w) z- ^- d8 h
图——08--2.JPG

                                                      图——8--2

我们发现:尽管经过了纵向通道上的反复冲断,每一个色块,至少还保留一条以上横向上的通道。一条通道就足够了,因为我们已经知道,一条通道就能够把一个色块和整个通道网络连接起来。

但是,问题显然没有那么简单。我们发现通道的情况如今变得复杂起来。具体地说,是通道出现了分叉。一个色块能够沿着一条出现分叉的通道扩展自己的边界,并从而和一个新的色块建立起边界连接吗?还是先来看一下图形。


8 i5 ^. f) S/ z3 n5 U4 f 图——08--3.JPG

                                                      图——8--3

——8--3中,蓝色色块B被左右被两个巨大的红色色块所包夹着。红蓝通道在经过这两个巨大的红色色块时,出现了分叉。按照我们先前对通道的理解,在这里,与其说还存在着红蓝通道,不如说红蓝通道已经被两个巨大的红色色块所阻断。

让我们再次解放一下自己的思路。我们原来对通道的理解是:一条两色色带被另外两条(不同颜色的)两色色带所包夹着,则这条色带相对于另外两条色带所占有的图案空间,就构成一条通道。这种理解并不错误,但是必须进行某些补充。通道就像是一条道路,色块在通道上通行,不一定要走整个的道路;它可以选择靠右行走,也可以选择靠左行走。这种情形可以用下面的图形来表示:


$ j& L- ?3 U* _4 a5 d 图——08--4.JPG

                                                      图——8--4


. k' g! ^1 Q$ F——84中,蓝色色块B沿着绿蓝通道的右侧扩展自己的边界,并同时挤压它前面的色块;在这个过程中,蓝色色块B左侧的边界关系保持不动。我们看到,蓝色色块B通过挤压它下面那个绿色色块的右侧,成功地和一个**色块建立起边界连接。至此,本来已经被阻断的黄蓝通道又从新得以恢复。
8 V- h. u. j& t) @6 \9 \+ U2 _( J8 e; ]2 D! ]7 _/ ?6 E6 M
图——08--5.JPG
- `/ z+ I5 x5 e, V8 j3 p

                                                       图——8--5

——85中,蓝色色块B沿着绿蓝通道的左侧挤压它前面的色块,它一下子就给自己重建了两条黄蓝通道。

如果我们的推理是成立的,那么,一条完整的通道显然是同时拥有三种通过模式,分别是:全通模式、左侧模式、右侧模式。全通模式是用来跟其它的色块争夺图案空间的,这种模式过于霸道,我们也可以把它称之为通道的美国模式。左侧模式与英国人靠左行驶的习惯相一致,我们也可以把它称之为通道的英国模式。右侧模式跟中国人靠右行驶的规则相一致,我们也可以把它称之为通道的中国模式。很明显,当通道出现分叉的时候,全通模式是行不通的。这时候你要么选择靠左行驶,要么选择靠右行驶。

同样的道理,蓝色色块B向右的通道出现了分叉,这时候,蓝色色块B可以选择沿着红蓝通道的右侧(或左侧)通行。这种情况如下图所示:

8 o6 ~% V( |! R1 T" i: R' Z
0 V# H! y7 m/ g  a& n( O. i
图——08--6.JPG - b5 O9 s2 u. J

                                                      图——86

蓝色色块B沿着红蓝通道的右侧延伸自己的边界,同时挤压它前面的色块,成功地和一个绿色色块建立起边界连接。如下图。

' H* r6 w; S- l! k7 d8 v' S
图——08--7.JPG
9 {) `3 Z; D% z, [

                                                    图——87

让我们不要被图案中参差不齐的色块关系所迷惑。色块关系任凭怎么参差不齐,通道则永远是简单的。通道就是任意两种颜色的色块可以沿着另外两种颜色的色块所提供的边界,互相挤压、伸缩、变形,这种行为不会违背四色禁忌,却能够借以调整色块与色块之间的边界关系。

一条有效的通道显然需要四种颜色至少四个色块的共同参与。如果只有三个色块,或者是一个色块沿着另外两个色块滑行,或者是两个色块沿着另外一个色块滑行,在这种情况下,你仍然可以把它看成是一条通道,但它如果不足以调整色块与色块之间的边界关系,它就是一条无效的通道。当然,这种情况如果出现在图案的边缘上,则另当别论。

通道不会被阻断。这是我们在分析了图——8的变化之后得出的一个结论。这可能不是最终结论。如果这是一个最终结论,那么,我们此刻就可以做这样的判断:标准四色图案里所有相邻的色块互为通道;标准四色图案里所有的色块按照各自的通道互相挤压变形,并重新缔结其各自的边界关系,在这个过程中,所有相邻的色块仍然是互为通道。可是,让我们不要匆忙地下这样的结论。还是先看看如果图——8中的所有色块按照纵向和横向的所有可能的通道进一步互相挤压变形,会出现什么情形。


作者: moyu333    时间: 2010-3-17 23:43
本帖最后由 moyu333 于 2010-5-11 14:08 编辑
3 r. O+ v& t' k7 b; M3 @3 H  K0 P2 m

3、8 ^: Q9 W2 M8 g
任意四色图案中的三色色块组合

4 G: ^$ Q6 s" E% e" s" q


1 z) Y" Z0 U2 \: ]

, `2 l* q) F! O, x" H7 r9 d

——8中的所有的色块沿着纵向和横向所有可能的通道互相挤压变形,就得到下面一幅图形:


7 S0 m& L7 T- |1 R6 D5 M% _- c

2 e/ T! o- R8 O9 ]
图——09.JPG

——9

——9还是过于简单。可是,绘制一张足够复杂的四色图案,太耗费人的精力。我们姑且满足于这样一幅图案,只要它能够帮助我们说明我们想要说明的道理就行了。

显然,图——9中,所有的色块仍然处在通道之中,对此我就不一一标示出来了。问题的关键不是一个色块拥有多少外连的通道,是任意一个色块在任何情况下至少保留一条以上有效的通道。图——9中,一个色块的最少外接色块数是两个。我们先来分析一下,这种情况下,一个色块是否至少还保留着一条以上有效的通道。我们试以图——9中的绿色色块C为例来进行分析。

图——09--1.JPG

——91

——9--1中,绿色色块C只有一红和一蓝这两个外接色块,这是标准四色图案里所有的色块按照各自的通道互相挤压变形,所能达到的最少外接色块数(限于图案内部)。显然,绿色色块C拥有两条外连通道,四种外连的模式,而且全部是有效的。

但是,如果围绕着绿色色块C的色块组合进一步发生变化,比如,出现如下图所示的情形,会出现什么情况?

图——09--2.JPG

——92

——92中,绿色色块D沿绿红通道向左扩展自己的边界,同时沿绿蓝通道向右下扩展自己的边界,再沿绿黄通道向右下扩展自己的边界,就形成如下的图形。

图——09--3.JPG

——93

在这种情形下,我们发现,当中的那个绿色色块C仍然拥有两条连接整个图案的通道,如下图所示:

图——09--4.JPG

——94

绿色色块C可以走绿蓝通道,绕着红**带,向左或是向右,一直来到下边的**色块身边,这样他就一举突破了红蓝色块对它的包夹。

下一步,我们让绿色色块D沿着绿黄通道进一步向左绕行,看看会出现什么情形。

图——09--5.JPG

——95

图——09--6.JPG

——96

从图——095到图——096,我们看到:绿色色块C终于被围困在一个简单的局部色块组合里。为了方便读者看得更清晰一些,我把这个局部色块组合简化如下:

图——10.JPG

——10

通过这一简化,我们就看的更清楚了。绿色色块C之所以被围困在这个局部的色块组合里,是因为绿色色块C外围两圈的色块中,没有出现第四种颜色的色块。我们在前面分析过了:一条有效地通道需要四种颜色色块的参与,只有这样才能够借以调整色块与色块之间的边界关系。通常情况下,一个色块周围两圈色块的范围之内不出现第四种颜色色块的可能性极低。但是在这里,这种情况出现了。这种情况足够严重。

自从开始我们的分析以来,我们最担心的情况就是某个色块在某种情况下,它所拥有的通道完全被阻断。我们进行分析和做出判断的基本前提就是任意一个色块在任何情况下,其连接于整个图案的通道不会被阻断。如果被阻断了,那就表明标准四色图案未必能够演变成任意四色图案。换句话说:试图通过这条途径来证明四色猜想,不能成功。

可是,我们还是不能匆忙地就做出结论。我们进行分析和做出判断的最基本的前提其实并不是无处不在的通道,而是四色禁忌。只要四色禁忌没有被违背,我们的推论就仍然可能是有效的。

在图——10的局部色块组合中,绿色色块C首先被一红一蓝两个色块所包夹住。当然,真正阻断绿色色块C的有效通道的,是更外围的绿蓝色块。在这种情况下,绿色色块C可以选择改变自己的颜色,也就是变成**。一旦它变成一个**色块,它就可以顺利地突破红蓝色块对它的包夹。

图——10--1.JPG

——10--1

改变自己的颜色,我认为是完全允许的。一个色块只要是在不影响其它色块的颜色选择的前提下,就可以改变自己的颜色。这种情况并没有违背我们进行推论的最基本的前提。这不过是向我们证明了这样一个事实:在任意一幅四色图案里,不但可以实现同色回避,而且,四种颜色色块的数目不一定相等。在给定了总体色块数目的前提下,每种颜色色块的数目也不一定恒定。

但是,假如在图——10这种局部的色块组合的基础上,再围绕上两圈给定颜色的色块组合呢?如下图:

图——10--2.JPG

——102

在这种情况下,绿色色块C仍然不会被围困住。首先,它已经变成了**色块,所以第一步,它可以突破红蓝色块的包夹。如下图:


2 c) S/ S. j; k1 h0 y& `* }

图——10--3.JPG

——103

第二部,它可以选择跟左侧的红色色块交换颜色。一旦它把自己的颜色交换成红色,它就可以顺利突破这个局部组合的围困。

图——10--4.JPG

——104

交换颜色,我认为也是可以的。只要这种交换不会影响到第三个色块的颜色选择。有人或许会问:如果允许颜色交换,更多的色块任意地进行颜色交换是不是也是允许的呢?——对此,我的回答是:显然可以。如果你能证明在任意一幅四色图案里进行任意的颜色互换都不会违背四色禁忌,你就证明了四色猜想。但是可惜,这种情况太过复杂,复杂到远远超出了人的智力所能方便地加以演示的范围。但无疑,两个色块在不影响第三个色块的条件下进行颜色交换,在人能够方便地进行掌握并且能够方便地予以演示的范围之内。

包围圈还可以被组织地更复杂。我们的证明必须能够适应于任何意想不到的情况。假如在图——105的色块组合之外再包围上数圈两色色块组合,原来的那个绿色色块C,是不是仍然有办法突出这重重的包围?

必须承认,这种情况人力演示不了。不过我想,已经没有加以演示的必要。包围圈不论被组织地怎样复杂,其基本原理是完全一样的,即:一个色块被一个三色色块组合所包围住,而这个色块与三色色块组合中的一种色块同色。我们要证明的是四色猜想,给我们带来困难的竟然是一种三色色块组合,这种情形意味着什么?——意味着通道有可能被阻断,还是意味着某种我们暂时还没有发现的图案秘密?

我想,首先,这种情况意味着在某种局部的色块组合中,出现了一种颜色冗余。你在一个三色色块组合里随便地增加一个色块,让这个色块选择为第四种颜色,四色禁忌不会被违背,原来被阻断的通道则立即得以恢复。或者,你不必增加色块,你让三色色块组合中的一个色块改变为第四种颜色,原来被阻断的通道也立即得以恢复。三色色块组合相对于四色色块组合冗余出一种颜色来,从证明四色猜想的角度上说,不管这种冗余出现在什么地方,我们都可以以任何可能的理由把它重新添加进去。

恢复绿色色块C被阻断的通道,就是一个合理的理由。我们在前边论证了绿色色块C改变颜色、与其它色块交换颜色,理由其实是一样的。只不过,改变自己的颜色、与其它色块交换颜色,只适应于某些较为简单的三色色块组合。对于更为复杂的三色色块组合,在需要的位置上选择任意一个色块让它改变颜色,是一个更为方便的选择。

假如我们的论证是成立的,则我们可以说,在任意一幅四色图案的任意局部的范围内,通道都没有被阻断。被冗余出来的色块,就是潜在的通道。


8 ?6 h  X" c4 q2 s3 u, K
! l$ S3 i* S8 v
0 c  _8 ~5 A2 ?8 b! d
: Z6 v' \( ]+ O5 W- K2 c5 }2 Q

9 @8 |% Z! A( K+ e5 W) b

作者: moyu333    时间: 2010-5-11 10:56
本帖最后由 moyu333 于 2010-5-11 14:25 编辑
- z# B7 _( Z# n4 w
+ C+ ~, G% F) B2 }- c2 j

4、通道的潜力

% |6 G# m' R' v/ ~/ w& u  Q

$ }' k" H/ y) r9 R3 T

让一个色块改变颜色,其意义远不止是恢复被阻断的通道那么简单。我们的全部论证都指向着这样一个方向:标准四色图案因为其内部存在着一个通道网络,可以演变成任意四色图案。在标准四色图案里,四种颜色色块的构成比例是相对固定的,但是在任意四色图案里,四种颜色色块的构成比例是任意的。通道的存在如果仅仅是给原有的色块与色块之间调整其边界关系提供了方便,那么,标准四色图案就不足以演变成任意四色图案。要演变成任意四色图案,它必须不但能够重新组合原有色块与色块之间的边界联系,而且能够改变不同颜色色块的构成比例。三色色块组合的出现,恰好给标准四色图案进一步调整其内部的不同颜色色块构成比例,提供了机会。问题是:这个机会的潜力究竟有多大?

我们在前边总共提出了两个问题,一个是:通道会不会被阻断;另一个是:一个色块与其它色块实现边界连接的潜力究竟有多大。对于第一个问题,我们已有的分析已经给出了证明:通道不会被阻断。对于第二个问题,解决的途径恰恰与三色色块组合的出现有关。

我们似乎忽略了一个问题。要是一个色块被三个色块、四个色块、或是更多的色块所包围着,会出现什么情形?是不是在这些情况下它所拥有的通道也有可能被阻断?——对于这个问题,我想,已经没有进行分析的必要。一个色块的外接色块越多,它所拥有的外连通道也就越多。这当然并不意味着这些通道在任何情况下都是有效的,但是显然,唯一能让一个色块失去通道的,只有那种局部的三色色块组合。三色色块组合就意味着一种颜色的冗余。颜色的冗余就意味着潜在的通道。潜在的通道也是通道,除非我们有意为难自己,让自己在某种允许通行的情况下自动止步。要是我们如此愚蠢,我们为什么要来关注四色猜想呢?——四色猜想不是什么了不起的数学难题,但是,要是我们有意地自己为难自己,我们还是别碰这个问题为好。

好了,即使通道的问题仍没有被解决妥当,也让我们暂且把它放到一边。我们来分析一下:通道网络的存在允许一个色块在最大限度上与多少色块同时连接起来。请看下面的图形:

: P3 l* k6 g2 E3 ?$ e( @


4 q7 d8 W: Z) o+ _+ p5 u( i; |

( |8 d, v3 p4 g; m4 V
图——11.JPG


9 J3 Y4 m" {. T  C2 S9 A+ W* i) c
——11

其实这还是上面那个图——4,还是那个红色色块A。读者诸君可能会注意到,我们自从开始本文的分析以来,就没有更换过图案;我们所使用的是同一幅图案的种种变形,或者是它的一个部分。现在,我们让图——11中的红色色块A沿着红黄通道把本通道中所有其它的色块全部推挤出图案,并且让这些色块沿着图案最外侧的绿蓝色带的外侧排列起来,如下图。

图——11--1.JPG

——111

注意,当中那个盘绕着的红色长条如今同属于一个红色色块A。

第二步,处在红色色块A半包围中的绿蓝色带,沿着绿蓝通道向外滑行,覆盖在红色色块A的上下两端。如下面两图所示。

图——11--2.JPG

——112

图——11--3.JPG

——11-3

第三步,绿蓝色带沿着红色色块的外侧尽量均匀地展开,在这个过程中注意防止同种颜色的色块互相碰头,这很容易做到。

然后红**带沿着绿蓝色带尽量均匀地展开,覆盖在绿蓝色带上。

图——11--4.JPG

——114

图——11--5.JPG

——115

第四步,让最外侧的红**带中的**色块,通过黄蓝通道,或是黄绿通道,重新与最内侧的那个巨大的红色色块连接起来。当然,当中的红色色块穿越红绿通道、或是红绿通道,去主动地连接最外侧的**色块,效果也是一样。

图——11--6.JPG

——116

最后我们就得到了这样一幅四色图案:

图——11--7.JPG

——117

一个红色色块就这样成功地与图案中所有不同颜色的色块连接起来。所有跟它相同颜色的色块,被排挤在图案的最外围。

我这这里对图案进行了某种修饰,应该不会妨碍正常的理解。

3 c; V2 Q; i* w  g


3 \4 ^& {) c% h0 }8 B* Z

所谓的任意四色图案,不但任意色块的外接色块数目可以是任意的,而且连接的方式也应该是任意的。图——11中红色色块A与其它色块的连接方式显然并不任意,但是,既然通道并没有被阻断,连接方式允许做任意的调整。

图——11--8.JPG

——118

绿色色块B如果沿着上图所示的通道延展自己的边界,我们就得到了如下一幅图案:

图——11--9.JPG

——119

其它的色块也可以做类似的连接方式的调整。通道不会**任何一个色块做这样的调整,但是显然,色块与色块之间互相构成**。毕竟图案的空间是有限的。可用来增加一个色块的外接色块数目的机会,也是有限的。

这里有必要解释一下所谓“连接方式是任意的”是什么含义。其实,它的含义非常简单,它只意味着这样一种情况:一个色块和另一个色块拥有几条共享边界。既然通道在任何情况下都不会被阻断,那么当然,一个色块要取得更多的外接色块的机会始终是开放的,一个色块与另一个色块之间可以建立多少条共享边界的机会,也是开放的。

——119还可以做进一步的演变,演变的结果出人意料之外:

图——11--10.JPG

——1110

如上图,绿色色块B沿着红**带的最外侧延展滑行,把整条红**带包绕起来。但这只是第一步。下一步,绿色色块B可以通过绿红通道、或是绿黄通道,去跟所有的蓝色色块实现连接。当然,由蓝色色块通过蓝红通道,或是蓝黄通道,去连接外面的绿色色块,效果也是一样。这种情况如下图所标示:

图——11--11.JPG

——1111

——1111向我们展示:不但一个红色色块与图案中所有不同颜色的色块连接起来了,一个绿色色块也同时与图案中所有不同颜色的色块连接起来了。

第三个色块如果试图同时与图案中所有不同颜色的色块实现连接,应该没有任何可能。不过我想,我们已经找到了标准四色图案按照通道所提供的可能性任意组合变化所能实现的某种较为极端的情况。这并非最极端的情况。最极端的情况应该是:一个色块与图案中所有的色块同时连接起来。

* [, ~# Y- ^4 D$ f  w9 @; H


6 F: i0 [) _) ]+ ^$ q

先回到前面的图——115。假如我们让最外侧的**色块一律沿着黄蓝通道与最中心的红色色块连接起来,在这个过程中,有意识地让最外侧的红色色块处在一种三色色块组合之中。我们就得到一幅这样的图案:

图——11--12.JPG

——1112

第二步,处在三色色块组合中的红色色块可以改变自己的颜色。在这里,我们限定它只能改变为绿色,或是改变为蓝色。如下图:

图——11--13.JPG

——1113

第三步,让最外圈的绿色色块和蓝色色块通过绿黄通道、或是蓝黄通道,与中心的红色色块连接起来,我们就得到如下的图案:

图——11--14.JPG

——1114

至此,一个色块成功地与图案中所有的色块连接起来。需要注意的是,我们这样做并不受图案中色块数目的**。

连接的方式仍然可以是任意的。红色色块外边的绿蓝**块可以沿着红色色块收缩,变成如下的图形:

图——11--15.JPG

——1115

现在红色色块A外围的色块互不连接,仅仅与当中的红色色块连接。下一步,这些色块在不影响其它色块的颜色选择的前提下,可以一律变成**。如下图:

图——11--16.JPG


- q  H0 T8 R* l  C4 u——1116

至此,图案中只剩下两种颜色。假设原来那幅标准四色图案里总共有N个色块的话,现在,四种颜色色块的构成比例变成: 1:N-1:0:0。

这个图案可以沿着允许的通道再变回去。当然,第一步,外围的色块先是沿着红色色块伸展自己的边界,互相靠近,一边改变自己的颜色。然后,它们继续改变自己的颜色,以重建各自的通道。只要有了通道,沿着通道,它们可以任意地重新组合相互之间的边界关系。

一个色块可以与图案中所有的色块连接起来,同时不违背四色禁忌,而且连接的方式是任意的。这应该就是标准四色图案里所有的色块沿着通道网络重新组合其相互之间的边界关系,所能组合出来的最极端的情况。

( a( R9 R+ s! S4 w7 V
0 x% C+ b( K$ a5 S+ S' {* K
, F. q) f+ ~( J" U1 R7 h
* \0 |  P  x8 c1 d9 ^; q4 O

( @& F5 b' J7 c' E4 l/ w& h! j, _% r1 V1 q5 ?: T


作者: moyu333    时间: 2010-5-11 14:27
本帖最后由 moyu333 于 2010-5-11 22:45 编辑 9 p0 ~8 m2 Q. @3 P% A  ?1 ~4 x: W
8 X+ A  K- V" o$ h6 m& v0 M

5、总结说明


/ Q7 Y' y9 c  y; h# }

总结一下上面的分析,我们得出如下的结论:

一,标准四色图案里所有相邻的色块互为通道。

二,标准四色图案里所有的色块沿着各自的通道互相挤压变形,可以重新组合色块与色块之间的边界关系。

三,在这个过程中,通道不会被阻断,四色禁忌也不会被违背。换句话说:这种组合变化可以无休无止地进行下去。

四,在某些局部的三色色块组合之中,个别色块所拥有的通道有可能被阻断;但是,三色色块组合由于冗余出一种颜色来,在这种情况下,可以把冗余的颜色看成是潜在的通道。更重要的是:三色色块组合的出现给标准四色图案借以调整其内部四种颜色色块的构成比例,提供了机会。

五,这个机会的潜力是无限大。在限定只允许改变色块颜色而不许增加色块数目的前提下,这个机会的潜力是把两种颜色色块的数目改变为零。在允许增加色块的前提下,这个机会的潜力是让一幅本来相对简单的四色图案变得无限复杂:图案里色块数目无限增多,结构无限复杂,但是,无论色块数目增加到多少,结构怎样复杂,四色禁忌不会被违背;或者换句话说:可以不被违背,因为我们是按照允许的通道来做到这一点的。

六,通道允许一个色块同时与图案中所有其它颜色的色块连接起来,而且连接的方式是任意的。通道允许两个不同颜色的色块同时与图案中所有跟自己不同颜色的色块连接起来,在这种情况下,连接方式不能是任意的。

七,标准四色图案里,任意一个色块循着通道所指引的路线与其它的色块任意组合变化,所能实现的最少色块连接,是只有一个;所能实现的最多色块连接,是图案中所有的色块。

八,在这两个极端的范围之内,一个色块能够实现与多少色块连接起来,以怎样的方式连接起来,取决于这个色块与其它色块争夺图案空间的能力。通道本身,并不构成**。色块与色块之间争夺图案空间的过程,是一个动态的过程,这种情况就好比说:一个色块暂时赢得了机会,就意味着另一个色块暂时失去了机会。但是,不管是赢得机会,还是失去机会,只要这个动态的过程没有在某种情况下停止下来,机会向所有的色块公平地开放着。

九,可以无休无止地组合变化下去。允许组合出任何最极端的色块组合模式。这就意味着:标准四色图案可以演变成任意一种四色图案。

十,最后的结论就是:四色猜想能够成立。


0 `: Y# q4 Q" W6 d/ T6 }5 f$ i' {2 j

作者: moyu333    时间: 2010-5-11 14:31

6、似乎并不多余的补充


& ^+ `9 @7 R4 N3 e8 d7 r, D2 y

. q( S4 B% C, l# R  n6 V

6 h- j- b* U, d8 n0 g, h% q2 M

还有一种情况,似乎应该在这里予以某种说明:标准四色图案如果能够演变成任意一种色块组合模式,是否能够组合出这样一种模式:一个色块把另外一个或是数个色块完全包围起来?

对于这种情况,我们本来可以不予理睬。一个色块把其它的色块完全包围起来,它就把这些色块与其身外的色块完全隔离开来。在这种情况下,我们可以说:包围圈内和圈外是两个互不相干的色块组合体系。但是,这不等于说标准四色图案没有演变出这种特殊的色块组合模式的潜力。

循着通道,显然是无法做到这一点。通道是用来让不同颜色的色块实现连接的,也是让相同颜色的色块实现完全回避的。但是同理,一个色块如果有意地突破通道的**,而且是回到它自身,它恰好能够成功地把一个或数个色块包围在自己的腹中。

图——12--1.JPG

——12--1

上图中,红色色块A1先是沿红绿通道来到 2,然后沿红黄通道来到 3,然后沿红绿通道来到4,然后沿红黄通道来到5。在5的位置上,红色色块可以突破通道的**,穿越黄蓝绿这三个色块之间的边界,即通过a或b这两条线路,回到它自身。这样,红色色块A1就一举把数个色块包围在自己的腹中。如下图。

/ t/ c1 M% k/ z6 ^

图——12--2.JPG

——12--2

二维图形可以在一个曲面上自我闭合。平面图形不过是二维图形的一种特别形式。地球的球面就是二维的,同时又是自我闭合的。那么,标准四色图案的可以在一个球面上自我闭合,并且按照通道所提供的可能性任意组合变化吗?让我们看一下下面的图:

图——13.JPG

——13

其实这还是上面那张图——4,不过是涂色的顺序发生了一点变化:红**带和绿蓝色带从一个端点开始,互相缠绕着,呈螺旋状向外展开。这个图案有一个神奇的功能:它从一个端点开始,可以在另一个端点上实现整个图案的自我闭合。假如这个图案是在一个球面上展开的话,不论是从球面的哪一点开始,在球的另一面,两条互相盘绕的色带一定会实现自我闭合。但是,正如在图——4中所见的那样,这图案中不只有红**带和绿蓝色带,其它四条色带也同时出现在图案之中。换句话说:二维的球面图案的四色变化情况跟二维的平面图案完全一样。

' e# }$ E$ v( u7 ^
, S+ a0 j# w! q) h

9 X( A/ O1 t  [% p0 b) W/ A

证明、或者说说明就到这里。据说,美国数学家阿佩尔先生为了证明四色原理,曾经设计了一千多种色块组合模式;他把这些模式输入电脑,让电脑帮他计算,结果显示:四色猜想能够成立。我不知道阿佩尔先生究竟设计了那些模式,但我敢肯定:标准四色图案能够方便地变化出任何模式。

这个证明基本思路是:标准四色图案里存在着一个通道网络,沿着这个通道网络,标准四色图案里所有的色块可以任意地重新组合其相对的边界关系,直到组合出任意一幅四色图案。如果这个证明是成立的,那么,在任意一幅四色图案里,固有的通道不会被完全打破。换句话说:给定任意一幅四色图案,我们一定能够从中寻找出、或者说复原出原有的通道来。而且,复原的途径还不止一种。沿着这一条条通道,我们还能够把所有的色块贯穿起来。试复原一个任意四色图案里的通道如下:

图——14.JPG

——14

全部的证明就到这里。有兴趣的朋友的可以自己画几幅四色图案,试着给它复原出原有的通道。坦率地说,谁如果这样做了,就会觉得这是一个非常无趣的游戏。不过,这对你能够充分理解本文的论证思路,不无裨益。

) m0 M- ?6 B* f


作者: moyu333    时间: 2010-5-11 14:38
我费了九牛二虎之力,终于被这篇帖子贴完了。好累。可能也毫无收获。唯一的收获就是我终于学会了怎样贴图。这贴图的技巧,我是从头学起,简直累死我了。也烦死我了。
4 J: {) {4 C9 k& M" l; A- j* h3 E2 u- \* x" H0 X
有兴趣的朋友不妨看看。我的证明也许是有效的。谁知道呢!5 I+ {3 v# [& `  [8 `% v
+ G+ N/ F. p6 b* n2 ]) p/ A
写这篇帖子不累。贴图就太累。看这篇帖子的人,肯定也累。你就是不支持我的论证我也心存感激。为了聊表谢意,或者甚至增加一点趣味,我在下面贴几首新获得的小诗,算是给大家解烦解闷了。
作者: moyu333    时间: 2010-5-11 14:41
烽火戏诸侯
* B$ o" j* u) s8 x2 {$ D  T2 `) V7 V9 Z% p
   

烽火戏诸侯,为看美人笑。

剖心验比干,只缘妲己闹。

吴王欲争霸,西施自越来。

楚人方休兵,夏姬不肯老。

若得美人伴,家国皆可弃。

范蠡舟载去,巫臣车飞跑。


作者: moyu333    时间: 2010-5-11 14:47
急忙解释一下:
4 H6 w2 c- y) ]' p% \* p% ^8 \+ I/ z: b* g+ [5 C( B* n( X; |1 d, E  d
读者诸君凡在帖子了看到**字样,就是“黄”或“**”的意思。违禁词害死人,没想到数学分析也与违禁词有关。早知这样,我不用**啊。: _0 o! K3 b  T& \1 o. e
四色猜想嘛,我用任意四种颜色岂不一样能说明问题。当然,如果我没有说明问题,用什么颜色也补救不了论证上的无能。
作者: syytarr    时间: 2010-6-25 15:01
你这个思路好像在一本图论书上看过,好像是人民邮电图灵系列的那本“图论导引”。当然其实是证不了四色定理的。不过能想到这个思路很不错了
作者: xiaoxing_n    时间: 2010-12-18 10:17
四色问题的几何逻辑证法
+ ?9 k8 s6 A& z前言:四色问题是拓扑学当中一个重要的命题,在当代数学中也占有相当的分量。对四色问题的研究已经由单一的图论拓扑研究延伸拓展到哲学,社会学领域。虽然在1976年,美国伊利诺大学的哈肯和阿佩尔利用计算机运行1200小时,做了100亿个判断,完成了四色问题的证明。但借助于计算机的机器证明始终无法让一些数学爱好者释怀。从拓扑几何逻辑上,经过严密的推演,完成四色的证明,成了很多数学发烧友热衷的题目。本文试图通过对相邻区域的公共边的结构类型进行分析,归纳。论证其等效命题:平面上四个两两相邻的区域中必有内包含区域。(此文的基本思想形成于94年7月份,当时委托我的同学——93年青岛大学的状元刘羽军找有关专业人士审证一下,不想一直未至可否。也就撂下了。这个月月初网上看到黎鸣先生与**就四色问题的相关报道,偶有来兴,整理之。)
, p- t/ g, I5 n摘要:本文的主要思路就是运用区域必闭合的定义,绕开具体的图形形状,大小的拘限,而考虑其相邻边的数量特征,公共交点分布与构成内含区域的可能性。假设存在五个互相邻的区域,那么五个便可分解为四相邻与另一个区域再相邻的问题。或者两个相邻区域与三个互相邻区域的再相邻问题。四个可分解为三相邻与一个的相邻问题考虑。但入手却是从小及大,以两个区域入手;推出两个相邻且无内包含区域的区域的特征:其相邻边的数量只能为一。再分析满足三相邻无内含区域的情况,(每两个区域相邻边为一,其公共边必须交于一点)经过层层枚举,排除所有情况,得出四相邻的特征(内包含)。由于内含区域的存在,五个就不可能。实际上,分析公共边的个数,公共边的交点,每一步都是在排除内含区域的存在,排除了所有可能之方式,推出四个区域若两两相邻,必有内含区域存在,那么假设的五相邻也就不可能存在了,问题成立。所以本文大部分一直在探讨.构筑无内含区域存在的区域相邻特征。当区域数为四时,内含必然区域出现。四色问题即成立。
, {) K9 [* q3 g" c7 H" b9 U/ M, q' y) r" V
作者: xiaoxing_n    时间: 2010-12-18 12:03
关键词:区域. 闭合. 公共边. 边线. 相邻. 内含区域。8 C7 D$ |; v( @! m4 ?$ }
引理 1:区域:即能够形成有效面积(面积大于0)的闭合的连通的曲线结构。任何区域必然是由连通的,不间断曲线(包括直线)所围成的有效面积结构。该区域上任何确定的两点A.B,都存在唯一边线A⌒B,B⌒A,构成该区域的所有边线。如图1.且A.B点一旦确定,A⌒B ,B⌒A有且唯一。即一个区域内的任何两点均有连续不间断的有效边线相连。% t. f# f2 }& T& _- g6 c& M

4 F+ z. d- Q  z5 ]- X
: L. n* o" j: W) z9 A    引理2:相邻:相邻即存在共同的公共边(公共边个数≥1)。两个区域相交于一点的不构成相邻关系。- B9 W! t& j/ h0 z5 O
引理3:两个相邻区域相邻公共边确定,就不可能存在第三个区域以这些公共边(或其部分)为界与这两个区域相邻。两个区域的公共边不能成为第三个区域的边线。或者也可以说两个区域的公共边上任何两点之间的边线不再构成其它区域的边线(排它性)。
6 ^1 l( m, M+ U. T' e7 x' b) `    引理4:被包含区域同构成包含区域外的其它区域不相邻- {9 c( @$ W' i# h2 p, V
分析具有相邻关系的两个区域的公共边组成结构,及区域的相互位置(包含与否)关系。从两个区域入手,推演至三个。因为被包含区域同构成包含区域外的其他区域不相邻,在排除了所有具有内包含区域的三个互相邻区域类型后,推出一个不存在内含区域的三个互相邻区域类型,再分析第四个相邻区域与这三个相邻区域的公共边组成分布,包含与否的关系。得出:若满足平面上四个区域两两相邻,则其中必有内包含区域。本文每一步都旨在构筑一种图形结构的类型,肯定一种类型,或否定一种类型。用类型来概括规范同属于这一类(具有此类性质)的所有图形。例如在两区域相邻的讨论中,用三种关系来归纳所有两相邻区域的构成性质((1)包含,(2)不包含,相邻边数为一,(3)不包含,相邻边数≥2)。每一张图都是为了代表一种类型,勾画它的结构类型性质。图例是为了更好的表达逻辑陈述的一种外在借助手段,每一步的推导不是对一个图形具体的观察,而是在对已知条件和相关引理的反复推断中证明一个存在(边线或闭合区域)的逻辑必然性。6 }  j! H8 }  c9 Y% f
  一.为证明不存在两两相邻的五个区域, 首先讨论任意两个相邻区域1,2的相邻结构情况:(1)包含。如图2.
0 ~2 H6 A) ~9 M6 _! k* C
3 d, |& M$ ~* P$ L(2)不包含相邻,有且只有一条公共边。如图3.( g$ y" b- |% q, \' h

7 v6 n; W) _  ?- M% u(3)不包含相邻,有两条以上公共边。如图4
! L$ Z. _& g9 x+ Y% D  O: { : Y' N0 W/ J7 r: |! x
(1)区域1被包含于区域2中,则区域1与区域2之外的任何其它区域不构成相邻关系。不满足五个区域两两相邻。此类型排除。/ B1 a5 ?8 T# g" z) I( f
(2)不包含相邻,有且只有一条公共边。
# b% S& r3 A* e' }9 k    (3)不包含相邻,有两条以上公共边。为便利起见,讨论两条公共边的情况:区域1与区域2相邻于A⌒B,C⌒D,根据引理1(一个区域内的任何两点均有连续不间断的有效边线相连),区域1内必存在边线B⌒C1连系B与C,(根据引理一,实际上也存在其反向边C1⌒B连系B与C。B⌒C1与C1⌒B共同构成区域1,根据已知条件:区域1与区域2相邻于A⌒B,C⌒D,及引理一:闭合区域中任何确定的两点A.B,都存在唯一边线A⌒B,B⌒A,构成该区域的所有边线.可易证:A⌒B,C⌒D非存于B⌒C1即存于C1⌒B。为方便叙述,在此以反向的C1⌒B代表含有相邻边的边线,由于含有相邻边的反向边对本文的推导构不成帮助,同时反向边线与正向边线两者的存在,逻辑上为共生互容关系,所以下文的讨论均直接就不含已知区域相邻边的边线展开。)且B⌒C1不是区域2的边线。(已知区域1与区域2相邻于A⌒B,C⌒D,)同理,区域2也存在边线B⌒C2连系B与C.由于 B⌒C1为区域1的边线 , B⌒C2为区域2的边线,且二者不构成重合或部分重合(根据已知的,确定的相邻边)。 B⌒C1与B⌒C2相交于B,C两点,则B⌒C1与B⌒C2构成有效闭合区域,该区域计为3。区域3与区域1相邻于B⌒C1,与区域2相邻于B⌒C2。根据引理3(两个相邻区域相邻公共边确定,就不可能存在第三个区域以这些公共边(或其部分)为界与这两个区域相邻。)区域3被区域1,区域2所包含。同理将公共边拓展到n个,可证有n-1个内包含区域存于区域1.2之中,根据被包含区域同构成包含区域外的其它区域不相邻,所以,两个相邻区域中若无内含区域,则其两个区域之间的公共边只能为一个。+ Q& I" x! d* I/ m( {
假设存在五个互相邻区域,那么其中的任意两个区域之间,只有两种可能:1无内含区域(有,且只一条公共边)。2有内含区域,且只为三个,因为假如为两个或一个,这两个或一个为内包含区域,根据引理4被包含区域同构成包含区域外的其他区域不相邻,就构不成五个相邻区域;并且这三个被包含的区域内再无被包含的子区域。3.这两个区域之间无完整的闭合区域,但能够与五相邻区域中其它一个或两个相邻区域共同包含另外两个或一个区域。就此本文分为两个部分探讨。1和2合为一个部分分析。3.的这种可能性另述。下面来分析三个无内含互相邻区域的特征,完成1和2的分析。
' E9 B, V( Y- _0 Z二.三区域相邻。(1)一区域包含其它两个相邻区域。如图5,或者相反,一区域被其它两个相邻区域包含。
$ C3 k+ G, @) H+ @% {7 r 4 c0 I' |. t* P- n2 l& {: M4 @9 I! e/ [
(2)三相邻区域中每两个区域的公共边只有一条,且交于一点。如图6.
& E7 I2 r( m3 T, v0 o
' f. @% \+ w6 k; R" y( i图六:三个两两相邻区域,各公共边为一且交于一点. ?2 j  Z; _9 u9 p& k" P
$ y0 j2 E/ g0 a) v, h) @8 W
(3-1):三相邻区域中每两个区域的公共边多于一条,且公共边不交于一点(为几段不连通的边线)。(3-2)三相邻区域中每两个区域的公共边多于一条,公共边交点为一(此种类型为不可能,因为两个区域的公共边多于一条,各公共边之间必然断开,即不可能出现公共交点为一的可能).直接排除。: u4 Z# H2 Y; P+ e
(4)三相邻区域中每两个区域的公共边只有一条,但不交于一点(公共边为三段或两段不连通的边线)如图7
& }: Q, \6 [* d9 u(1)一区域包含其它两个相邻区域,或被其它两区域包含。有内含区域,排除。
% P4 q& {( K" N7 @" l(3-1). (3-2)三相邻区域中每两个区域的公共边多于一条,根据两个区域相邻公共边多于一条,必然存在内包含区域,排除(3-1)及(3-2)。
5 O- y- X4 F% g2 M: d" v- y/ O下面分析(4):公共边数量为一,交点多于一的情况。为方便讨论,以公共边为不连通的三段为例。如图7:) R- a" c- O1 b1 {
/ A5 Y6 o4 W8 u5 ]' F" m
区域1相邻区域2为A⌒B,        区域2相邻区域3为C⌒D,区域1相邻区域3为E⌒F. 因为区域1相邻区域2为A⌒B, 区域1相邻区域3为E⌒F,B.E两点不重合,各为区域1之边线上的两点,根据引理1得:必然存在B⌒E.因为 A⌒B与E⌒F为区域1上不连续的两段边线,根据引理3得: A⌒B上无区域3之边线.E⌒F上没有区域2之边线。B.E为区域1上的两点, (根据已知条件:区域1相邻区域2为A⌒B, 区域1相邻区域3为E⌒F.) 则B⌒E上任何两点之间均无区域2.3的边线存在。同理必然存在E⌒C,C⌒B. 且E⌒C上无区域1.2之边线,C⌒B上无区域1.3之边线。如此可得由B⌒E,E⌒C,C⌒B构成的闭合有效面积之结构,计为4.区域4邻区域1为B⌒E,邻区域3为E⌒C,邻区域2为C⌒B。B⌒E,E⌒C,C⌒B连接闭合,根据引理3两个相邻区域相邻公共边确定,就不可能存在第三个区域以这些公共边(或其部分)为界与这两个区域相邻)。得:C⌒B。B⌒E,E⌒C,C⌒B构成的区域4与其它区域不相邻。其内包含于区域1,2,3之间,与任何第五个区域不相邻。排除这种相邻结构。同理可证相邻边交于二点。亦有内含区域存在,不再赘述。那么只剩下一种情况: (2)三相邻区域中每两个区域的公共边只有一条,且交于一点。如图6,这实际上就是判断三个互相邻区域中有无内含区域的一个特征(公共边多于一条,无公共交点必有内包含区域)。用前文思路可证之。
. i$ y: Q3 J( s# t( [) I对于这种三区域相邻结构。另外两个相邻区域与其再两两相邻,会有什么情况呢?三个两两相邻且无内包含区域再与两个互相邻区域两两相邻,那么这三个区域必与两个其中的一个两两相邻,下面来讨论这其中一个与另外三个的情况。如图8:
( y' @6 |; n( _: l7 W
8 k1 A$ z1 m( }& h- j区域1邻区域2为A⌒O,与区域3邻于B⌒O.区域2与区域3邻与O⌒C。区域4与区域1邻与S1⌒S2,与区域2邻与S3⌒S4.与区域3邻与S5⌒S6。因为区域1邻区域2为A⌒O,区域1与区域4邻与S1 ⌒S2.点S2.A为区域1上之两点,由引理1得:区域1之S2⌒A存在。根据已知条件:区域1邻区域2为A⌒O,与区域3邻于B⌒O. 区域4与区域1邻与S1⌒S2,可得:S2⌒A上无区域2.3.4的边线存在。同理得:区域2上之A⌒S3存在。且A⌒S3上无区域1.3.4的边线存在。因为S1⌒S2为区域1和4的公共边,S3⌒S4为区域2和4的公用边。得S2.S3为区域4边线上两点。根据引理1,必存在区域4上之边线S3⌒S2(S1⌒S2,S3⌒S4已以相邻边方式存在)。根据区域4与区域1.2.3已知的相邻边,得S3⌒S2上无区域1.2.3之边线。S2⌒A. A⌒S3. S3⌒S2构成闭合区域X.同理:S4⌒C,C⌒S5.S5⌒S4构成闭合区域Y,因为区域2邻区域1于A⌒O,邻区域X为A⌒S3.区域4于S3⌒S4.区域Y之于S4⌒C.区域3之于O⌒C.根据引理3:两个相邻区域相邻公共边确定,就不可能存在第三个区域以这些公共边(或其部分)为界与这两个区域相邻。则区域2为区域1.3.4.X.Y包含。同理得:区域X.Y皆为内包含区域。区域X内含于1.2.4之间。区域Y内含于2.3.4之间。根据假设:该平面存在五个互相邻区域。区域2为区域1.3.4.X.Y包含。则第五个区域必为X.Y中的一个,而区域X内含于1.2.4之间。与区域3不相邻。区域Y内含于2.3.4之间。与区域1不相邻。得出X.或Y不是五相邻区域中之一。所以假设错误。再分析另一种情况:假设点S2=S3.S4=S5。即区域4与区域1.2.3的相邻边为连续的不间断连线。根据以上推导思路亦可得:区域2内包含于区域1.3.4中。不再赘证。所以,若满足平面上四个区域两两相邻,则其中必有内包含区域。
  n; f& w. Z0 S  m四.两个区域之间无完整的闭合区域,但能够与五相邻区域中其它一个或两个相邻区域共同包含另外两个或一个区域。这个问题可分解为(1)三区域内含两区域。(2)四区域内含一区域的两种情况。(2)四区域包含一区域的情况可将四个互相邻再分解为三个和一个。证明四个中存在内包含区域,从而排除这种可能性。(1)三区域内含两区域。转化为内含之两区域(为方便分析,可令此两区域内无内含子区域)同其外围三区域中任意一个得问题。可得这三个区域必无内含区域,否则与其外两个必不相邻,与假设矛盾。这样就又转化为三个互相邻的无内含区域再与第四个区域相邻的问题;返上文所述,不再赘笔了。4 Y; G+ [! ~8 Z5 x
综上所述,根据引理4:被包含区域同构成包含区域的其他区域不相邻。得:不存在五个两两相邻的区域。
# @6 M+ H* y6 ]$ y; D) }本文实际上一直是根据设定的已知条件反复运用区域必闭合的性质,和引理3的排它性,区域必闭合:揭示隐含的边线。引理3排除不存在的边线(区域),逐步将命题引向不可能性。利用文中的四条引理,实际上根据引理1,3可以有更好的,更直观严密的,不同的逻辑表达方式,因为时间关系,不能再将它构筑的更好,请各位同仁指正。% O- \# z5 C" }* t

; u  _1 F& e( V6 V6 b徐积峰.10.10.21.夜
3 A  s- F0 k9 S' |9 e
作者: xiaoxing_n    时间: 2010-12-18 14:47
2.jpg 1.jpg http://www.madio.net/forum.php?mod=attachment&aid=ODk5MDd8OWE4ZjNmYWE4YmExZDRlNmJiMWU5NTFmZDRlMmZhYTh8MTc4MTAyMTUxNA%3D%3D&request=yes&_f=.jpg 7.jpg 6.jpg 5.jpg 4.jpg http://www.madio.net/forum.php?mod=attachment&aid=ODk5MDJ8N2ViODE1MDZmYzgyZWExOTBjMGMzOGIxNGY5OTRhMTd8MTc4MTAyMTUxNA%3D%3D&request=yes&_f=.jpg

3.jpg (38.79 KB, 下载次数: 299)

3.jpg

8.jpg (34.69 KB, 下载次数: 269)

8.jpg


作者: 杨帆    时间: 2011-1-29 13:44
这个思路在一本图论书上看过
作者: David402    时间: 2011-2-4 21:17
这个花了不少心思啊!佩服!
作者: longhai    时间: 2011-2-9 18:49
可是我没看懂啊!!貌似楼主没有考虑闭合三维体啊!
作者: weixinmaths    时间: 2011-6-21 11:46

作者: weixinmaths    时间: 2011-6-23 16:21

作者: 批饿的    时间: 2012-12-21 09:17
你帅爆了大哥虽然我没看你在讲什么




欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5