DeepAI

# Graph Homomorphism Reconfiguration and Frozen H-Colourings

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.

• 2 publications
• 2 publications
• 6 publications
• 5 publications
• 2 publications
07/07/2019

### Complexity of planar signed graph homomorphisms to cycles

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

### Checking the admissibility of odd-vertex pairings is hard

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

### Reconfiguring Graph Homomorphisms on the Sphere

Given a loop-free graph H, the reconfiguration problem for homomorphisms...
11/09/2019

### A Polynomial Kernel for Paw-Free Editing

For a fixed graph H, the H-free-editing problem asks whether we can modi...
08/15/2019

### Tracking Paths in Planar Graphs

We consider the NP-complete problem of tracking paths in a graph, first ...
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 ...
09/04/2019

### Gerrymandering: A Briber's Perspective

We initiate the study of bribery problem in the context of gerrymanderin...