Graph Thickness
   HOME

TheInfoList



OR:

In graph theory, the thickness of a graph is the minimum number of
planar graphs In graph theory, a planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cross ...
into which the edges of can be partitioned. That is, if there exists a collection of planar graphs, all having the same set of vertices, such that the union of these planar graphs is , then the thickness of is at most .. In other words, the thickness of a graph is the minimum number of planar subgraphs whose union equals to graph .Christian A. Duncan
On Graph Thickness, Geometric Thickness, and Separator Theorems
CCCG 2009, Vancouver, BC, August 17–19, 2009
Thus, a planar graph has thickness 1. Graphs of thickness 2 are called biplanar graphs. The concept of thickness originates in the Earth–Moon problem on the chromatic number of biplanar graphs, posed in 1959 by
Gerhard Ringel Gerhard Ringel (October 28, 1919 in Kollnbrunn, Austria – June 24, 2008 in Santa Cruz, California) was a German mathematician. He was one of the pioneers in graph theory and contributed significantly to the proof of the Heawood conjecture ...
, and on a related 1962 conjecture of
Frank Harary Frank Harary (March 11, 1921 – January 4, 2005) was an American mathematician, who specialized in graph theory. He was widely recognized as one of the "fathers" of modern graph theory. Harary was a master of clear exposition and, together with ...
: For any graph on 9 points, either itself or its complementary graph is non-planar. The problem is equivalent to determining whether the complete graph is biplanar (it is not, and the conjecture is true). A comprehensive survey on the state of the arts of the topic as of 1998 was written by
Petra Mutzel Petra Mutzel is a German computer scientist, a University Professor of computer science at the University of Bonn. Her research is in the areas of algorithm engineering, graph drawing and combinatorial optimization. Education and career Mutzel e ...
, Thomas Odenthal and Mark Scharbrodt.


Specific graphs

The thickness of the complete graph on vertices, , is :\left \lfloor \frac \right\rfloor, except when for which the thickness is three. With some exceptions, the thickness of a complete bipartite graph is generally: :\left \lceil \frac \right \rceil.


Properties

Every forest is planar, and every planar graph can be partitioned into at most three forests. Therefore, the thickness of any graph is at most equal to the arboricity of the same graph (the minimum number of forests into which it can be partitioned) and at least equal to the arboricity divided by three. The graphs of maximum degree d have thickness at most \lceil d/2\rceil. This cannot be improved: for a d-regular graph with
girth Girth may refer to: ;Mathematics * Girth (functional analysis), the length of the shortest centrally symmetric simple closed curve on the unit sphere of a Banach space * Girth (geometry), the perimeter of a parallel projection of a shape * Girth ...
at least 2d, the high girth forces any planar subgraph to be sparse, causing its thickness to be exactly \lceil d/2\rceil. Graphs of thickness t with n vertices have at most t(3n-6) edges. Because this gives them average degree less than 6t, their
degeneracy Degeneracy, degenerate, or degeneration may refer to: Arts and entertainment * ''Degenerate'' (album), a 2010 album by the British band Trigger the Bloodshed * Degenerate art, a term adopted in the 1920s by the Nazi Party in Germany to descri ...
is at most 6t-1 and their chromatic number is at most 6t. Here, the degeneracy can be defined as the maximum, over subgraphs of the given graph, of the minimum degree within the subgraph. In the other direction, if a graph has degeneracy D then its arboricity and thickness are at most D. One can find an ordering of the vertices of the graph in which each vertex has at most D neighbors that come later than it in the ordering, and assigning these edges to D distinct subgraphs produces a partition of the graph into D trees, which are planar graphs. Even in the case t=2, the precise value of the chromatic number is unknown; this is
Gerhard Ringel Gerhard Ringel (October 28, 1919 in Kollnbrunn, Austria – June 24, 2008 in Santa Cruz, California) was a German mathematician. He was one of the pioneers in graph theory and contributed significantly to the proof of the Heawood conjecture ...
's Earth–Moon problem. An example of Thom Sulanke shows that, for t=2, at least 9 colors are needed.


Related problems

Thickness is closely related to the problem of simultaneous embedding. If two or more planar graphs all share the same vertex set, then it is possible to embed all these graphs in the plane, with the edges drawn as curves, so that each vertex has the same position in all the different drawings. However, it may not be possible to construct such a drawing while keeping the edges drawn as straight
line segment In geometry, a line segment is a part of a straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. The length of a line segment is given by the Euclidean distance between ...
s. A different graph invariant, the rectilinear thickness or geometric thickness of a graph , counts the smallest number of planar graphs into which can be decomposed subject to the restriction that all of these graphs can be drawn simultaneously with straight edges. The book thickness adds an additional restriction, that all of the vertices be drawn in convex position, forming a circular layout of the graph. However, in contrast to the situation for arboricity and degeneracy, no two of these three thickness parameters are always within a constant factor of each other.


Computational complexity

It is
NP-hard In computational complexity theory, NP-hardness ( non-deterministic polynomial-time hardness) is the defining property of a class of problems that are informally "at least as hard as the hardest problems in NP". A simple example of an NP-hard pr ...
to compute the thickness of a given graph, and NP-complete to test whether the thickness is at most two.. However, the connection to arboricity allows the thickness to be approximated to within an
approximation ratio An approximation is anything that is intentionally similar but not exactly equal to something else. Etymology and usage The word ''approximation'' is derived from Latin ''approximatus'', from ''proximus'' meaning ''very near'' and the prefix ' ...
of 3 in
polynomial time In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by ...
.


References

{{reflist Graph invariants Planar graphs