9 y) d( M2 G) j. g知的heawood范例》,文章中的范例2是我的9个构形所没有包含的,而且用发展了 : P$ d. ^0 f4 f/ `5 W' x6 ^ K7 {* B3 O L
的heawood换色程序(8次换色程序)不能给这个构形正确四染色,因为发生周期8 T. W. U: G' b; d3 S
4 g Q0 }3 v8 u, w循环。但是我很快发现这个构形之连续周期变化的四个构形有一个共同的染色特 # K( J" c, H6 ^. ` . d2 ^3 b, |& `6 z征即都含有A-B环,所以给出我的特殊解法“张彧典换色程序"两次即可给它们正! y5 T1 X2 K" c6 d* l
. }6 H8 X& R- R. C e; z) Z/ M3 W
确四染色。但是它们的结构是否能够归于6种色链的不同数量组合或不同相交组合 * w3 W( A- f+ t* |# `& u9 L% F5 ~* m& b$ v
吗?又经过一年时间,在我发明一个《四色攻关》的游戏时终于发现它们是两条 ) j) x" X3 z% V! a/ H8 o# S) J: H- S3 x( u9 d
对称色链在heawood模型外的特殊对称相交组合(这样的构形就是敢峰先生在《四 8 S2 ^ t. C. M u- V \7 K% d 9 f0 T; G3 Z* V) U1 |9 T色定理简证》中给出的那个经过20次色交换还原为初始染色的构形),然后对之 & ]5 v1 O9 ]* x9 s. L! }. f2 ?9 Z 4 b4 R- c" t% H) q进行拓扑变换,就变成范例2了。到此我完成了heawood构形集的创新构造工作2 D# w' i+ d$ T+ P/ `" \6 c
。 + v. R# x) a7 S( Z' s1 C; P 有人质疑:heawood构形的多少对证明四色猜想没有作用。我认为这样的认识 ( e/ `. D4 J& ~% a - A: B( [- ~7 K. F2 _/ ~是没有理论依据的。 0 I9 A& s2 f' O+ A0 M. x8 ~+ q4 D. ^0 f, a
众所周知,kempe证明一个区域与5个区域相邻时四色猜想成立是有漏洞的8 T- n% p) ]1 I' |4 U
; }$ D' _# r/ Q2 u。他只证明了我们所设双B夹A型构形之A-C、A-D两链不相交的简单情形,通过两9 o- q, e* a. w$ h
( A9 J# ]3 L. F8 j) Q7 E% N( G' @
次独立的B-D、B-C二链之色交换给v正确四染色;但是,他没有考虑A-C、A-D两链 $ d) A! a. y& G' `5 `% p ]) j3 f$ b" k' C) q) Y9 B
因为都含A色而相交的复杂情形。heawood构造了一个反例正是弥补了kempe构形的 - L. O1 I* G0 V3 v7 }7 z2 O( Z( x
不足。如今,含25点的heawood反例构形已被我们(包括叶凤常、雷明等)简化为- U' o: ?' a0 ~4 V$ M* V5 t- t