Untangling two systems of noncrossing curves
2013 (English)In: Graph Drawing: 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers, Springer, 2013, 472-483 p.Conference paper (Refereed)
We consider two systems (α1,...,αm) and (β1,...,βn) of curves drawn on a compact two-dimensional surface ℳ with boundary. Each αi and each βj is either an arc meeting the boundary of ℳ 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 ℳ; more precisely, we seek an homeomorphism φ: ℳ → ℳ fixing the boundary of ℳ 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 ℳ 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 ℳ 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.
Place, publisher, year, edition, pages
Springer, 2013. 472-483 p.
, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743 ; 8242 LNCS
Curves on 2-manifolds, Lickorish's theorem, Simultaneous planar drawings
Other Mathematics Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-141003DOI: 10.1007/978-3-319-03841-4-41ScopusID: 2-s2.0-84891862406ISBN: 978-331903840-7OAI: oai:DiVA.org:kth-141003DiVA: diva2:693761
21st International Symposium on Graph Drawing, GD 2013; Bordeaux; France; 23 September 2013 through 25 September 2013
QC 201402052014-02-052014-02-052014-02-05Bibliographically approved