数学建模社区-数学中国

标题: <四色猜想的归纳法证明>中的HEAWOOD反例构形集 [打印本页]
作者: 张彧典    时间: 2012-8-17 11:34
标题: <四色猜想的归纳法证明>中的HEAWOOD反例构形集
       我在《四色猜想的归纳法证明》中，重点研究了heawood反例构形的结构特征! a: t/ m2 `$ r$ l1 e+ X& b" B0 [( [
' F: Z8 R9 P2 B# a( X
在此基础上提出了“符合heawood反例构形结构特征的构形究竟有多少”的疑问。1 f& q6 c8 @  Z% @

% n/ V- d' k4 {: @于是我首先建立了heawood反例构形的结构模型，然后在这样的模型中添加某些点2 p# M7 }+ r9 g" t% ?( D

+ v7 S) Z/ Y1 M4 ?2 j, G; Z+ l: r之间尚未确定相邻的连线（即边），使之成为标准的三角剖分图，最后用kempe链. L8 m4 V1 Q$ Q3 U. M

( r$ C0 v$ u$ F' P8 Y% D0 g1 S) y法以及heawood换色程序给之正确四染色。实践发现，不同连线所构成的不同# ^) i) ?" I! r- {- ]' M

8 W' b5 x& v2 v% U0 Sheawood反例构形（即不同的标准的三角剖分图），其正确四染色的程序次数不尽9 R: i% y  z% W1 j
& [. w* \  f# K- t. x
相同。
9 c, s* D$ R/ z2 e+ `
! j) @5 M5 v# c5 U* ^       是什么因素影响heawood构形正确四染色的换色次数呢？我带着这个问题反过
' i+ P% ~# l7 B4 g! N! Y) K6 ?" p% n7 n& T' l) K
来考察这几个heawood构形时发现：原来是任意两点的不同相邻关系在起作用，也
5 o. s  J- k  x7 f' G, q. Q3 o, `! p
就是四色地图中所固有的“6种色链的不同数量组合”在起作用。这6种色链的不
7 c& l8 W8 ~/ @8 R. d& R  b7 k( M& h$ \# s5 N) O
同数量组合确定了9个heawood构形中的前三个构形（实际有四个，只是其中两个; @! |( o9 S' `* ^/ e
# J9 u8 a" Y% |) f. P* }
虽然有色链的不同数量组合但是因有相同的换色程序而归纳为一个）。基于这样
- a! u7 J& ]4 Q# n3 v7 a" K2 }% p# D! M
的认识，我开始构造换色程序次数更多的构形，经过一年的时间终于构造了5个换) b1 S8 D% y0 M& Z6 {

; q% s( G: Z. C, L+ R3 E" ?色程序次数依次增多的heawood构形，而且确认换色程序次数的最大值是9次；同' H7 l: ~1 {0 \

+ x8 d9 Y: o' s' z6 E7 S时确立了影响这些构形的理论是“6种色链的不同相交组合”。到1999年，我把英# s' m! E9 ~" X& ?
" |: X6 W& A- B1 d$ F$ z
文论文寄给英国，很快收到LANCASTER大学A.clehoyd教授的复信以及寄来的《已
. o) U9 n8 v2 r: B  G- |7 j
5 F# t6 ^4 t' U" U5 k' X* x- w知的heawood范例》，文章中的范例2是我的9个构形所没有包含的，而且用发展了$ [+ R- F4 ~7 z9 P$ t* ^

* r$ W9 w3 C4 ]" P. u' a的heawood换色程序（8次换色程序）不能给这个构形正确四染色，因为发生周期
1 j# L3 u0 E9 `% A  e2 L8 v) L0 `: m! D4 N
循环。但是我很快发现这个构形之连续周期变化的四个构形有一个共同的染色特
' R3 ]4 T& t3 f" p8 J/ z
$ i$ _! R& u# I2 i) F# Y征即都含有A-B环，所以给出我的特殊解法“张彧典换色程序"两次即可给它们正
+ Q% R, l" ^2 p7 S) X. S) M2 ~
3 G: X1 x  y" d4 b, u+ g确四染色。但是它们的结构是否能够归于6种色链的不同数量组合或不同相交组合$ @2 e) b2 _- A4 l5 R1 H1 O

