Boxicity

In graph theory, boxicity is a graph invariant, introduced by Fred S. Roberts in 1969. The boxicity of a graph is the minimum dimension in which a given graph can be represented as an intersection graph of axis-parallel boxes. That is, there must exist a one-to-one correspondence between the vertices of the graph and a set of boxes, such that two boxes intersect if and only if there is an edge connecting the corresponding vertices. The figure shows a graph with six vertices, and a representation of this graph as an intersection graph of rectangles (two-dimensional boxes). This graph cannot be represented as an intersection graph of boxes in any lower dimension, so its boxicity is two. showed that the graph with 2n vertices formed by removing a perfect matching from a complete graph on 2n vertices has boxicity exactly n: each pair of disconnected vertices must be represented by boxes that are separated in a different dimension than each other pair. A box representation of this graph with dimension exactly n can be found by thickening each of the 2n facets of an n-dimensional hypercube into a box. Because of these results, this graph has been called the Roberts graph, although it is better known as the cocktail party graph and it can also be understood as the Turán graph T(2n,n). A graph has boxicity at most one if and only if it is an interval graph; the boxicity of an arbitrary graph G is the minimum number of interval graphs on the same set of vertices such that the intersection of the edges sets of the interval graphs is G. Every outerplanar graph has boxicity at most two, and every planar graph has boxicity at most three. If a bipartite graph has boxicity two, it can be represented as an intersection graph of axis-parallel line segments in the plane. proved that the boxicity of a bipartite graph G is within of a factor 2 of the order dimension of the height-two partially ordered set associated to G as follows: the set of minimal elements corresponds to one partite set of G, the set of maximal elements corresponds to the second partite set of G, and two elements are comparable if the corresponding vertices are adjacent in G.