Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

Graph Modification for Edge-Coloured and Signed Graph Homomorphism Problems: Parameterized and Classical Complexity

Published: 01 May 2022 Publication History

Abstract

We study the complexity of graph modification problems with respect to homomorphism-based colouring properties of edge-coloured graphs. A homomorphism from an edge-coloured graph G to an edge-coloured graph H is a vertex-mapping from G to H that preserves adjacencies and edge-colours. We consider the property of having a homomorphism to a fixed edge-coloured graph H, which generalises the classic vertex-colourability property. The question we are interested in is the following: given an edge-coloured graph G, can we perform k graph operations so that the resulting graph admits a homomorphism to H? The operations we consider are vertex-deletion, edge-deletion and switching (an operation that permutes the colours of the edges incident to a given vertex). Switching plays an important role in the theory of signed graphs, that are 2-edge-coloured graphs whose colours are the signs + and −. We denote the corresponding problems (parameterized by k) by VD-H-Colouring, ED-H-Colouring and SW-H-Colouring. These problems generalise the extensively studied H-Colouring problem (where one has to decide if an input graph admits a homomorphism to a fixed target H). For 2-edge-coloured H, it is known that H-Colouring already captures the complexity of all fixed-target Constraint Satisfaction Problems. Our main focus is on the case where H is an edge-coloured graph with at most two vertices, a case that is already interesting since it includes standard problems such as Vertex Cover, Odd Cycle Transversal and Edge Bipartization. For such a graph H, we give a P/NP-complete complexity dichotomy for all three VD-H-Colouring, ED-H-Colouring and SW-H-Colouring problems. Then, we address their parameterized complexity. We show that all VD-H-Colouring and ED-H-Colouring problems for such H are FPT. This is in contrast with the fact that already for some H of order 3, unless P = NP, none of the three considered problems is in XP, since 3- Colouring is NP-complete. We show that the situation is different for SW-H-Colouring: there are three 2-edge-coloured graphs H of order 2 for which SW-H-Colouring is W[1]-hard, and assuming the ETH, admits no algorithm in time f(k)no(k) for inputs of size n and for any computable function f. For the other cases, SW-H-Colouring is FPT.

References

