antares

只需要四種不同的顏色，就可以為任何平面地圖染色，以保證任何兩塊相鄰的區(qū)域不會(huì)使用相同的顏色。

這個(gè)1852年提出的猜想看似簡單，卻足足花了124年的時(shí)間，才終于在計(jì)算機(jī)的輔助下得到證明。最終的證明里使用紙筆將所有可能的平面地圖分為1936類，并使用計(jì)算機(jī)進(jìn)行了長達(dá)1200個(gè)小時(shí)的計(jì)算，確認(rèn)了所有這些類別中最簡單的模式都可以用至多四種顏色染色。

在數(shù)學(xué)家眼里，四色定理無疑是美的，而計(jì)算機(jī)給出的證明——即使數(shù)學(xué)家們已經(jīng)用多種方式驗(yàn)證了證明的可靠性——無疑是丑陋的。不過換一種思路考慮，數(shù)學(xué)家們以紙筆跨越了無限到有限的鴻溝，才能用計(jì)算機(jī)完成冗長的計(jì)算，這也是一種魅力。