The 2-page crossing number of
Around 1958, Hill described how to draw the complete graph with [Z(n) :=1/4\lfloor \frac{n}{2}\rfloor \lfloor \frac{n-1}{2}\rfloor \lfloor \frac{n-2}{2}% \rfloor \lfloor \frac{n-3}{2}\rfloor] crossings, and conjectured that the crossing number $\crg (K_{n})$ of is exactly Z(n). This is also known as Guy's conjecture as he later popularized it. Towards the end of the century, substantially different drawings of with Z(n) crossings were found. These drawings are \emph{2-page book drawings}, that is, drawings where all the vertices are on a line (the spine) and each edge is fully contained in one of the two half-planes (pages) defined by . The \emph{2-page crossing number} of , denoted by , is the minimum number of crossings determined by a 2-page book drawing of . Since $\crg(K_{n}) \leν_{2}(K_{n})$ and , a natural step towards Hill's Conjecture is the %(formally) weaker conjecture , popularized by Vrt'o. %As far as we know, this natural %conjecture was first raised by Imrich Vrt'o in 2007. %Prior to this paper, results known for were basically %the same as for $\crg (K_n)$. Here In this paper we develop a novel and innovative technique to investigate crossings in drawings of , and use it to prove that . To this end, we extend the inherent geometric definition of -edges for finite sets of points in the plane to topological drawings of . We also introduce the concept of -edges as a useful generalization of -edges and extend a powerful theorem that expresses the number of crossings in a rectilinear drawing of in terms of its number of -edges to the topological setting.