Advertisement

Representing Graphs and Hypergraphs by Touching Polygons in 3D

  • William Evans
  • Paweł RzążewskiEmail author
  • Noushin Saeedi
  • Chan-Su Shin
  • Alexander Wolff
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11904)

Abstract

Contact representations of graphs have a long history. Most research has focused on problems in 2d, but 3d contact representations have also been investigated, mostly concerning fully-dimensional geometric objects such as spheres or cubes. In this paper we study contact representations with convex polygons in 3d. We show that every graph admits such a representation. Since our representations use super-polynomial coordinates, we also construct representations on grids of polynomial size for specific graph classes (bipartite, subcubic). For hypergraphs, we represent their duals, that is, each vertex is represented by a point and each edge by a polygon. We show that even regular and quite small hypergraphs do not admit such representations. On the other hand, the two smallest Steiner triple systems can be represented.

Notes

Acknowledgments

We are grateful to the organizers of the workshop Homonolo 2017, where the project originates. We thank Günter Rote for advice regarding strictly convex drawings of polygons on the grid, and we thank Torsten Ueckerdt for bringing Ossona de Mendez’ work [21] to our attention. We are indebted to Arnaud de Mesmay and Eric Sedgwick for pointing us to the lemma of Dey and Edelsbrunner [9], which yielded Theorem 6.

