四色推断的提议来自英国。1852年，毕业于伦敦大学的弗南西斯·格念念里来到一家科研单元搞舆图着色职责时，发现了一种酷好的表象：“看来，每幅舆图皆不错用四种情绪着色，使得有共同限度的国度皆被着上不同的情绪。”这个表象能不成从数学上加以严格讲明呢？他和在大学念书的弟弟格里斯决心试一试。昆仲二东说念主为讲明这一问题而使用的稿纸照旧堆了一大叠，关联词接洽职责莫得推崇。 1852年10月23日，他的弟弟就这个问题的讲明求教了他的诚笃、著明数学家德·摩尔根，摩尔根也莫得能找到惩处这个问题的阶梯，于是写信向我方的好友、著明数学家哈密顿爵士求教。哈密顿接到摩尔根的信后，对四色问题进行论证。但直到1865年哈密顿死灭完了文轩 探花，问题也莫得大约惩处。 1872年文轩 探花，英国其时最著明的数学家凯利致密向伦敦数学学会提议了这个问题，于是四色推断成了宇宙数学界存眷的问题。宇宙上许多一流的数学家皆纷纷投入了四色推断的大会战。1878～1880年两年间，著明的讼师兼数学家肯普(Alfred Kempe)和泰勒(Peter Guthrie Tait)两东说念主折柳提交了讲明四色推断的论文，晓示讲明了四色定理，寰球皆以为四色推断从此也就惩处了。谁知到1890年，希伍德在肯普的著述中找到一处不可原谅的造作。不外，让数学家感到应承的是，希伍德莫得透顶含糊肯普论文的价值，诈欺肯普发明的措施，希伍德讲明了较弱的五色定理。即是说对舆图着色，用五种情绪就够了。 高速数字想象机的发明，促使更多量学家对“四色问题”的接洽。从1936年就启动接洽四色推断的海克，公开声称四色推断可用寻找可约图形的不可幸免组来讲明。他的学生丢雷写了一个想象法子，海克不仅能用这法子产生的数据来讲明构形可约，何况花样可约构形的措施是从改良舆图成为数学上称为“对偶”形入辖下手。 他把每个国度的皆门标出来，然后把相邻国度的皆门用一条卓著限度的铁路一语气起来，除皆门(称为及其)及铁路(称为弧或边)外，擦掉其他统统的线，剩下的称为原图的对偶图。到了六十年代后期，海克引进一个肖似于在电采聚合转移电荷的措施来求构形的不可幸免组。在海克的接洽中第一次以颇不老到的时势出现的“放电法”，这对以后对于不可幸免组的接洽是个重要，亦然讲明四色定理的中心身分。 电子想象机问世以后，由于演算速率马上擢升，加之东说念主机对话的出现，大大加速了对四色推断讲明的程度。好意思国伊利诺大学哈肯在1970年入辖下手翻新“放电经由”，后与阿佩尔互助编制一个很好的法子。就在1976年6月，他们在好意思国伊利诺斯大学的两台不同的电子想象机上，用了1200个小时，作了100亿判断，终于完成了四色定理的讲明，漂泊了宇宙。 这是一百多年来招引许多量学家与数学爱重者的大事，当两位数学家将他们的接洽后果发表的技巧，当地的邮局在今日发出的统统邮件上皆加盖了“四色弥散”的特制邮戳，以庆祝这一迂曲得回惩处。 “四色问题”的被讲明仅惩处了一个历时100多年的迂曲，何况成为数学史上一系列新念念维的着手。在“四色问题”的接洽经由中，不少新的数学表面随之产生，也发展了许多量学想象手段。如将舆图的着色问题化为图论问题，丰富了图论的施行。不仅如斯，“四色问题”在灵验地想象航空班机日程表，想象想象机的编码法子上皆起到了推进作用。 不外不少数学家并不得志于想象机取得的设立，他们以为应该有一种简捷明快的书面讲明措施。直到当前，仍有不少数学家和数学爱重者在寻找更浮松的讲明措施。
忘忧草社区在线www
