The Heawood graph forms a subdivision of the torus with seven mutually adjacent regions, showing that this bound is tight. |
Граф Хивуда образует разбиение тора на семь взаимно смежных областей, что показывает, что граница точна. |
The Schlegel diagram of a convex polyhedron represents its vertices and edges as points and line segments in the Euclidean plane, forming a subdivision of an outer convex polygon into smaller convex polygons. |
Диаграмма Шлегеля выпуклого многогранника представляет его вершины и рёбра как точки и отрезки на евклидовой плоскости, образуя разбиение внешнего выпуклого многоугольника на более мелкие выпуклые многоугольники. |
Therefore, as the formula states, any subdivision of the torus into regions can be colored using at most seven colors. |
Таким образом, как следует из формулы, любое разбиение тора на области может быть выкрашено в семь цветов. |