Число Хивуда

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Число Хивуда поверхности — это определённая верхняя граница для максимального числа цветов, необходимых для раскраски любого графа, вложенного в поверхность. В 1890 году Хивуд доказал для всех поверхностей, за исключением сферы, что не более чем

[math]\displaystyle{ H(S)=\left\lfloor\frac{7+\sqrt{49-24 e(S)}}{2}\right\rfloor }[/math]

цветов необходимо для раскраски любого графа, вложенного в поверхность с эйлеровой характеристикой [math]\displaystyle{ e(S) }[/math][1]. Случай сферы соответствует гипотезе о четырёх красках, которую доказали Кеннет Аппель[en] и Вольфганг Хакен в 1976 году[2][3]. Число [math]\displaystyle{ H(S) }[/math] стало известно как число Хивуда в 1976 году.

Франклин доказал, что хроматическое число графа, вложенного в бутылку Кляйна, может достигать [math]\displaystyle{ 6 }[/math], но никогда его не превосходит[4]. Позднее было доказано в работах Герхарда Рингеля и Дж. У. Т. Янгса, что полный граф с [math]\displaystyle{ H(S) }[/math] вершинами можно вложить в поверхность [math]\displaystyle{ S }[/math], за исключением случая, когда [math]\displaystyle{ S }[/math] является бутылкой Кляйна[5]. Это показывает, что граница Хивуда не может быть улучшена.

Например, полный граф с [math]\displaystyle{ 7 }[/math] вершинами можно вложить в тор следующим образом:

Примечания

  1. Heawood, 1890, с. 322–339.
  2. Appel, Haken, 1977, с. 429–490.
  3. Appel, Haken, Koch, 1977, с. 491–567.
  4. Franklin, 1934, с. 363–379.
  5. Ringel, Youngs, 1968, с. 438–445.

Литература