Graph Homomorphism Reconfiguration and Frozen H-Colourings

12/01/2017
by   Richard C. Brewster, et al.
0

For a fixed graph H, the reconfiguration problem for H-colourings (i.e. homomorphisms to H) asks: given a graph G and two H-colourings φ and ψ of G, does there exist a sequence f_0,...,f_m of H-colourings such that f_0=φ, f_m=ψ and f_i(u)f_i+1(v)∈ E(H) for every 0≤ i<m and uv∈ E(G)? If the graph G is loop-free, then this is the equivalent to asking whether it possible to transform φ into ψ by changing the colour of one vertex at a time such that all intermediate mappings are H-colourings. In the affirmative, we say that φ reconfigures to ψ. Currently, the complexity of deciding whether an H-colouring φ reconfigures to an H-colouring ψ is only known when H is a clique, a circular clique, a C_4-free graph, or in a few other cases which are easily derived from these. We show that this problem is PSPACE-complete when H is an odd wheel. An important notion in the study of reconfiguration problems for H-colourings is that of a frozen H-colouring; i.e. an H-colouring φ such that φ does not reconfigure to any H-colouring ψ such that ψ≠φ. We obtain an explicit dichotomy theorem for the problem of deciding whether a given graph G admits a frozen H-colouring. The hardness proof involves a reduction from a CSP problem which is shown to be NP-complete by establishing the non-existence of a certain type of polymorphism.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/07/2019

Complexity of planar signed graph homomorphisms to cycles

We study homomorphism problems of signed graphs. A signed graph is an un...
research
02/27/2021

Checking the admissibility of odd-vertex pairings is hard

Nash-Williams proved that every graph has a well-balanced orientation. A...
research
10/02/2018

Reconfiguring Graph Homomorphisms on the Sphere

Given a loop-free graph H, the reconfiguration problem for homomorphisms...
research
07/14/2023

Turán's Theorem Through Algorithmic Lens

The fundamental theorem of Turán from Extremal Graph Theory determines t...
research
08/15/2019

Tracking Paths in Planar Graphs

We consider the NP-complete problem of tracking paths in a graph, first ...
research
09/01/2023

The Complexity of Cluster Vertex Splitting and Company

Clustering a graph when the clusters can overlap can be seen from three ...
research
12/08/2017

Deciding the existence of a cherry-picking sequence is hard on two trees

Here we show that deciding whether two rooted binary phylogenetic trees ...

Please sign up or login with your details

Forgot password? Click here to reset