The complexity of signed graph and edge-coloured graph homomorphisms

TL;DR

This paper investigates the computational complexity of homomorphism problems in signed and edge-coloured graphs, establishing a dichotomy theorem that classifies problems as either polynomial-time solvable or NP-complete based on properties of the target graph.

Contribution

It provides a dichotomy theorem for s-homomorphism problems in signed graphs, extending the understanding of complexity classifications in this domain.

Findings

Dichotomy theorem for s-homomorphism problems based on target graph properties

Polynomial-time solvability when the core has at most two edges

NP-completeness otherwise

Abstract

We study homomorphism problems of signed graphs from a computational point of view. A signed graph $(G,\Sigma)$ is a graph $G$ where each edge is given a sign, positive or negative; $\Sigma\subseteq E(G)$ denotes the set of negative edges. Thus, $(G, \Sigma)$ is a $2$-edge-coloured graph with the property that the edge-colours, $\{+, -\}$, form a group under multiplication. Central to the study of signed graphs is the operation of switching at a vertex, that results in changing the sign of each incident edge. We study two types of homomorphisms of a signed graph $(G,\Sigma)$ to a signed graph $(H,\Pi)$: ec-homomorphisms and s-homomorphisms. Each is a standard graph homomorphism of $G$ to $H$ with some additional constraint. In the former, edge-signs are preserved. In the latter, edge-signs are preserved after the switching operation has been applied to a subset of vertices of $G$. We prove a dichotomy theorem for s-homomorphism problems for a large class of (fixed) target signed graphs $(H,\Pi)$. Specifically, as long as $(H,\Pi)$ does not contain a negative (respectively a positive) loop, the problem is polynomial-time solvable if the core of $(H,\Pi)$ has at most two edges, and is NP-complete otherwise. (Note that this covers all simple signed graphs.) The same dichotomy holds if $(H,\Pi)$ has no negative digons, and we conjecture that it holds always. In our proofs, we reduce s-homomorphism problems to certain ec-homomorphism problems, for which we are able to show a dichotomy. In contrast, we prove that a dichotomy theorem for ec-homomorphism problems (even when restricted to bipartite target signed graphs) would settle the dichotomy conjecture of Feder and Vardi.