In graph theory, a nested triangles graph with n vertices is a planar graph formed from a sequence of n/3 triangles, by connecting pairs of corresponding vertices on consecutive triangles in the sequence. It can also be formed geometrically, by gluing together n/3 − 1 triangular prisms on their triangular faces.This graph, and graphs closely related to it, have been frequently used in graph drawing to prove lower bounds on the area requirements of various styles of drawings.
The nested triangles graph with two triangles is the graph of the triangular prism, and the nested triangles graph with three triangles is the graph of the triangular bifrustum.More generally, because the nested triangles graphs are planar and 3-vertex-connected, it follows from Steinitz's theorem that they all can be represented as convex polyhedra.
Another geometric representation of these graphs may be given by gluing triangular prisms end-to-end on their triangular faces; the number of nested triangles is one more than the number of glued prisms. However, using right prisms, this gluing process will cause the rectangular faces of adjacent prisms to be coplanar, so the result will not be strictly convex.
The nested triangles graph was named by, who used it to show that drawing an n-vertex planar graph in the integer lattice (with straight line-segment edges) may require a bounding box of size at least n/3 × n/3. In such a drawing, no matter which face of the graph is chosen to be the outer face, some subsequence of at least n/6 of the triangles must be drawn nested within each other, and within this part of the drawing each triangle must use two rows and two columns more than the next inner triangle. If the outer face is not allowed to be chosen as part of the drawing algorithm, but is specified as part of the input, the same argument shows that a bounding box of size 2n/3 × 2n/3 is necessary, and a drawing with these dimensions exists.
For drawings in which the outer face may be freely chosen, the area lower bound of may not be tight. showed that this graph, and any graph formed by adding diagonals to its quadrilaterals, can be drawn within a box of dimensions n/3 × 2n/3. When no extra diagonals are added the nested triangles graph itself can be drawn in even smaller area, approximately n/3 × n/2, as shown. Closing the gap between the 2n2/9 upper bound and the n2/9 lower bound on drawing area for completions of the nested triangle graph remains an open problem.[1]
Variants of the nested triangles graph have been used for many other lower bound constructions in graph drawing, for instance on area of rectangular visibility representations,[2] area of drawings with right angle crossings[3] or relative area of planar versus nonplanar drawings.[4]