四色臆测的漠视来自英国。1852年,毕业于伦敦大学的弗南西斯·格想里来到一家科研单元搞舆图着色使命时,发现了一种意思意思意思意思的情景:“看来,每幅舆图皆不错用四种神采着色,使得有共同界限的国度皆被着上不同的神采。”这个情景能不成从数学上加以严格阐明注解呢?他和在大学念书的弟弟格里斯决心试一试。手足二东说念主为阐明注解这一问题而使用的稿纸仍是堆了一大叠,然而接头使命莫得进展。 1852年10月23日,他的弟弟就这个问题的阐明注解讨教了他的熟悉、着名数学家德·摩尔根,摩尔根也莫得能找到贬责这个问题的门道,于是写信向我方的好友、着名数学家哈密顿爵士讨教。哈密顿接到摩尔根的信后,对四色问题进行论证。但直到1865年哈密顿骤一火铁心自拍偷拍 论坛,问题也莫得大略贬责。 1872年自拍偷拍 论坛,英国其时最着名的数学家凯利阐扬向伦敦数学学会漠视了这个问题,于是四色臆测成了寰宇数学界暖和的问题。寰宇上好多一流的数学家皆纷繁干预了四色臆测的大会战。1878~1880年两年间,着名的讼师兼数学家肯普(Alfred Kempe)和泰勒(Peter Guthrie Tait)两东说念主分裂提交了阐明注解四色臆测的论文,文书阐明注解了四色定理,各人皆以为四色臆测从此也就贬责了。谁知到1890年,希伍德在肯普的著述中找到一处不可见原的失实。不外,让数学家感到欣忭的是,
大色网希伍德莫得透顶含糊肯普论文的价值,哄骗肯普发明的圭表,希伍德阐明注解了较弱的五色定理。等于说对舆图着色,用五种神采就够了。 高速数字筹划机的发明,促使更巨额学家对“四色问题”的接头。从1936年就初始接头四色臆测的海克,公开声称四色臆测可用寻找可约图形的不可幸免组来阐明注解。他的学生丢雷写了一个筹划圭表,海克不仅能用这圭表产生的数据来阐明注解构形可约,并且形色可约构形的圭表是从转换舆图成为数学上称为“对偶”形入部下手。 他把每个国度的皆门标出来,然后把相邻国度的皆门用一条向上界限的铁路贯穿起来,除皆门(称为极点)及铁路(称为弧或边)外,擦掉其他通盘的线,剩下的称为原图的对偶图。到了六十年代后期,海克引进一个近似于在电网罗中移动电荷的圭表来求构形的不可幸免组。在海克的接头中第一次以颇不熟悉的形式出现的“放电法”,这对以后对于不可幸免组的接头是个关键,亦然阐明注解四色定理的中心身分。 电子筹划机问世以后,由于演算速率飞速升迁,加之东说念主机对话的出现,大大加速了对四色臆测阐明注解的进度。好意思国伊利诺大学哈肯在1970年入部下手改进“放电经由”,后与阿佩尔互助编制一个很好的圭表。就在1976年6月,他们在好意思国伊利诺斯大学的两台不同的电子筹划机上,用了1200个小时,作了100亿判断,终于完成了四色定理的阐明注解,震荡了寰宇。 这是一百多年来诱导许巨额学家与数学酷好者的大事,当两位数学家将他们的接头效果发表的工夫,当地的邮局在本日发出的通盘邮件上皆加盖了“四色迷漫”的特制邮戳,以庆祝这一贫瘠获取贬责。 “四色问题”的被阐明注解仅贬责了一个历时100多年的贫瘠,并且成为数学史上一系列新想维的起先。在“四色问题”的接头经由中,不少新的数学表面随之产生,也发展了很巨额学筹划手段。如将舆图的着色问题化为图论问题,丰富了图论的执行。不仅如斯,“四色问题”在有用地打算航空班机日程表,打算筹划机的编码圭表上皆起到了推进作用。 不外不少数学家并不郁勃于筹划机取得的成立,他们以为应该有一种简捷明快的书面阐明注解圭表。直到现时,仍有不少数学家和数学酷好者在寻找更简略的阐明注解圭表。
小电影网站