Abstract:Graph homomorphism, also called H-coloring, is a natural generalization of graph coloring: There is ahomomorphism from a graph G to a complete graph on k vertices if and only if G is k-colorable. During recent years the topic of exact (exponential-time) algorithms for NP-hard problems in general, and for graph coloring in particular, has led to extensive research. Consequently, it is natural to ask how the techniques developed for exact graph coloring algorithms can be extended to graph homomorphisms. By the celebrated result of Hell and Nesetril, for each fixed simple graph H, deciding whether a given simple graph G has a homomorphism to H is polynomial-time solvable ifH is a bipartite graph, and NP-complete otherwise. The case where H is the cycle of length 5, is the first NP-hard case different from graph coloring. We show that for an odd integer \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$k\ge 5$\end{document}, whether an input graph G with n vertices is homomorphic to the cycle of length k, can be decided in time $$\min \{ \binom{n}{\lfloor n/k\rfloor}, 2^{n/2}\}\cdot n^{{\mathcal{O}(1)}}$$. We extend the results obtained for cycles, which are graphs of treewidth two, to graphs of bounded treewidth as follows: if H is of treewidth at most t, then whether input graph G with n vertices is homomorphic to H can be decided in time $$(t +3)^{n}\cdot n^{{\mathcal{O}(1)}}$$.

The Homomorphism Poset of $K_{3,3}$

The Homomorphism Poset of K_{2,n}

Homomorphic Preimages of Geometric Cycles

Homological representations of low genus mapping class groups

On the intersection density of the Kneser Graph $K(n,3)$

The Geometry of Relations

Homotopy properties of the complex of frames of a unitary space

Knot theory and cluster algebra III: Posets

On the Cohomology of the Mapping Class Group of the Punctured Projective Plane

Exploring Homological Properties of Independent Complexes of Kneser Graphs

Exact Algorithms for Graph Homomorphisms

Homology tests for graph colorings

Homotopy type of circle graph complexes motivated by extreme Khovanov homology

Homology Generators and Relations for the Ordered Configuration Space of a Star Graph

Homomorphism obstructions for satellite maps

Homomorphisms to 3-manifold groups

The classifying space for commutativity of geometric orientable 3-manifold groups

The classification of homomorphism homogeneous oriented graphs

Smooth k-double covers of the plane of geometric genus 3

Homotopy types of Hom complexes of graph homomorphisms whose codomains are cycles

Homotopy commutativity in quasitoric manifolds