Computer Science > Data Structures and Algorithms
[Submitted on 2 Oct 2019 (this version), latest version 3 May 2022 (v2)]
Title:Parameterized complexity of edge-coloured and signed graph homomorphism problems
View PDFAbstract:We study the complexity of graph modification problems for homomorphism-based 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$. Given an edge-coloured graph $G$, can we perform $k$ graph operations so that the resulting graph has 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 $+$ and $-$. We denote the corresponding problems (parameterized by $k$) by VERTEX DELETION $H$-COLOURING, EDGE DELETION $H$-COLOURING and SWITCHING $H$-COLOURING. These generalise $H$-COLOURING (where one has to decide if an input graph admits a homomorphism to $H$). Our main focus is when $H$ has order at most $2$, a case that 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 studied problems. Then, we address their parameterized complexity. We show that all VERTEX DELETION $H$-COLOURING and EDGE DELETION $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. We show that the situation is different for SWITCHING $H$-COLOURING: there are three $2$-edge-coloured graphs $H$ of order $2$ for which this is W-hard, and assuming the ETH, admits no algorithm in time $f(k)n^{o(k)}$ for inputs of size $n$. For the other cases, SWITCHING $H$-COLOURING is FPT.
Submission history
From: Florent Foucaud [view email][v1] Wed, 2 Oct 2019 17:31:50 UTC (39 KB)
[v2] Tue, 3 May 2022 15:43:05 UTC (37 KB)
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.