References

  1. 1.
    Alam, M.J.: Contact representations of graphs in 2D and 3D. Ph.D. thesis, The University of Arizona (2015)Google Scholar
  2. 2.
    Alam, J., Evans, W., Kobourov, S., Pupyrev, S., Toeniskoetter, J., Ueckerdt, T.: Contact representations of graphs in 3D. In: Dehne, F., Sack, J.-R., Stege, U. (eds.) WADS 2015. LNCS, vol. 9214, pp. 14–27. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-21840-3_2CrossRefGoogle Scholar
  3. 3.
    Alam, M.J., Kaufmann, M., Kobourov, S.G.: On contact graphs with cubes and proportional boxes. In: Freivalds, R.M., Engels, G., Catania, B. (eds.) SOFSEM 2016. LNCS, vol. 9587, pp. 107–120. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-662-49192-8_9CrossRefGoogle Scholar
  4. 4.
    Brandes, U., Cornelsen, S., Pampel, B., Sallaberry, A.: Path-based supports for hypergraphs. J. Discret. Algorithms 14, 248–261 (2012).  https://doi.org/10.1016/j.jda.2011.12.009CrossRefMathSciNetzbMATHGoogle Scholar
  5. 5.
    Bremner, D., Evans, W., Frati, F., Heyer, L., Kobourov, S.G., Lenhart, W.J., Liotta, G., Rappaport, D., Whitesides, S.H.: On representing graphs by touching cuboids. In: Didimo, W., Patrignani, M. (eds.) GD 2012. LNCS, vol. 7704, pp. 187–198. Springer, Heidelberg (2013).  https://doi.org/10.1007/978-3-642-36763-2_17
  6. 6.
    Buchin, K., van Kreveld, M.J., Meijer, H., Speckmann, B., Verbeek, K.: On planar supports for hypergraphs. J. Graph Algorithms Appl. 15(4), 533–549 (2011).  https://doi.org/10.7155/jgaa.00237CrossRefMathSciNetzbMATHGoogle Scholar
  7. 7.
    Canny, J.F.: Some algebraic and geometric computations in PSPACE. In: Simon, J. (ed.) Proceedings of the 20th Annual ACM Symposium on Theory of Computing (STOC 1988), pp. 460–467 (1988).  https://doi.org/10.1145/62212.62257
  8. 8.
    Carmesin, J.: Embedding simply connected 2-complexes in 3-space - I. A Kuratowski-type characterisation. ArXiv report (2019). http://arxiv.org/abs/1709.04642
  9. 9.
    Dey, T.K., Edelsbrunner, H.: Counting triangle crossings and halving planes. Discrete Comput. Geom. 12(3), 281–289 (1994).  https://doi.org/10.1007/BF02574381CrossRefMathSciNetzbMATHGoogle Scholar
  10. 10.
    Diks, K., Stańczyk, P.: Perfect matching for biconnected cubic graphs in \({O}(n \log ^2 n)\) time. In: van Leeuwen, J., Muscholl, A., Peleg, D., Pokorný, J., Rumpe, B. (eds.) SOFSEM 2010. LNCS, vol. 5901, pp. 321–333. Springer, Heidelberg (2010).  https://doi.org/10.1007/978-3-642-11266-9_27CrossRefGoogle Scholar
  11. 11.
    Erickson, J., Kim, S.: Arbitrarily large neighborly families of congruent symmetric convex 3-polytopes. In: Bezdek, A. (ed.) Discrete Geometry, Pure and Applied Mathematics, vol. 253, pp. 267–278. Marcel Dekker, New York (2003). In Honor of W. Kuperberg’s 60th BirthdayGoogle Scholar
  12. 12.
    Evans, W., Rzążewski, P., Saeedi, N., Shin, C.S., Wolff, A.: Representing graphs and hypergraphs by touching polygons in 3D. ArXiv report (2019). http://arxiv.org/abs/1908.08273
  13. 13.
    Felsner, S., Francis, M.C.: Contact representations of planar graphs with cubes. In: Hurtado, F., van Kreveld, M.J. (eds.) Proceedings of the 27th Annual Symposium on Computational Geometry (SoCG 2011), pp. 315–320. ACM (2011).  https://doi.org/10.1145/1998196.1998250
  14. 14.
    Gropp, H.: The drawing of configurations. In: Brandenburg, F.J. (ed.) GD 1995. LNCS, vol. 1027, pp. 267–276. Springer, Heidelberg (1996).  https://doi.org/10.1007/BFb0021810CrossRefGoogle Scholar
  15. 15.
    Hliněný, P., Kratochvíl, J.: Representing graphs by disks and balls (a survey of recognition-complexity results). Discret. Math. 229(1–3), 101–124 (2001).  https://doi.org/10.1016/S0012-365X(00)00204-1CrossRefMathSciNetzbMATHGoogle Scholar
  16. 16.
    Johnson, D.S., Pollak, H.O.: Hypergraph planarity and the complexity of drawing Venn diagrams. J. Graph Theory 11(3), 309–325 (1987).  https://doi.org/10.1002/jgt.3190110306CrossRefMathSciNetzbMATHGoogle Scholar
  17. 17.
    Koebe, P.: Kontaktprobleme der konformen Abbildung. Berichte über die Verhandlungen der Sächsischen Akad. der Wissen. zu Leipzig. Math.-Phys. Klasse 88, 141–164 (1936).  https://doi.org/10.1007/BF02418546
  18. 18.
    Kratochvíl, J., Matoušek, J.: Intersection graphs of segments. J. Comb. Theory Ser. B 62(2), 289–315 (1994).  https://doi.org/10.1006/jctb.1994.1071CrossRefMathSciNetzbMATHGoogle Scholar
  19. 19.
    van Leeuwen, E.J., van Leeuwen, J.: Convex polygon intersection graphs. In: Brandes, U., Cornelsen, S. (eds.) GD 2010. LNCS, vol. 6502, pp. 377–388. Springer, Heidelberg (2011).  https://doi.org/10.1007/978-3-642-18469-7_35CrossRefGoogle Scholar
  20. 20.
    Matoušek, J.: Intersection graphs of segments and \(\exists \mathbb{R}\). ArXiv report (2014). http://arxiv.org/abs/1406.2636
  21. 21.
    de Mendez, P.O.: Realization of posets. J. Graph Algorithms Appl. 6(1), 149–153 (2002).  https://doi.org/10.7155/jgaa.00048CrossRefMathSciNetzbMATHGoogle Scholar
  22. 22.
    Petersen, J.: Die Theorie der regulären graphs. Acta Math. 15, 193–220 (1891).  https://doi.org/10.1007/BF02392606CrossRefMathSciNetzbMATHGoogle Scholar
  23. 23.
    Schaefer, M.: Complexity of some geometric and topological problems. In: Eppstein, D., Gansner, E.R. (eds.) GD 2009. LNCS, vol. 5849, pp. 334–344. Springer, Heidelberg (2010).  https://doi.org/10.1007/978-3-642-11805-0_32CrossRefGoogle Scholar
  24. 24.
    Schnyder, W.: Embedding planar graphs on the grid. In: Proceedings of the 1st ACM-SIAM Symposium on Discrete Algorithms (SODA 1990), pp. 138–148 (1990). https://dl.acm.org/citation.cfm?id=320176.320191
  25. 25.
    Thomassen, C.: Interval representations of planar graphs. J. Comb. Theory Ser. B 40(1), 9–20 (1986).  https://doi.org/10.1016/0095-8956(86)90061-4CrossRefMathSciNetzbMATHGoogle Scholar
  26. 26.
    Weisstein, E.W.: Steiner quadruple system. From MathWorld – A Wolfram Web Resource. http://mathworld.wolfram.com/SteinerQuadrupleSystem.html. Accessed 20 Aug 2019
  27. 27.
    Weisstein, E.W.: Steiner triple system. From MathWorld – A Wolfram Web Resource. http://mathworld.wolfram.com/SteinerTripleSystem.html. Accessed 20 Aug 2019
  28. 28.
    Westbrook, J., Tarjan, R.E.: Maintaining bridge-connected and biconnected components on-line. Algorithmica 7(1), 433–464 (1992).  https://doi.org/10.1007/BF01758773CrossRefMathSciNetzbMATHGoogle Scholar
  29. 29.
    Zykov, A.A.: Hypergraphs. Uspekhi Mat. Nauk 29(6), 89–154 (1974).  https://doi.org/10.1070/RM1974v029n06ABEH001303CrossRefMathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.University of British ColumbiaVancouverCanada
  2. 2.Faculty of Mathematics and Information ScienceWarsaw University of TechnologyWarszawaPoland
  3. 3.Hankuk University of Foreign StudiesYonginRepublic of Korea
  4. 4.Universität WürzburgWürzburgGermany

Personalised recommendations