2 research outputs found

    Parameterized complexity of edge-coloured and signed graph homomorphism problems

    Full text link
    We study the complexity of graph modification problems for homomorphism-based properties of edge-coloured graphs. A homomorphism from an edge-coloured graph GG to an edge-coloured graph HH is a vertex-mapping from GG to HH that preserves adjacencies and edge-colours. We consider the property of having a homomorphism to a fixed edge-coloured graph HH. Given an edge-coloured graph GG, can we perform kk graph operations so that the resulting graph has a homomorphism to HH? 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 22-edge-coloured graphs whose colours are ++ and −-. We denote the corresponding problems (parameterized by kk) by VERTEX DELETION HH-COLOURING, EDGE DELETION HH-COLOURING and SWITCHING HH-COLOURING. These generalise HH-COLOURING (where one has to decide if an input graph admits a homomorphism to HH). Our main focus is when HH has order at most 22, a case that includes standard problems such as VERTEX COVER, ODD CYCLE TRANSVERSAL and EDGE BIPARTIZATION. For such a graph HH, 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 HH-COLOURING and EDGE DELETION HH-COLOURING problems for such HH are FPT. This is in contrast with the fact that already for some HH of order~33, unless P=NP, none of the three considered problems is in XP. We show that the situation is different for SWITCHING HH-COLOURING: there are three 22-edge-coloured graphs HH of order 22 for which this is W-hard, and assuming the ETH, admits no algorithm in time f(k)no(k)f(k)n^{o(k)} for inputs of size nn. For the other cases, SWITCHING HH-COLOURING is FPT.Comment: 18 pages, 8 figures, 1 table. To appear in proceedings of IPEC 201

    The recognition of bound quivers using edge-coloured homomorphisms

    No full text
    corecore