[1]
Bawar Z, Brewster RC, and Marcotte DA Homomorphism duality in edge-coloured graphs Annales des sciences mathématiques du Québec 2005 29 1 21-34
[2]
Bok, J., Brewster, R. C., Feder, T., Hell, P., and Jedlicková, N.: List homomorphism problems for signed graphs. Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Leibniz International Proceedings in Informatics (LIPIcs) 170, 20:1–20:14, (2020)
[3]
Brewster, R. C.: Vertex colourings of edge-coloured graphs, PhD thesis, Simon Fraser University, Canada,(1993)
[4]
Brewster RC The complexity of colouring symmetric relational systems Discrete Appl. Math. 1994 49 1–3 95-105
[5]
Brewster RC, Dedić R, Huard F, and Queen J The recognition of bound quivers using edge-coloured homomorphisms Discrete Math. 2005 297 13-25
[6]
Brewster RC, Foucaud F, Hell P, and Naserasr R The complexity of signed and edge-coloured graph homomorphisms Discrete Math. 2017 340 2 223-235
[7]
Brewster RC and Siggers MH A complexity dichotomy for signed H-colouring Discrete Math. 2018 341 10 2768-2773
[8]
Bulatov, A. A.: A dichotomy theorem for nonuniform CSPs. Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science (FOCS 2017), IEEE Computer Society, pp. 319–330, (2017)
[9]
Bulatov AA and Marx D Constraint satisfaction parameterized by solution size SIAM J. Comput. 2014 43 2 573-616
[10]
Bulín J On the complexity of H-coloring for special oriented trees Eur. J. Comb. 2018 69 54-75
[11]
Cai L Fixed parameter tractability of graph modification problem for hereditary properties Information Process. Lett. 1996 58 171-176
[12]
Chitnis R, Egri L, and Marx D List H-Coloring a graph by removing few vertices Algorithmica 2017 78 110-146
[13]
Chen J, Huang X, Kanj IA, and Xia G Strong computational lower bounds via parameterized complexity J. Computer Syst. Sci. 2006 72 8 1346-1367
[14]
Cai L Parameterized complexity of vertex colouring Discrete Appl. Math. 2003 127 415-429
[15]
Crespelle, C., Drange, P. G., Fomin, F. V., and Golovach, P. A.: A survey of parameterized algorithms and the complexity of edge modification problems. Manuscript, (2020). https://arxiv.org/abs/2001.06867
[16]
Cygan M, Fomin FV, Kowalik L, Lokshtanov D, Marx D, Pilipczuk M, Pilipczuk M, and Saurabh S Parameterized Algorithms 2015 New York Springer
[17]
Downey RG and Fellows MR Fundamentals of Parameterized Complexity 2013 New York Springer
[18]
Dross F, Foucaud F, Mitsou V, Ochem P, and Pierron T Complexity of planar signed graph homomorphisms to cycles Discrete Appl. Math. 2020 284 166-178
[19]
Ehrenfeucht, A., Hage, J., Harju, T., and Rozenberg, G.: Complexity issues in switching of graphs. Proceedings of the International Workshop on Theory and Application of Graph Transformations, TAGT’98, Lecture Notes in Computer Science 1764:59–70, (2000)
[20]
Feder T and Vardi MY The computational structure of monotone monadic SNP and constraint satisfaction: a study through datalog and group theory SIAM J. Comput. 1998 28 1 57-104
[21]
Fellows MR, Hermelin D, Rosamond F, and Vialette S On the parameterized complexity of multiple-interval graph problems Theor. Computer Sci. 2009 40 1 53-61
[22]
Foucaud, F., Hocquard, H., Lajou, D., Mitsou, V., and Pierron, T.: Parameterized complexity of edge-coloured and signed graph homomorphism problems. Proceedings of the 14th International Symposium on Parameterized and Exact Computation (IPEC 2019). Leibniz International Proceedings in Informatics (LIPIcs) 148,15:1-15:16, (2019)
[23]
Foucaud, F., and Naserasr, R.: The complexity of homomorphisms of signed graphs and signed constraint satisfaction. Proceedings of the 11th Latin American Symposium on Theoretical Informatics 2014, LATIN’14. Lecture Notes in Computer Science 8392:526–537, (2014)
[24]
Harary, F.: On the notion of balance of a signed graph. Mich. Math. J. 2(2):143–146, 1953-1954
[25]
Hell P and Nešetřil J On the complexity of H-coloring J. Comb. Theory Series B 1990 48 1 92-110
[26]
Hüffner F, Betzler N, and Niedermeier R Separator-based data reduction for signed graph balancing J. Comb. Optim. 2010 20 4 335-360
[27]
Impagliazzo R, Paturi R, and Zane F Which problems have strongly exponential complexity J. Computer Syst. Sci. 2001 63 4 512-530
[28]
Jaffke, L., and Jansen, B. M. P.: Fine-grained parameterized complexity analysis of graph coloring problems. Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC 2017). Lecture Notes in Computer Science 10236:345–356, (2017)
[29]
Jelínková E, Suchý O, Hliněný P, and Kratochvíl J Parameterized problems related to Seidel’s switching Discrete Math. Theor. Computer Sci. 2011 13 2 19-42
[30]
Khanna, S., Sudan, M., Trevisan, L., and Williamson, D. P.: The approximability of constraint satisfaction problems. SIAM J. Comput. 30(6):1863–1920, 2006. 91:103215, (2021)
[31]
Khot S and Raman V Parameterized complexity of finding subgraphs with hereditary properties Theor. Computer Sci. 2002 289 2 997-1008
[32]
Lewis JM and Yannakakis M The node-deletion problem for hereditary properties is NP-complete J. Computer Syst. Sci. 1980 20 2 219-230
[33]
Marx D Parameterized coloring problems on chordal graphs Theor. Computer Sci. 2006 351 3 407-424
[34]
Naserasr R, Rollová E, and Sopena É Homomorphisms of signed graphs J. Graph Theory 2015 79 3 178-212
[35]
Okrasa K and Rzążewski P Subexponential algorithms for variants of the homomorphism problem in string graphs J. Computer Syst. Sci. 2020 109 126-144
[36]
Pietrzak K On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems J. Computer Syst. Sci. 2003 67 4 757-771
[37]
Razgon I and O’Sullivan B Almost 2-SAT is fixed-parameter tractable J. Computer Syst. Sci. 2009 75 8 435-450
[38]
Takenaga, Y., and Higashide, K.: Vertex coloring of comparability +ke and -ke graphs. Proceedings of the 32nd International Worksop on Graph-Theoretic Concepts in Computer Science, WG’06. Lecture Notes in Computer Science 4271:102–112, (2006)
[39]
Yannakakis M Edge-deletion problems SIAM J. Comput. 1981 10 2 297-309
[40]
Zaslavsky T Signed graphs Discrete Appl. Math. 1982 4 1 47-74
[41]
Zaslavsky T Negative (and positive) circles in signed graphs: a problem collection AKCE Int. J. Graphs Comb. 2018 15 1 31-48
[42]
Zhuk, D.: A Proof of the CSP Dichotomy Conjecture. J. ACM 67(5), 30:1–30:78, (2020)

Index Terms

  1. Graph Modification for Edge-Coloured and Signed Graph Homomorphism Problems: Parameterized and Classical Complexity
          Index terms have been assigned to the content through auto-classification.

          Recommendations

          Comments

          Information & Contributors

          Information

          Published In

          cover image Algorithmica
          Algorithmica  Volume 84, Issue 5
          May 2022
          283 pages

          Publisher

          Springer-Verlag

          Berlin, Heidelberg

          Publication History

          Published: 01 May 2022
          Accepted: 20 December 2021
          Received: 06 March 2020

          Author Tags

          1. Parameterized complexity
          2. Graph homomorphism
          3. Graph modification
          4. Edge-coloured graph
          5. Signed graph

          Qualifiers

          • Research-article

          Funding Sources

          • Indo-French Centre for Applied Mathematics (IN)

          Contributors

          Other Metrics

          Bibliometrics & Citations

          Bibliometrics

          Article Metrics

          • 0
            Total Citations
          • 0
            Total Downloads
          • Downloads (Last 12 months)0
          • Downloads (Last 6 weeks)0
          Reflects downloads up to 03 Jan 2025

          Other Metrics

          Citations

          View Options

          View options

          Media

          Figures

          Other

          Tables

          Share

          Share

          Share this Publication link

          Share on social media