Теорема Шнайдера
Теорема Шнайдера — это описание планарных графов в терминах порядковой размерности его частично упорядоченного множества инцидентности вершин. Теорема носит имя Вальтера Шнайдера, опубликовавшего её доказательство в 1989 году.
Частично упорядоченное множество инцидентных вершин неориентированного графа G со множеством вершин и V и множеством рёбер E — это частично упорядоченное множество высоты 2, которое имеет в качестве элементов. В этом частично упорядоченном множестве имеется отношения порядка , если x является вершиной, y является ребром и x является одним из концов дуги y.
Порядковая размерность частично упорядоченного множества — это наименьшее число полных порядков, пересечение которых даёт данное частично упорядоченное множество. Такое множество порядков называется реализатором частично упорядоченного множества. Теорема Шнайдера утверждает, что граф G является планарным тогда и только тогда, когда порядковая размерность не превосходит трёх.
Расширения
Теорему обобщили Брайтвел и Троттер[1][2] для получения точной оценки размерности частично упорядоченных множеств высоты три, образованных аналогичным образом из вершин рёбер и граней выпуклого многогранника, или, более обще, вложенного планарного графа. В обоих случаях порядковая размерность частично упорядоченное множество не превосходит четырёх. Однако результат не может быть обобщён на многомерные выпуклые многогранники, так как существуют четырёхмерные многогранники, решётки граней которых имеют неограниченную порядковую размерность.
Для абстрактных симплициальных комплексов, порядковая размерность частично упорядоченного множества граней комплекса не превосходит 1 + d, где d — минимальная размерность евклидова пространства, в котором комплекс имеет геометрическую реализацию[3][4].
Другие графы
Как заметил Шнайдер, частично упорядоченное множество инцидентности вершин графа G имеет порядковую размерность два тогда и только тогда, когда граф является путём или подграфом пути. Чтобы частично упорядоченное множество инцидентности вершин имело порядковую размерность два, необходимо, чтобы реализатор состоял из двух полных порядков, которые (ограниченные на вершины графа) обратны друг другу. Любые другие два порядка давали бы пересечение, которое включает отношение порядка между двумя вершинами, что недопустимо для частично упорядоченного множества инцидентности вершин. Для этих двух порядков на вершинах ребро между двумя соседними вершинами может быть включено в порядок путём размещения его непосредственно за последним из двух конечных вершин дуги, но никакие другие рёбра включить нельзя.
Если граф можно раскрасить в четыре цвета, то его частично упорядоченное множество инцидентности вершин имеет порядковую размерность, не превосходящую четырёх (Schnyder 1989).
Частично упорядоченное множество инцидентности вершин полного графа с n вершинами имеет порядковую размерность [5].
Примечания
Литература
- Brightwell G., Trotter W. T. The order dimension of convex polytopes // SIAM Journal on Discrete Mathematics. — 1993. — Т. 6, вып. 2. — С. 230–245. — doi:10.1137/0406018.
- Brightwell G., Trotter W. T. The order dimension of planar maps // SIAM Journal on Discrete Mathematics. — 1997. — Т. 10, вып. 4. — С. 515–528. — doi:10.1137/S0895480192238561.
- Ossona de Mendez P. Geometric realization of simplicial complexes // Proc. Int. Symp. Graph Drawing (GD 1999) / Kratochvil J.. — Springer-Verlag, 1999. — Т. 1731. — С. 323–332. — (Lecture Notes in Computer Science). — doi:10.1007/3-540-46648-7_33.
- Ossona de Mendez P. Realization of posets // Journal of Graph Algorithms and Applications. — 2002. — Т. 6, вып. 1. — С. 149–153.
- Schnyder W. Planar graphs and poset dimension // Order. — 1989. — Т. 5. — С. 323–343. — doi:10.1007/BF00353652.
- Spencer J. Minimal scrambling sets of simple orders // Acta Mathematica Academiae Scientiarum Hungaricae. — 1971. — Т. 22. — С. 349–353. — doi:10.1007/bf01896428.