不斷縮小著反例可能存在的範圍，但始終未能覆蓋所有地圖。隨著區域數量的增加，不可免構形的數量呈指數級增長，僅靠人工計算已難以窮儘。此時，新興的計算機技術為這一百年難題帶來了新的曙光——通過編程讓計算機自動篩選不可免構形並驗證其可約性，成為突破瓶頸的唯一選擇。
第二章四色猜想的數學基礎：從地圖到圖論的抽象轉化
2.1核心定義的嚴格化：什麼是“地圖”與“著色”
要理解四色猜想的基本原理，首先需要對“地圖”和“著色”進行嚴格的數學定義，避免因直觀認知導致的邏輯模糊。在四色猜想的研究中，地圖需滿足以下三個條件：
1.區域連通性：每個區域（對應現實中的國家或地區）必須是連通的，即不能出現“飛地”（一個區域被另一個區域完全包圍且不相連的部分）。若存在飛地，可將飛地視為獨立區域單獨著色，再與主體區域保持同色，因此飛地不影響四色猜想的本質結論。
2.鄰接關係定義：兩個區域相鄰的充要條件是它們共享一條長度非零的邊界（即公共邊），僅共享一個或多個孤立點（如三個國家在一個頂點交彙）的區域不視為相鄰。這一定義避免了“餅圖式”地圖（多個區域共享一個中心點）導致的無限著色需求。
3.有限性約束：地圖的區域數量為有限個，且每個區域的邊界由有限條線段組成，排除了具有無限周長的“病態區域”（這類區域可能需要超過四種顏色）。
而“著色”的數學本質是一個映射關係：設顏色集合為{1,2,3,4}，著色函數φ將每個區域R映射到顏色集合中的一個元素，即φ(R)∈{1,2,3,4}，且對任意兩個相鄰區域R?和R?，滿足φ(R?)=φ(R?)。四色猜想的核心就是證明：對於所有滿足上述條件的平麵地圖，這樣的著色函數一定存在。
2.2關鍵轉化：地圖的對偶圖與平麵圖著色
四色猜想之所以能從一個地理直觀問題轉化為嚴格的數學問題，核心在於“對偶圖”這一概念的引入。通過對偶圖轉化，地圖著色問題被等價為圖論中的“平麵圖頂點著色問題”，而後者擁有成熟的理論工具（如歐拉公式、圖的平麵性判定定理）可供利用。
對偶圖的構造方法極為簡潔，遵循“區域→頂點、鄰接→邊”的對應規則：
-對於地圖中的每個區域，在其內部放置一個點（稱為頂點）；
請到𝐨𝐨𝐩.𝐭𝐰查看完整章節
-對於每一對相鄰的區域，用一條線段連接它們對應的頂點（稱為邊），且這條線段僅穿過兩個區域的公共邊界，不與其他邊交叉。
通過這一轉化，原地圖的著色問題等價於對偶圖的“頂點著色問題”：給對偶圖的每個頂點分配顏色，使得相鄰頂點（由區域鄰接關係轉化而來）的顏色不同，且所需顏色總數不超過四種。此時，四色猜想可重新表述為：任何簡單平麵圖（對偶圖必為簡單平麵圖）的頂點色數（最小著色所需顏色數）不超過4。
這一轉化的關鍵意義在於，它將地理空間中的區域關係抽象為數學空間中的圖結構，使得四色猜想能夠借助圖論的公理和定理進行嚴格證明。更重要的是，圖論中的“平麵圖”概念具有明確的拓撲性質，這為後續利用歐拉公式推導平麵圖的結構約束奠定了基礎。
2.3歐拉公式：平麵圖的結構性約束
要證明平麵圖的頂點色數不超過4，首先需要揭示平麵圖的內在結構約束——任意平麵圖都存在度數（頂點連接的邊數）不超過5的頂點。這一結論的證明核心的是圖論中著名的歐拉公式，它建立了平麵圖的頂點數（V）、邊數（E）和區域數（F）之間的本質聯係。
歐拉公式的原始形式為：對於連通的簡單平麵圖（無多重邊、無自環），滿足V-E+F=2。這一公式是拓撲學的基礎定理之一，反映了平麵嵌入的本質特征——無論如何繪製平麵圖，其頂點、邊、區域之間的數量關係始終保持不變。
利用歐拉公式，可推導出平麵圖的關鍵性質：任意連通簡單平麵圖中，必存在一個頂點的度數≤5。推導過程如下：
；E)3/\2(≤F即，F3≥E2足滿E數邊與F數域區此因，域區個兩於屬好恰邊條每且，成圍邊條3由少至域區個每於由.1
；6-V3≤E得簡化，2≥E)3/\2(+E-V得可，2=F+E-V式公拉歐入代E)3/\2(≤F將.2
；V3≥E即，V6≥E2足滿E數邊與V數點頂此因，點頂個兩應對邊條每於由，6≥都數度的點頂有所中圖麵平設假.3
。點頂的5≤數度在存必中圖麵平即，立成不設假此因，盾矛6-V3≤E與V3≥E但.4
。想猜色四足滿都圖麵平有所則，的染可色四是圖麵平的節環弱薄些這含包明證能若——理處的”節環弱薄“些這對為化轉題問色著的圖麵平雜複將可，法納歸學數過通。）形雛的形構免可不即（”節環弱薄“的”5≤數度“在存都圖麵平何任明表它，石基心核的明證想猜色四是質性一這
集備完免可不與形構約可、形構：念概心核4.2
：集備完免可不和形構約可、形構括包念概鍵關其，法方化約可形構——架框心核的明證想猜色四了出提步一進們家學數，質性一這”點頂的5≤數度在存“的導推式公拉歐於基
。）形構的數度高更慮考需無，點頂的6≥數度在存不於由（”形構度5“……”形構度2“”形構度1“為分可形構，數度的點頂心中據根。構結部局的成組域區和邊、點頂鄰相其及點頂心中個一由中圖麵平指：）noitarugifnoC（形構-
，立成不想猜色四若——設假鍵關的中法證反是”圖色五小最“。形構約可為其稱則，中）圖麵平的少最數域區且色著色顏種五要需即（”圖色五小最“在現出法無形構個一若：）noitarugifnoCelbicudeR（形構約可-
