Abstract
In the Partition Into Complementary Subgraphs (Comp-Sub) problem we are given a graph \(G=(V,E)\), and an edge set property \(\varPi \), and asked whether G can be decomposed into two graphs, H and its complement \(\overline{H}\), for some graph H, in such a way that the edge cut-set (of the cut) \([V(H),V(\overline{H})]\) satisfies property \(\varPi \). Such a problem is motivated by the fact that several parameterized problems are trivially fixed-parameter tractable when the input graph G is decomposable into two complementary subgraphs. In addition, it generalizes the recognition of complementary prism graphs, and it is related to graph isomorphism when the desired cut-set is empty, Comp-Sub(\(\emptyset \)). In this paper we are particularly interested in the case Comp-Sub(\(\emptyset \)), where the decomposition also partitions the set of edges of G into E(H) and \(E(\overline{H})\). When the input is a chordal graph, we show that Comp-Sub(\(\emptyset \)) is \({\textsf {GI}}{\text{-}}{\textit{complete}}\), that is, polynomially equivalent to Graph Isomorphism. But it becomes more tractable than Graph Isomorphism for several subclasses of chordal graphs. We present structural characterizations for split, starlike, block, and unit interval graphs. We also obtain complexity results for permutation graphs, cographs, comparability graphs, co-comparability graphs, interval graphs, co-interval graphs and strongly chordal graphs. Furthermore, we present some remarks when \(\varPi \) is a general edge set property and the case when the cut-set M induces a complete bipartite graph.
Similar content being viewed by others
References
Booth, K.S., Colbourn, C.J.: Problems polynomially equivalent to graph isomorphism. Tech. Rep. CS-77-04, University of Waterloo (1979)
Cappelle, M.R., Penso, L., Rautenbach, D.: Recognizing some complementary products. Theor. Comput. Sci. 521, 1–7 (2014)
Cerioli, M.R., Szwarcfiter, J.L.: Characterizing intersection graphs AF substars of a star. Ars Comb. 79, 21–31 (2006)
Chung, F.R.K.: On the cutwidth and the topological bandwidth of a tree. SIAM J. Algebr Discret Methods 6(2), 268–277 (1985)
Churchley, R., Huang, J.: On the polarity and monopolarity of graphs. J. Graph Theory 76(2), 138–148 (2014)
Colbourn, C.J.: On testing isomorphism of permutation graphs. Networks 11, 13–21 (1981)
Corneil, D.G., Perl, Y., Stewart, L.K.: A linear recognition algorithm for cographs. SIAM J. Comput. 14(4), 926–934 (1985)
Feder, T., Hell, P., Klein, S., Motwani, R.: Complexity of graph partition problems. In: Proceedings of the thirty-first annual ACM symposium on Theory of computing, pp. 464–472. ACM (1999)
Golumbic, M.C.: Algorithmic graph theory and perfect graphs, vol. 57. Elsevier, Amsterdam (2004)
Harary, F.: Graph theory. Addison-Wesley, Reading (1969)
Haynes, T.W., Henning, M.A., Slater, P.J., van der Merwe, L.C.: The complementary product of two graphs. Bull. Inst. Comb. Appl. 51, 21–30 (2007)
Mahadev, N.V.R., Peled, U.N.: Threshold graphs and related topics, vol. 56. Elsevier, Amsterdam (1995)
Nascimento, J.R., Souza, U.S., Szwarcfiter, J.L.: Partitioning a graph into complementary subgraphs. In: Rahman, M.S., Sadakane, K., Sung, W.K. (eds.) WALCOM: algorithms and computation, pp. 223–235. Springer International Publishing, Cham (2020)
Ortiz, Z.C., Maculan, N., Szwarcfiter, J.L.: Characterizing and edge-colouring split-indifference graphs. Discret. Appl. Math. 82(1–3), 209–217 (1998)
Acknowledgements
This study was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brasil (CAPES) - Finance Code 001.
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.
Rights and permissions
About this article
Cite this article
Nascimento, J.R., Souza, U.S. & Szwarcfiter, J.L. Partitioning a Graph into Complementary Subgraphs. Graphs and Combinatorics 37, 1311–1331 (2021). https://doi.org/10.1007/s00373-021-02319-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00373-021-02319-4