馬丁·加德納 (1975) 開了一個愚人節玩笑,聲稱上面(左圖)所示的 110 個區域的地圖需要五種顏色,並且構成四色定理的反例(參見 Wilson 2004,第 14-15 頁;Chartrand 和 Zhang,第 23 頁,2008 年;Posamentier 和 Lehmann,圖 1.13,2013 年)。然而,由於四色定理是正確的(儘管直到 1976 年才被證明),因此該地圖必定是(並且是)四色可著色的(上圖右圖),正如 Wagon (1998;1999,第 535-536 頁) 明確著色所證明的那樣,該著色是使用 Wolfram 語言演算法獲得的。
正如加德納所說,“作為一項公共服務,我將簡要評論 1974 年的六項重大發現,這些發現由於某種原因未充分報告給科學界和公眾。” 去年純數學領域最轟動的發現無疑是找到了臭名昭著的四色地圖猜想的反例。正如本部門的所有讀者都必須知道的那樣,該定理是指四種顏色對於對所有平面地圖進行著色既是必要又是充分的,以便沒有兩個具有共同邊界的區域是相同的顏色。很容易構造只需要四種顏色的地圖,拓撲學家很久以前就證明五種顏色足以對任何地圖進行著色。然而,彌合這一差距讓數學界最偉大的頭腦都難以捉摸。大多數數學家都相信四色定理是正確的,並且最終會被證明。少數人認為它可能是哥德爾不確定的。多倫多大學的幾何學家 H.S.M. 考克斯特幾乎孤身一人地相信這個猜想是錯誤的。考克斯特的洞察力現在得到了證實。1974 年 11 月,紐約州瓦平格斯福爾斯的圖論學家威廉·麥格雷戈構造了一張 110 個區域的地圖,該地圖無法用少於五種顏色進行著色。麥格雷戈的技術報告將於 1978 年發表在《組合理論雜誌》B 系列上。” (威廉·麥格雷戈是一位真正的數學家,他建立了這張地圖,並允許加德納將其用作愚人節的惡作劇;MathNexus 2006 年。)