3 m% Z3 e- W7 U8 h& X 1890年,赫伍德构造了一个五轮构形(人们称赫伍德反例构形),指出肯普证明五轮构形的换色程序是不够完备的。但是他并没有深入研究这样的最简反例构形究竟有多少。我在论文《四色猜想的数学 归纳法证明》中确立了这样的最简反例构形一共有9个,并且给出两种四染色程序:前8个构形用赫伍德换色程序,第9个用张彧典换色程序。2 b- _2 D" l% Y
+ M. H* A7 @; X) T5 S( W 为了验证这个不可避免构形集的完备性,我特设重奖征集反例擂台,凡构造出别于9个构形及解法的最简构形者,经双方认可,可得到20万元人民币的奖金。联系电话0353--8082346. 18335385319.+ G6 k. Z4 A9 i
% I7 K& t' ]! T4 \& m1 d
2 s: e, V, |3 u) X4 i- D8 v/ b3 X/ L3 k' H$ \9 b
/ e/ y' r) V" }5 c% }- R& R T+ f