Abstract
A map graph is a contact graph of internally-disjoint regions of the plane, where the contact can be even a point. Namely, each vertex is represented by a simple connected region and two vertices are connected by an edge iff the corresponding regions touch.
Work partially supported by MIUR project AMANDA, prot. 2012C4E3KT_001, by DFG grant Ka812/17-1, and by DFG grant WA 654/21-1.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
A map graph is a contact graph of internally-disjoint regions of the plane, where the contact can be even a point. Namely, each vertex is represented by a simple connected region and two vertices are connected by an edge iff the corresponding regions touch. Map graphs are introduced in [2] to allow the representation of graphs containing large cliques in a readable way.
A clique planar graph is a graph \(G=(V,E)\) that admits a representation where each vertex \(u \in V\) is represented by an axis-parallel unit square R(u) and where, for some partition of V into vertex-disjoint cliques \(S=\{c_1, \dots , c_k\}\), each edge (u, v) is represented by the intersection between R(u) and R(v) if u and v belong to the same clique (intersection edges) or by a non-intersected curve connecting the boundaries of R(u) and R(v) otherwise (link edges); see Fig. 1(c). Clique planar graphs are introduced in [1], where it is mainly addressed the case where the clique partition S is given.
Figure 2 provides an example of a graph that is both a map graph and a clique planar graph. In [1] it is argued that there are graphs that admit a clique-planar representation while not admitting any representation as a map graph, and vice versa. In this poster we exhibit such counterexamples, establishing that neither of the classes of map graphs and of clique planar graphs is contained in the other.
FormalPara Lemma 1There exists a clique planar graph that is not a map graph.
FormalPara ProofConsider the graph G of Fig. 2(a). Observe that G is not planar since vertices 1, 3, 4, 5, and 6 (filled red in Fig. 2(a)) form a \(K_5\) subdvision. However, graph G is clique planar (see Fig. 2(b)). If G were also a map graph, some edges could be represented by regions sharing a point. Since only the two triangles 1, 2, 3 and 4, 5, 6 could be represented in such a way, this would imply the planarity of a graph \(G'\) obtained from G by possibly augmenting one or both of such triangles to wheels, which is not planar as \(G' \subseteq G\) (see Fig. 2(a) and (c)). \(\square \)
FormalPara Lemma 2There exists a map graph that is not a clique planar graph.
Proof. Consider a graph \(G_h=(V,E)\) composed by three sets \(V_1\), \(V_2\), and \(V_3\) of h vertices each, where the graph induced by \(V_1 \cup V_2\) is a clique and the graph induced by \(V_2 \cup V_3\) is a clique. Figure 3 shows that \(G_h\) is a map graph. Observe that in any partition S of V into vertex-disjoint cliques there are at least h / 2 vertices in \(V_2\) that do not fall into the same clique with the vertices of \(V_1\) or \(V_3\). The link edges among such vertices induce a \(K_{\frac{h}{2},h}\). Hence, for \(h=6\) the clique planarity of \(G_6\) would imply the planarity of \(K_{3,3}\). \(\square \)
By Lemmas 1 and 2 we have the following.
FormalPara Theorem 1Map Graphs \(\not \subseteq \) Clique Planar Graphs \(\wedge \) Clique Planar Graphs \(\not \subseteq \) Map Graphs.
References
Angelini, P., Da Lozzo, G., Di Battista, G., Frati, F., Patrignani, M., Rutter, I.: Intersection-link representations of graphs. In: Di Giacomo, E., Lubiw, A. (eds.) GD 2015. LNCS, vol. 9411, pp. 217–230. Springer, Heidelberg (2015)
Chen, Z., Grigni, M., Papadimitriou, C.H.: Map graphs. J. ACM 49(2), 127–138 (2002)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Angelini, P., Da Lozzo, G., Di Battista, G., Frati, F., Patrignani, M., Rutter, I. (2015). On the Relationship Between Map Graphs and Clique Planar Graphs. In: Di Giacomo, E., Lubiw, A. (eds) Graph Drawing and Network Visualization. GD 2015. Lecture Notes in Computer Science(), vol 9411. Springer, Cham. https://doi.org/10.1007/978-3-319-27261-0_46
Download citation
DOI: https://doi.org/10.1007/978-3-319-27261-0_46
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27260-3
Online ISBN: 978-3-319-27261-0
eBook Packages: Computer ScienceComputer Science (R0)