Scheinerman's conjecture

From HandWiki
Short description: Mathematics theorem

In mathematics, Scheinerman's conjecture, now a theorem, states that every planar graph is the intersection graph of a set of line segments in the plane. This conjecture was formulated by E. R. Scheinerman in his Ph.D. thesis Scheinerman|1984}}|(1984), following earlier results that every planar graph could be represented as the intersection graph of a set of simple curves in the plane (Ehrlich Even). It was proven by Jeremie Chalopin and Daniel Gonçalves (2009).

For instance, the graph G shown below to the left may be represented as the intersection graph of the set of segments shown below to the right. Here, vertices of G are represented by straight line segments and edges of G are represented by intersection points.

Intersect1.png   Intersect2.png

Scheinerman also conjectured that segments with only three directions would be sufficient to represent 3-colorable graphs, and (West 1991) conjectured that analogously every planar graph could be represented using four directions. If a graph is represented with segments having only k directions and no two segments belong to the same line, then the graph can be colored using k colors, one color for each direction. Therefore, if every planar graph can be represented in this way with only four directions, then the four color theorem follows.

(Hartman Newman) and (de Fraysseix Ossona de Mendez) proved that every bipartite planar graph can be represented as an intersection graph of horizontal and vertical line segments; for this result see also (Czyzowicz Kranakis). (De Castro Cobos) proved that every triangle-free planar graph can be represented as an intersection graph of line segments having only three directions; this result implies Grötzsch's theorem (Grötzsch 1959) that triangle-free planar graphs can be colored with three colors. (de Fraysseix Ossona de Mendez) proved that if a planar graph G can be 4-colored in such a way that no separating cycle uses all four colors, then G has a representation as an intersection graph of segments.

(Chalopin Gonçalves) proved that planar graphs are in 1-STRING, the class of intersection graphs of simple curves in the plane that intersect each other in at most one crossing point per pair. This class is intermediate between the intersection graphs of segments appearing in Scheinerman's conjecture and the intersection graphs of unrestricted simple curves from the result of Ehrlich et al. It can also be viewed as a generalization of the circle packing theorem, which shows the same result when curves are allowed to intersect in a tangent. The proof of the conjecture by (Chalopin Gonçalves) was based on an improvement of this result.

References