The Rectilinear Crossing Number of K10 is 62

A drawing of a graph G in the plane is said to be a rectilinear drawing of G if the edges are required to be line segments (as opposed to Jordan curves). We assume no three vertices are collinear. The rectilinear crossing number of G is the fewest number of edge crossings attainable over all rectilinear drawings of G. Thanks to Richard Guy, exact values of the rectilinear crossing number of K_n, the complete graph on n vertices, for n = 3,...,9, are known (Guy 1972, White and Beineke 1978). Since 1971, thanks to the work of David Singer, the rectilinear crossing number of K_10 has been known to be either 61 or 62, a deceptively innocent and tantalizing statement. The difficulty of determining the correct value is evidenced by the fact that Singer''s result has withstood the test of time. In this paper we use a purely combinatorial argument to show that the rectilinear crossing number of K_10 is 62. Moreover, using this result, we improve an asymptotic lower bound for a related problem. Finally, we close with some new and old open questions that were provoked, in part, by the results of this paper, and by the tangled history of the problem itself.

[1]  Nathaniel Dean,et al.  Bounds for rectilinear crossing numbers , 1993, J. Graph Theory.

[2]  Edward R. Scheinerman,et al.  The Rectilinear Crossing Number of a Complete Graph and Sylvester's "Four Point Problem" of Geometri , 1994 .

[3]  R. Guy Crossing numbers of graphs , 1972 .

[4]  Jonathan L. Gross,et al.  Topological Graph Theory , 1987, Handbook of Graph Theory.

[5]  de Ng Dick Bruijn A combinatorial problem , 1946 .

[6]  V. Sós,et al.  On a problem of K. Zarankiewicz , 1954 .

[7]  Daniel Bienstock Some provably hard crossing number problems , 1991, Discret. Comput. Geom..

[8]  David S. Johnson,et al.  Crossing Number is NP-Complete , 1983 .

[9]  J. Pach,et al.  Thirteen problems on crossing numbers , 2000 .

[10]  Daniel J. Kleitman A note on the parity of the number of crossings of a graph , 1976, J. Comb. Theory, Ser. B.

[11]  Franz Aurenhammer,et al.  Enumerating Order Types for Small Point Sets with Applications , 2002, Order.

[12]  Daniel J. Kleitman,et al.  The crossing number of K5,n , 1970 .

[13]  Dan Archdeacon,et al.  On the parity of crossing numbers , 1988, J. Graph Theory.

[14]  F. Harary,et al.  On the Number of Crossings in a Complete Graph , 1963, Proceedings of the Edinburgh Mathematical Society.

[15]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[16]  Franz Aurenhammer,et al.  Enumerating order types for small sets with applications , 2001, SCG '01.

[17]  H. F. Jensen,et al.  An upper bound for the rectilinear crossing number of the complete graph , 1971 .

[18]  R. Bruce Richter,et al.  RELATIONS BETWEEN CROSSING NUMBERS OF COMPLETE AND COMPLETE BIPARTITE GRAPHS , 1997 .

[19]  H. S. Wilf Combinatorics, Geometry and Probability: On Crossing Numbers, and some Unsolved Problems , 1997 .

[20]  Stephane Durocher,et al.  Toward the rectilinear crossing number of Kn: new drawings, upper bounds, and asymptotics , 2000, Discret. Math..

[21]  Eric W. Weisstein Rectilinear Crossing Number , 1999 .

[22]  M. Gardner Knotted doughnuts and other mathematical entertainments , 1986 .

[23]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..