四色定理

antares

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

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

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