Abstract
Given two planar graphs \(G_1\) and \(G_2\) that share some vertices and edges, a simultaneous embedding with fixed edges (Sefe) is a pair of planar topological drawings \(\varGamma _i\) of \(G_i\), for \(i=1,2\), that coincide on the shared graph \(G_1 \cap G_2\). Despite much progress in the last years, the complexity of the corresponding decision problem is still open. This chapter surveys the developments in this area from the last decade. We first describe the recently discovered relations between the Sefe problem (which asks to decide whether a given pair of graphs admits a Sefe) and several other graph drawing problems, which show that Sefe is one of the most general problems in the context of planarity. Afterward, we survey algorithmic approaches to the Sefe problem, give an overview of recent results, and discuss their limitations. We close with a brief discussion of some recent variations of the simultaneous embedding problem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that both the drawing one seeks and the problem of deciding whether given input graphs admit such a drawing are called Sefe. This is a somewhat unfortunate double-meaning. On the other hand, the meaning is typically clear, and we follow this convention from the literature.
- 2.
Pach and Wenger [42] show that any planar graph with a fixed combinatorial embedding can be drawn with fixed vertex positions and a linear number of bends per edge. Fixing the positions of all vertices arbitrarily at distinct points in the plane and applying the result by Pach and Wenger independently for both graphs yields the desired drawing.
References
Angelini, P., Chaplick, S., Cornelsen, S., Da Lozzo, G., Di Battista, G., Eades, P., Kindermann, P., Kratochvíl, J., Lipp, F., Rutter, I.: Simultaneous orthogonal planarity. In: 24th International Symposium on Graph Drawing and Network Visualization (GD’16), vol. 9801 of Lecture Notes in Computer Science, pp. 532–545. Springer (2016)
Angelini, P., Da Lozzo, G.: SEFE = c-planarity? Comput. J. 59(12), 1831–1838 (2016)
Angelini, P., Da Lozzo, G., Di Battista, G., Frati, F., Patrignani, M., Rutter, I.: Testing cyclic level and simultaneous level planarity (2015). CoRR, arXiv:1510.08274
Angelini, P., Da Lozzo, G., Di Battista, G., Frati, F., Patrignani, M., Rutter, I.: Beyond level planarity. In: Hu, Y., Nöllenburg, M. (eds.) Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD’16), vol. 9801 of Lecture Notes in Computer Science, pp. 482–495. Springer (2016)
Angelini, P., Da Lozzo, G., Neuwirth, D.: Advancements on SEFE and partitioned book embedding problems. Theor. Comput. Sci. 575, 71–89 (2015)
Angelini, P., Di Battista, G., Frati, F.: Simultaneous embedding of embedded planar graphs. Int. J. Comput. Geometry Appl. 23(2), 93–126 (2013)
Angelini, P., Di Battista, G., Frati, F., Jelínek, V., Kratochvíl, J., Patrignani, M., Rutter, I.: Testing planarity of partially embedded graphs. ACM Trans. Algorithms 11(4), 32:1–32:42 (2015)
Angelini, P., Di Battista, G., Frati, F., Patrignani, M., Rutter, I.: Testing the simultaneous embeddability of two graphs whose intersection is a biconnected or a connected graph. J. Discrete Algorithms 14, 150–172 (2012)
Angelini, P., Lozzo, G.D.: Clustered planarity with pipes. Algorithmica 81(6), 2484–2526 (2019)
Argyriou, E.N., Bekos, M.A., Kaufmann, M., Symvonis, A.: Geometric RAC simultaneous drawings of graphs. J. Graph Algorithms Appl. 17(1), 11–34 (2013)
Bachmaier, C., Brandenburg, F.J., Forster, M.: Radial level planarity testing and embedding in linear time. J. Graph Algorithms Appl. 9(1), 53–97 (2005)
Bekos, M.A., van Dijk, T.C., Kindermann, P., Wolff, A.: Simultaneous drawing of planar graphs with right-angle crossings and few bends. J. Graph Algorithms Appl. 20(1), 133–158 (2016)
Bläsius, T., Karrer, A., Rutter, I.: Simultaneous embedding: edge orderings, relative positions, cutvertices. Algorithmica 80(4), 1214–1277 (2018)
Bläsius, T., Kobourov, S.G., Rutter, I.: Simultaneous embedding of planar graphs. In: Tamassia, R. (ed.) Handbook of Graph Drawing and Visualization, Discrete Mathematics and its Applications, pp. 349–373. CRC Press (2014)
Bläsius, T., Rutter, I.: Disconnectivity and relative positions in simultaneous embeddings. Comput. Geom. 48(6), 459–478 (2015)
Bläsius, T., Rutter, I.: Simultaneous PQ-ordering with applications to constrained embedding problems. ACM Trans. Algorithms 12(2), 16:1–16:46 (2016)
Booth, K.S., Lueker, G.S.: Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms. J. Comput. Syst. Sci. 13(3), 335–379 (1976)
Chan, T.M., Frati, F., Gutwenger, C., Lubiw, A., Mutzel, P., Schaefer, M.: Drawing partially embedded and simultaneously planar graphs. J. Graph Algorithms Appl. 19(2), 681–706 (2015)
Chimani, M., Jünger, M., Schulz, M.: Crossing minimization meets simultaneous drawing. In: Proceedings of the IEEE Pacific Visualization Symposium (PacificVis ’08), pp. 33–40. IEEE (2008)
Chojnacki, C.: Über wesentlich unplättbare Kurven im dreidimensionalen Raume. Fundamenta Mathematicae 23(1), 135–142 (1934)
Cortese, P.F., Patrignani, M.: Clustered planarity = flat clustered planarity (2018). CoRR arXiv:1808.07437
Di Battista, G., Tamassia, R.: On-line maintenance of triconnected components with SPQR-trees. Algorithmica 15(4), 302–318 (1996)
Estrella-Balderrama, A., Gassner, E., Jünger, M., Percan, M., Schaefer, M., Schulz, M.: Simultaneous geometric graph embeddings. In: Proceedings of the 15th International Symposium on Graph Drawing, (GD’07), pp. 280–290 (2007)
Feng, Q., Cohen, R.F., Eades, P.: Planarity for clustered graphs. In: Spirakis, P.G. (ed.) Proceedings of the 3rd Annual European Symposium on Algorithms (ESA’95), vol. 979 of Lecture Notes in Computer Science, pp. 213–226. Springer (1995)
Frati, F.: Embedding graphs simultaneously with fixed edges. In: Kaufmann, M., Wagner, D. (eds.) Proceedings of the 14th International Symposium on Graph Drawing (GD’06), vol. 4372 of Lecture Notes in Computer Science, pp. 108–113. Springer (2006)
Frati, F., Hoffmann, M., Kusters, V.: Simultaneous embeddings with few bends and crossings. In: Giacomo, E.D., Lubiw, A. (eds) 23rd International Symposium on Graph Drawing and Network Visualization (GD’15), vol. 9411 of Lecture Notes in Computer Science, pp. 166–179. Springer (2015)
Fulek, R., Kyncl, J., Malinovic, I., Pálvölgyi, D.: Clustered planarity testing revisited. Electr. J. Comb. 22(4), P4.24 (2015)
Fulek, R., Kyncl, J., Pálvölgyi, D.: Unified Hanani-Tutte theorem. Electr. J. Comb. 24(3), P3.18 (2017)
Fulek, R., Pelsmajer, M., Schaefer, M.: Hanani-Tutte for radial planarity. In: Di Giacomo, E., Lubiw, A. (eds.) Graph Drawing and Network Visualization, pp. 99–110. Springer International Publishing (2015)
Fulek, R., Pelsmajer, M., Schaefer, M.: Hanani-Tutte for radial planarity II. In: Hu, Y., Nöllenburg, M. (eds.) Graph Drawing and Network Visualization, pp. 468–481. Springer International Publishing (2016)
Fulek, R., Pelsmajer, M.J., Schaefer, M., Štefankovič, D.: Hanani-Tutte, monotone drawings, and level-planarity. In: Pach, J. (ed.) Thirty Essays on Geometric Graph Theory, pp. 263–287. Springer, New York (2013)
Galil, Z., Megiddo, N.: Cyclic ordering is NP-complete. Theor. Comput. Sci. 5, (1977)
Gassner, E., Jünger, M., Percan, M., Schaefer, M., Schulz, M.: Simultaneous graph embeddings with fixed edges. In: Proceedings of the 32nd International Workshop on Graph-Theoretic Concepts in Computer Science (WG’06), pp. 325–335 (2006)
Grilli, L.: On the NP-hardness of GRacSim drawing and k-SEFE problems. J. Graph Algorithms Appl. 22(1), 101–116 (2018)
Grilli, L., Hong, S., Kratochvíl, J., Rutter, I.: Drawing simultaneously embedded graphs with few bends. In: Proceedings of the 22nd International Symposium on Graph Drawing (GD’04)
Gutwenger, C., Mutzel, P., Weiskircher, R.: Inserting an edge into a planar graph. Algorithmica 41(4), 289–308 (2005)
Haeupler, B., Jampani, K.R., Lubiw, A.: Testing simultaneous planarity when the common graph is 2-connected. J. Graph Algorithms Appl. 17(3), 147–171 (2013)
Jünger, M., Leipert, S.: Level planar embedding in linear time. In: Kratochvíl, J. (ed.) Graph Drawing and Network Visualization, pp. 72–81. Springer, Berlin Heidelberg (1999)
Jünger, M., Schulz, M.: Intersection graphs in simultaneous embedding with fixed edges. J. Graph Algorithms Appl. 13(2), 205–218 (2009)
Lengauer, T.: Hierarchical planarity testing algorithms. J. ACM 36(3), 474–509 (1989)
Opatrny, J.: Total ordering problem. SIAM J. Comput. 8(1), 111–114 (1979)
Pach, J., Wenger, R.: Embedding planar graphs at fixed vertex locations. Graphs Comb. 17(4), 717–728 (2001)
Schaefer, M.: Toward a theory of planarity: Hanani-tutte and planarity variants. J. Graph Algorithms Appl. 17(4), 367–440 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Rutter, I. (2020). Simultaneous Embedding. In: Hong, SH., Tokuyama, T. (eds) Beyond Planar Graphs. Springer, Singapore. https://doi.org/10.1007/978-981-15-6533-5_13
Download citation
DOI: https://doi.org/10.1007/978-981-15-6533-5_13
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-15-6532-8
Online ISBN: 978-981-15-6533-5
eBook Packages: Computer ScienceComputer Science (R0)