Advertisement

Untangling Two Systems of Noncrossing Curves

  • Jiří Matoušek
  • Eric Sedgwick
  • Martin Tancer
  • Uli Wagner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8242)

Abstract

We consider two systems (α 1,…,α m ) and (β 1,…,β n ) of curves drawn on a compact two-dimensional surface \(\mathcal{M}\) with boundary. Each α i and each β j is either an arc meeting the boundary of \(\mathcal{M}\) at its two endpoints, or a closed curve. The α i are pairwise disjoint except for possibly sharing endpoints, and similarly for the β j . We want to “untangle” the β j from the α i by a self-homeomorphism of \(\mathcal{M}\); more precisely, we seek an homeomorphism \(\varphi\:\mathcal{M}\to\mathcal{M}\) fixing the boundary of \(\mathcal{M}\) pointwise such that the total number of crossings of the α i with the ϕ(β j ) is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds.

We prove that if \(\mathcal{M}\) is planar, i.e., a sphere with h ≥ 0 boundary components (“holes”), then O(mn) crossings can be achieved (independently of h), which is asymptotically tight, as an easy lower bound shows. In general, for an arbitrary (orientable or nonorientable) surface \(\mathcal{M}\) with h holes and of (orientable or nonorientable) genus g ≥ 0, we obtain an O((m + n)4) upper bound, again independent of h and g.

Keywords

Curves on 2-manifolds simultaneous planar drawings Lickorish’s theorem 

References

  1. [BKR12]
    Bläsius, T., Kobourov, S.G., Rutter, I.: Simultaneous embedding of planar graphs (2012) (preprint), http://arxiv.org/abs/1204.5853
  2. [EK05]
    Erten, C., Kobourov, S.G.: Simultaneous embedding of planar graphs with few bends. J. Graph Algorithms Appl. 9(3), 347–364 (2005) (electronic)MathSciNetCrossRefMATHGoogle Scholar
  3. [FM11]
    Farb, B., Margalit, D.: A primer on mapping class groups. Princeton University Press, Princeton (2011)MATHGoogle Scholar
  4. [GHR13]
    Geelen, J., Huynh, T., Richter, R.B.: Explicit bounds for graph minors (May 2013) (preprint), http://arxiv.org/abs/1305.1451
  5. [Huy10]
    Huynh, T.: Removing intersections of curves in surfaces. Mathoverflow (2010), http://mathoverflow.net/questions/33963/removing-intersections-of-curves-in-surfaces/33970#33970
  6. [JS03]
    Jaco, W., Sedgwick, E.: Decision problems in the space of Dehn fillings. Topology 42(4), 845–906 (2003)MathSciNetCrossRefMATHGoogle Scholar
  7. [KM91]
    Kratochvíl, J., Matoušek, J.: String graphs requiring huge representations. J. Combin. Theory Ser. B 53(1), 1–4 (1991)MathSciNetCrossRefMATHGoogle Scholar
  8. [KW02]
    Kaufmann, M., Wiese, R.: Embedding vertices at points: few bends suffice for planar graphs. J. Graph Algorithms Appl. 6(1), 115–129 (2002); (electronic) Graph drawing and representations, Prague (1999) MathSciNetCrossRefMATHGoogle Scholar
  9. [Lic62]
    Lickorish, W.B.R.: A representation of orientable combinatorial 3-manifolds. Ann. Math (2) 76, 531–540 (1962)MathSciNetCrossRefMATHGoogle Scholar
  10. [MT01]
    Mohar, B., Thomassen, C.: Graphs on Surfaces. Johns Hopkins University Press, Baltimore (2001)MATHGoogle Scholar
  11. [MTW11]
    Matoušek, J., Tancer, M., Wagner, U.: Hardness of embedding simplicial complexes in ℝd. J. Eur. Math. Soc. 13(2), 259–295 (2011)MathSciNetCrossRefMATHGoogle Scholar
  12. [SSŠ03]
    Schaefer, M., Sedgwick, E., Štefankovič, D.: Recognizing string graphs in NP. J. Comput. Syst. Sci. 67(2), 365–380 (2003)CrossRefMATHGoogle Scholar
  13. [Sti80]
    Stillwell, J.: Classical Topology and Combinatorial Group Theory. Springer, New York (1980)CrossRefMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Jiří Matoušek
    • 1
    • 2
  • Eric Sedgwick
    • 3
  • Martin Tancer
    • 1
    • 4
  • Uli Wagner
    • 5
  1. 1.Department of Applied MathematicsCharles UniversityPraha 1Czech Republic
  2. 2.Institute of Theoretical Computer ScienceETH ZürichZürichSwitzerland
  3. 3.School of CTIDePaul UniversityChicagoUSA
  4. 4.Institutionen för matematikKTHStockholmSweden
  5. 5.IST AustriaKlosterneuburgAustria

Personalised recommendations