Английская Википедия:Convex drawing

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description

Файл:Convex and strictly convex grid drawings.svg
Convex and strictly convex grid drawings of the same graph

In graph drawing, a convex drawing of a planar graph is a drawing that represents the vertices of the graph as points in the Euclidean plane and the edges as straight line segments, in such a way that all of the faces of the drawing (including the outer face) have a convex boundary. The boundary of a face may pass straight through one of the vertices of the graph without turning; a strictly convex drawing asks in addition that the face boundary turns at each vertex. That is, in a strictly convex drawing, each vertex of the graph is also a vertex of each convex polygon describing the shape of each incident face.

Every polyhedral graph has a strictly convex drawing,Шаблон:R for instance obtained as the Schlegel diagram of a convex polyhedron representing the graph. For these graphs, a convex (but not necessarily strictly convex) drawing can be found within a grid whose length on each side is linear in the number of vertices of the graph, in linear time.Шаблон:R However, strictly convex drawings may require larger grids; for instance, for any polyhedron such as a pyramid in which one face has a linear number of vertices, a strictly convex drawing of its graph requires a grid of cubic area.Шаблон:R A linear-time algorithm can find strictly convex drawings of polyhedral graphs in a grid whose length on each side is quadratic.Шаблон:R

Файл:Graph homeomorphism example 1.svg
Convex but not strictly convex drawing of the complete bipartite graph <math>K_{2,3}</math>

Other graphs that are not polyhedral can also have convex drawings, or strictly convex drawings. Some graphs, such as the complete bipartite graph <math>K_{2,3}</math>, have convex drawings but not strictly convex drawings. A combinatorial characterization for the graphs with convex drawings is known,Шаблон:R and they can be recognized in linear time,Шаблон:R but the grid dimensions needed for their drawings and an efficient algorithm for constructing small convex grid drawings of these graphs are not known in all cases.Шаблон:R

Convex drawings should be distinguished from convex embeddings, in which each vertex is required to lie within the convex hull of its neighboring vertices. Convex embeddings can exist in dimensions other than two, do not require their graph to be planar, and even for planar embeddings of planar graphs do not necessarily force the outer face to be convex.Шаблон:R

References

Шаблон:Reflist