Applications of the crossing number

We show that any graph of <italic>n</italic> vertices that can be drawn in the plane with no <italic>k</italic>+1 pairwise crossing edges has at most <italic>c<subscrpt>k</subscrpt>n</italic>log<supscrpt>2<italic>k</italic>−2</supscrpt><italic>n</italic> edges. This gives a partial answer to a dual version of a well-known problem of Avital-Hanani, Erdo&huml;s, Kupitz, Perles, and others. We also construct two point sets {<italic>p</italic><subscrpt>1</subscrpt>,…,<italic>p<subscrpt>n</subscrpt></italic>}, {<italic>q</italic><subscrpt>1</subscrpt>,…,<italic>q<subscrpt>n</subscrpt></italic>} in the plane such that any piecewise linear one-to-one mapping <italic>f</italic>:R<supscrpt>2</supscrpt>→R<supscrpt>2</supscrpt> with <italic>f(p<subscrpt>i</subscrpt>)=q<subscrpt>i</subscrpt></italic> (1≤<italic>i</italic>≤<italic>n</italic>) is composed of at least &OHgr;(<italic>n</italic><supscrpt>2</supscrpt>) linear pieces. It follows from a recent result of Souvaine and Wenger that this bound is asymptotically tight. Both proofs are based on a relation between the crossing number and the bisection width of a graph.

[1]  Gary L. Miller,et al.  Planar Separators and the Euclidean Norm , 1990, SIGAL International Symposium on Algorithms.

[2]  Vasilis Capoyleas,et al.  A turán-type theorem on chords of a convex polygon , 1992, J. Comb. Theory, Ser. B.

[3]  F. Thomas Leighton,et al.  Complexity Issues in VLSI , 1983 .

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

[5]  Diane L. Souvaine,et al.  Constructing piecewise linear homeomorphisms , 1994 .

[6]  Boris Aronov,et al.  On Compatible Triangulations of Simple Polygons , 1993, Comput. Geom..

[7]  János Pach,et al.  Some geometric applications of Dilworth's theorem , 1993, SCG '93.

[8]  Yakov Shimeon Kupitz Extremal problems in combinatorial geometry , 1979 .

[9]  Alan Saalfeld Joint triangulations and triangulation maps , 1987, SCG '87.

[10]  Krzysztof Diks,et al.  Edge Separators for Planar Graphs and Their Applications , 1988, MFCS.

[11]  Gary L. Miller,et al.  Finding small simple cycle separators for 2-connected planar graphs. , 1984, STOC '84.

[12]  Wayne Goddard,et al.  Forcing Disjoint Segments in the Plane , 1996, Eur. J. Comb..

[13]  P. Erdös On Sets of Distances of n Points , 1946 .

[14]  R. Tarjan,et al.  A Separator Theorem for Planar Graphs , 1977 .

[15]  Noga Alon,et al.  Disjoint edges in geometric graphs , 1989, Discret. Comput. Geom..

[16]  Jeffrey D Ullma Computational Aspects of VLSI , 1984 .

[17]  János Pach Notes on Geometric Graph Theory , 1990, Discrete and Computational Geometry.