In graph theory, Schnyder's theorem is a characterization of planar graphs in terms of the order dimension of their incidence posets. It is named after Walter Schnyder, who published its proof in 1989.
The incidence poset P(G) of an undirected graph G with vertex set V and edge set E is the partially ordered set of height 2 that has V ∪ E as its elements. In this partial order, there is an order relation x < y when x is a vertex, y is an edge, and x is one of the two endpoints of y.
The order dimension of a partial order is the smallest number of total orderings whose intersection is the given partial order; such a set of orderings is called a realizer of the partial order. Schnyder's theorem states that a graph G is planar if and only if the order dimension of P(G) is at most three.
This theorem has been generalized by Brightwell and Trotter (1993, 1997) to a tight bound on the dimension of the height-three partially ordered sets formed analogously from the vertices, edges and faces of a convex polyhedron, or more generally of an embedded planar graph: in both cases, the order dimension of the poset is at most four. However, this result cannot be generalized to higher-dimensional convex polytopes, as there exist four-dimensional polytopes whose face lattices have unbounded order dimension.
Even more generally, for abstract simplicial complexes, the order dimension of the face poset of the complex is at most 1 + d, where d is the minimum dimension of a Euclidean space in which the complex has a geometric realization (Ossona de Mendez 1999, 2002).
As Schnyder observes, the incidence poset of a graph G has order dimension two if and only if the graph is a path or a subgraph of a path. For, the only possible realizer for the incidence poset consists of two total orders that (when restricted to the graph's vertices) are the reverse of each other; otherwise, the intersection of the two orders would include an order relation between two vertices, which is not allowed for incidence posets. But two total orders on the vertices that are the reverse of each other can realize any subgraph of a path, by including the edges of the path in the ordering immediately following the later of the two edge endpoints.
- Brightwell, G.; Trotter, W. T. (1993), "The order dimension of convex polytopes", SIAM Journal on Discrete Mathematics 6 (2): 230–245, doi:10.1137/0406018, MR 1215230.
- Brightwell, G.; Trotter, W. T. (1997), "The order dimension of planar maps", SIAM Journal on Discrete Mathematics 10 (4): 515–528, doi:10.1137/S0895480192238561, MR 1477654.
- Ossona de Mendez, P. (1999), "Geometric realization of simplicial complexes", in Kratochvil, J., Proc. Int. Symp. Graph Drawing (GD 1999), Lecture Notes in Computer Science 1731, Springer-Verlag, pp. 323–332, doi:10.1007/3-540-46648-7_33, MR 1856785.
- Ossona de Mendez, P. (2002), "Realization of posets", Journal of Graph Algorithms and Applications 6 (1): 149–153, MR 1898206.
- Schnyder, W. (1989), "Planar graphs and poset dimension", Order 5: 323–343, doi:10.1007/BF00353652, MR 1010382.
- Spencer, J. (1971), "Minimal scrambling sets of simple orders", Acta Mathematica Academiae Scientiarum Hungaricae 22: 349–353, doi:10.1007/bf01896428, MR 0292722.