Abstract
Due to data compression or low resolution, nearby vertices and edges of a graph drawn in the plane may be bundled to a common node or arc. We model such a “compromised” drawing by a piecewise linear map \(\varphi :G\rightarrow {\mathbb {R}}^2\). We wish to perturb \(\varphi \) by an arbitrarily small \(\varepsilon >0\) into a proper drawing (in which the vertices are distinct points, any two edges intersect in finitely many points, and no three edges have a common interior point) that minimizes the number of crossings. An \(\varepsilon \)-perturbation, for every \(\varepsilon >0\), is given by a piecewise linear map \(\psi _\varepsilon :G\rightarrow {\mathbb {R}}^2\) with \(\Vert \varphi -\psi _\varepsilon \Vert <\varepsilon \), where \(\Vert .\Vert \) is the uniform norm (i.e., \(\sup \) norm). We present a polynomial-time solution for this optimization problem when G is a cycle and the map \(\varphi \) has no spurs (i.e., no two adjacent edges are mapped to overlapping arcs). We also show that the problem becomes NP-complete (i) when G is an arbitrary graph and \(\varphi \) has no spurs, and (ii) when \(\varphi \) may have spurs and G is a cycle or a union of disjoint paths.
Similar content being viewed by others
Notes
Recall the definition of \(A_{u,v}\) from Sect. 2.
References
Akitaya HA, Aloupis G, Erickson J, Tóth CD (2017) Recognizing weakly simple polygons. Discrete Comput Geom 58(4):785–821. https://doi.org/10.1007/s00454-017-9918-3
Akitaya HA, Fulek R, Tóth CD (2018) Recognizing weak embeddings of graphs. In Proceedings 29th ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 274–292. SIAM. https://doi.org/10.1137/1.9781611975031.20
Angelini P, Da Lozzo G (2019) Clustered planarity with pipes. Algorithmica 81(6):2484–2526. https://doi.org/10.1007/s00453-018-00541-w
Angelini P, Da Lozzo G, Di Battista G, Frati F (2017) Strip planarity testing for embedded planar graphs. Algorithmica 77(4):1022–1059. https://doi.org/10.1007/s00453-016-0128-9
Cabello S (2013) Hardness of approximation for crossing number. Discrete Comput Geom 49(2):348–358. https://doi.org/10.1007/s00454-012-9440-6
Cabello S, Mohar B (2013) Adding one edge to planar graphs makes crossing number and 1-planarity hard. SIAM J Comput 42(5):1803–1829. https://doi.org/10.1137/120872310
Chang HC, Erickson J, Xu C (2015) Detecting weakly simple polygons. In Proceedings 26th ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1655–1670, https://doi.org/10.1137/1.9781611973730.110
Chuzhoy J (2011) An algorithm for the graph crossing number problem. In Proceedings of the 43rd ACM Symposium on Theory of Computing (STOC), pages 303–312. ACM, Preprint, arXiv:1012.0255 isbn = 978-1-4503-0691-1. https://doi.org/10.1145/1993636.1993678
Cortese PF, Di Battista G, Patrignani M, Pizzonia M (2005) Clustering cycles into cycles of clusters. J Graph Alg Appl 9(3):391–413. https://doi.org/10.7155/jgaa.00115
Cortese PF, Di Battista G, Patrignani M, Pizzonia M (2009) On embedding a cycle in a plane graph. Discrete Math 309(7):1856–1869. https://doi.org/10.1016/j.disc.2007.12.090
Even G, Guha S, Schieber B (2002) Improved approximations of crossings in graph drawings and VLSI layout areas. SIAM J Comput 32(1):231–252. https://doi.org/10.1137/S0097539700373520
Feng QW, Cohen RF, Eades P (1995a) How to draw a planar clustered graph. In: Du DZ, Li M (ed). Proceedings 1st Conference on Computing and combinatorics (COCOON), vol 959 of LNCS, pp 21–30. Springer, Berlin. https://doi.org/10.1007/BFb0030816
Feng QW, Cohen RF, Eades P (1995b) Planarity for clustered graphs. In: Paul S (ed) Proceedings 3rd European Symposium on Algorithms (ESA), vol 979 of LNCS, pp 213–226, Springer, Berlin https://doi.org/10.1007/3-540-60313-1_145
Fulek R, Kynčl J (2018) Hanani–Tutte for approximating maps of graphs. In Proceedings 34th Symposium on Computational Geometry (SoCG), vol 99 of LIPIcs, pp 39:1–39:15, Dagstuhl, Germany. https://doi.org/10.4230/LIPIcs.SoCG.2018.39
Garey MR, Johnson DS (1982) Crossing number is NP-complete. SIAM J Algebr Discrete Methods 4(3):312–316. https://doi.org/10.1137/0604033
Grohe M (2004) Computing crossing numbers in quadratic time. J Comput Syst Sci 68(2):285–302. https://doi.org/10.1016/j.jcss.2003.07.008
Hanani H (1934) Über wesentlich unplättbare Kurven im drei-dimensionalen Raume. Fundam Math 23:135–142. https://doi.org/10.4064/fm-23-1-135-142
Hass J, Scott P (1985) Intersections of curves on surfaces. Isr J Math 51(1):90–120. https://doi.org/10.1007/BF02772960
Hlinený P, Dernár M (2016) Crossing number is hard for kernelization. In 32nd International Symposium on Computational Geometry (SoCG), vol 51 of LIPIcs, pp 42:1–42:10. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2016.42
Jünger M, Leipert S, Mutzel P (1998) Level planarity testing in linear time. In: Whitesides SH (ed). Proceedings 6th Symposium on Graph Drawing (GD), vol 1547 of LNCS, pp 224–237. Springer, Berlin. https://doi.org/10.1007/3-540-37623-2_17
Kawarabayashi KI, Reed BA (2007) Computing crossing number in linear time. In Proceedings 39th ACM Symposium on Theory of Computing (STOC), pp 382–390. ACM. https://doi.org/10.1145/1250790.1250848
Repovš D, Skopenkov AB (1998) A deleted product criterion for approximability of maps by embeddings. Topol Appl 87(1):1–19. https://doi.org/10.1016/S0166-8641(97)00121-1
Skopenkov M (2003) On approximability by embeddings of cycles in the plane. Topol Appl 134(1):1–22. https://doi.org/10.1016/S0166-8641(03)00069-5
Tutte WT (1970) Toward a theory of crossing numbers. J Comb Theory 8:45–53. https://doi.org/10.1016/S0021-9800(70)80007-2
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research supported in part by the NSF awards DMS-1800734, CCF-1422311 and CCF-1423615, and the Austrian Science Fund (FWF): M2281-N35. A Preliminary version of this paper has been presented at the 26th International Symposium on Graph Drawing and Network Visualization (Barcelona, 2018)
Rights and permissions
About this article
Cite this article
Fulek, R., Tóth, C.D. Crossing minimization in perturbed drawings. J Comb Optim 40, 279–302 (2020). https://doi.org/10.1007/s10878-020-00586-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10878-020-00586-0