Теорема Шнайдера
Теорема Шнайдера — это описание планарных графов в терминах его . Теорема носит имя Вальтера Шнайдера, опубликовавшего её доказательство в 1989 году.

Частично упорядоченное множество инцидентных вершин formula_1 неориентированного графа "G" со множеством вершин и "V" и множеством рёбер "E" — это частично упорядоченное множество высоты 2, которое имеет formula_2 в качестве элементов. В этом частично упорядоченном множестве имеется отношения порядка formula_3, если "x" является вершиной, "y" является ребром и "x" является одним из концов дуги "y".

Порядковая размерность частично упорядоченного множества — это наименьшее число полных порядков, пересечение которых даёт данное частично упорядоченное множество. Такое множество порядков называется реализатором частично упорядоченного множества. Теорема Шнайдера утверждает, что граф "G" является планарным тогда и только тогда, когда порядковая размерность formula_1 не превосходит трёх.
Q547823
планарных графов
Concept
Q141488
неориентированного графа
Concept
Q1304193
вершин
Concept
Q131476
рёбер
Concept
Q474715
частично упорядоченное множество
Concept
Q431937
высоты
Concept
Q7431925
Теорема Шнайдера
MISC
Q7431925
Теорема Шнайдера
MISC
1989-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
в 1989
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
part of
studies