||
尊敬的四色问题专家:您好! 1890年,赫伍德构造了一个五轮构形(人们称赫伍德反例构形),指出肯普证明五轮构形的换色程序是不够完备的。但是他并没有深入研究这样的最简反例构形究竟有多少。我在论文《四色猜想的归纳法证明》中确立了这样的最简反例构形一共有9个,并且给出两种四染色程序:前8个构形用赫伍德换色程序,第9个用张彧典换色程序。 去年,我在完成《四色猜想的数学归纳法证明》的同时,发现美国的阿沛尔和哈肯机器证明四色猜想时对肯普所建立的不可避免集中第四类构形的改进有重复,于是用我的论文中的证明思路做了简化分析,写了“与《阿沛尔-哈肯证明四色定理》商榷”,发表于《数学学习与研究》2011(21)(搜狐博文改为《Wernicke第四不可避免构形的简化》),同时将两篇论文发表在“张彧典搜狐博客”中。 为了验证这个不可避免构形集的完备性,我特设重奖征集反例擂台,凡构造出别于9个构形及解法的最简构形者,经双方认可,可得到20万元人民币的奖金。联系电话0353--8082346(宅电)18335385319(手机)。 |
Powered by Discuz! X2.5 © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 ) 论坛法律顾问:王兆丰
GMT+8, 2025-8-13 06:21 , Processed in 0.286963 second(s), 28 queries .