antares

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

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

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