《希伍德猜想(Heawood conjecture)》是圖論的一個重要猜想,由希伍德(Heawood,P. J.)於1890年提出。
當時,希伍德為了解決四色問題建立了一個更為一般的命題.記X(S)為曲面S上的所有地圖色數之上界,希伍德猜想有下面的公式:
方括弧表示取整.四色猜想恰為E(S)=2的情形.這裡,方括弧表示取其內數之上整.因為,那時不知四色猜想是否成立,所以,在公式中排除了E<S>=2的情形.研究這個猜想成立與否占用了近一個世紀的時間,於20世紀60年代末才算得到了完滿的解決.結果是,除了克萊因瓶N:這個僅有的例外,希伍德猜想成立.因此,將如下已被證明的公式
稱為希伍德公式,或希伍德定理,或地圖著色定理.