( o8 A5 n5 _( q' Q吗？又经过一年时间，在我发明一个《四色攻关》的游戏时终于发现它们是两条
: R! ~! a2 N1 U. Q, [8 e: k' A- `/ k& n* |( I/ `: {! \7 a, `
对称色链在heawood模型外的特殊对称相交组合（这样的构形就是敢峰先生在《四
6 y$ |  n0 Q) n" H  \% G
  t) X4 a9 c* V2 |色定理简证》中给出的那个经过20次色交换还原为初始染色的构形），然后对之
6 d% j/ y% X8 i2 d4 {- G: _, r4 O& q' ~2 A
进行拓扑变换，就变成范例2了。到此我完成了heawood构形集的创新构造工作5 J% c3 i" ^$ }6 C* E
。) [" Z/ T' }% F3 ]) V2 Q% t
       有人质疑：heawood构形的多少对证明四色猜想没有作用。我认为这样的认识; s' v7 @8 y* U( w- l! ]' E

- }; o  e: b9 D4 A' }# }9 A* J$ `- m是没有理论依据的。
4 @9 y5 g# ?4 U8 c- q" w3 W! J' W; r, f! b/ S7 Y
      众所周知，kempe证明一个区域与5个区域相邻时四色猜想成立是有漏洞的( |: r) N/ f1 H5 ~" \$ k
# Z! `7 i. n! q; d
。他只证明了我们所设双B夹A型构形之A-C、A-D两链不相交的简单情形，通过两
3 d- m: l: s% T3 \* t4 t' }7 [3 b) |/ D; g# R+ J7 B/ c1 X/ B; A
次独立的B-D、B-C二链之色交换给v正确四染色；但是，他没有考虑A-C、A-D两链
0 a5 q( I* T$ m" d+ Q9 ]" d  `0 W9 e
因为都含A色而相交的复杂情形。heawood构造了一个反例正是弥补了kempe构形的" Q" R1 V( H! A; B0 ^8 a/ y$ }

; I$ T" \3 u# V6 M/ S& N& C8 j5 K不足。如今，含25点的heawood反例构形已被我们（包括叶凤常、雷明等）简化为5 a5 K& X% j, f0 n; Y& N. F- Z

: [! `- @8 Y$ r0 C" K" u9点构形，同时通过3次色交换可以给v正确四染色。8 t# b& @: z$ |1 P  ~

4 _5 g* _8 T9 g( z) B9 c      从kempe的6点构形到heawood的9点反例构形，构形结构渐趋复杂，从kempe+ ~5 U5 L# @0 H0 N. V

; ^! l. v% T5 w8 u# Y的2次色交换到heawood的3次色交换，换色次数渐趋递增，我们不难推想：是否还
" j4 X# G( I, G
5 {) A5 f3 q7 T有比9点构形更复杂、色交换次数更多的heawood反例构形呢?这样的构形是否存在% k# b5 f1 R2 m
( Y& I# \) V) x8 W' ]: W
一个上限值？如果存在，kempe证明所漏掉的构形就是一个有底黑洞。找到了所有4 q8 G/ z" W) c- ^. G

3 J4 O% V0 [7 S9 d8 I2 u3 x漏洞构形，kempe证明不就完善了吗？我们正是基于这样的认识找到只含有9个6 }& J: F# J# ^, r9 C

7 Y: A9 B( E& U  ^1 z9 h6 @heawood反例构形集的。
6 y6 p/ ?! o0 d6 A* b8 Q7 \2 G2 n6 d' e8 q. {
        我们用四色地图中所固有的6种色链在构形模型中的不同数量组合和不同相交/ K, S5 l' u% S* y5 q+ g

& Z5 V3 W( ~# B; Q. K2 M组合理论所确立的9个HEAWOOD构形中，前8个构形应用发展了的KEMPE-HEAWOOD换: u4 @' D* U2 D
3 l% a& N1 x3 M7 U7 X+ I) t
色程序经2—9次依次增多的色交换就可以给它们正确四染色，最后一个构形可以% u; b3 E4 U! z" q

" h, C, g+ z! N应用我发现的特殊换色程序两次即可给它正确四染色。5 g+ {  s9 u0 V6 p8 |9 ^

5 l  ]' e0 l) E* e       这9个构形都是最简构形，即点、边数最少。为什么应是最简构形呢？这是因
3 m! \" ^- ]2 Y# F! W, w/ P* Q5 e& A
  _: x# e& X* a- q* D为，KEMPE认为：要想证明四色猜想，只需证明不可能存在最小五色地图即可。这
( j, D! p6 [8 K/ s3 A$ h& Z/ ]. F* i3 ?# Z  L9 {+ ~
是与他利用欧拉公式证明任何正规地图都不可避免地含有“一国与二、三、四、* H- Q* v5 D. |  `

3 y* w6 G- ]* {五个国家相邻”这四种最简构形的科学结论所形成的思想相关的。HEAWOOD成功证
9 q) S3 f% R+ C3 F; B9 ^: O0 T4 N) @3 R5 e
明五色定理就是以这样的思想作指导的。有的人不全面了解这样的背景，就妄加
' b1 S; D! w, Q  F
6 S6 @+ i6 k. Z评论HEAWOOD证明五色定理是错误的。也有的人非要通过证明“一国与任意多个国) Z2 R4 C- M2 c
; \( z9 ]4 z' f6 D; r
家相邻”的构形证明四色猜想，我想这种脱离前人已有成果的创新恐怕是徒劳的
) L5 ^- L+ v, V3 g* e2 d  L( B7 X1 P1 x7 [$ k2 a, d. C
。
+ y# l0 i7 k8 T9 T      值得庆幸的是，我们的9个构形中竟然包含了跨度100年的两个重要反例：$ p7 B4 K+ l' Q9 v& D
! u3 D! @8 V1 ^3 u' {7 i! n
一个是1890年的HEAWOOD反例，一个是1992年的HOLROYD-MILLER反例；甚至还包括  w5 o8 [3 g# K; ?# M$ @

7 b% K2 L! \4 h& c6 W+ D. V了汉诺维尔大学希什的三个约化障碍构形。
作者: lillianxiong    时间: 2012-8-17 14:06
和数模有什么关系呢
作者: hbdkfk2    时间: 2012-8-19 09:06
嗯  值得思考的问题！！！！！！！！！！！！！



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