В 1890 году Хевуд доказал для всех поверхностей, кроме сферы , что не более
Цвета необходимы для раскраски любого графа, вложенного в поверхность эйлеровой характеристики или рода для ориентируемой поверхности. [1]
Число стало известно как число Хивуда в 1976 году.
Франклин доказал, что хроматическое число графа, вложенного в бутылку Клейна, может достигать , но никогда не превосходит . [2] Позднее в работах Герхарда Рингеля , Дж. У. Т. Янга и других авторов было доказано, что полный граф с вершинами может быть вложен в поверхность, если только он не является бутылкой Клейна . [3] Это установило, что оценка Хивуда не может быть улучшена.
Например, полный граф на вершинах можно вложить в тор следующим образом:
^ PJ Heawood (1890), «Теоремы о раскраске карт», Quarterly J. Math. , 24 : 322–339
^ П. Франклин (1934), «Проблема шести красок», Журнал математики и физики , 13 (1–4): 363–379, doi :10.1002/sapm1934131363
^ Герхард Рингель; Дж. У. Т. Янгс (1968), «Решение проблемы раскраски карт Хивуда», Труды Национальной академии наук , 60 (2): 438–445, Bibcode : 1968PNAS...60..438R, doi : 10.1073/pnas.60.2.438 , ISSN 0027-8424, PMC 225066 , PMID 16591648
^ Кеннет Аппель; Вольфганг Хакен (1977), «Каждая плоская карта может быть раскрашена четырьмя красками. I. Разрядка», Illinois Journal of Mathematics , 21 (3): 429–490, MR 0543792
^ Кеннет Аппель; Вольфганг Хакен; Джон Кох (1977), «Каждая плоская карта может быть раскрашена четырьмя красками. II. Приводимость», Illinois Journal of Mathematics , 21 (3): 491–567, doi : 10.1215/ijm/1256049012 , MR 0543793