# A New Proof of the $H$-Coloring Dichotomy

@article{Siggers2009ANP, title={A New Proof of the \$H\$-Coloring Dichotomy}, author={M. Siggers}, journal={SIAM Journal on Discrete Mathematics}, year={2009}, volume={23}, pages={2204-2210} }

In this paper, we present a new proof of the $H$-coloring dichotomy, which was first proved by Hell and Nesetril in 1990, and then was reproved by Bulatov in 2005. Our proof is much shorter than the original proof and avoids the algebraic machinery of Bulatov's proof.

#### 16 Citations

Fine-Grained Complexity of the Graph Homomorphism Problem for Bounded-Treewidth Graphs

- Computer Science, Mathematics
- SIAM J. Comput.
- 2021

For a fixed graph $H$, by Hom($H$) we denote the computational problem which asks whether a given graph $G$ admits a homomorphism to $H$, i.e., an edge-preserving mapping from $V(G)$ to $V(H)$. As ...

Dichotomy for Digraph Homomorphism Problems

- Computer Science, Mathematics
- ArXiv
- 2017

We consider the problem of finding a homomorphism from an input digraph $G$ to a fixed digraph $H$. We show that if $H$ admits a weak-near-unanimity polymorphism $\phi$ then deciding whether $G$… Expand

H-colorings of dense hypergraphs

- Mathematics, Computer Science
- Inf. Process. Lett.
- 2012

It is proved that for every c>0 the problem of deciding whether an n-vertex r-uniform hypergraph G of minimum vertex degree @d(G)>=c(n-1r-1) is H-colorable is in P. Expand

In praise of homomorphisms

- Computer Science
- Comput. Sci. Rev.
- 2021

This brief paper briefly survey the many faceted development of the homomorphism concept in the last 50 years with emphasizes on recent developments. Expand

Dichotomy for Digraph Homomorphism Problems (two algorithms)

- Computer Science, Mathematics
- 2017

The main claim that the approach gives a combinatorial solution to the CSP conjecture is retracted, as it is shown that if H admits a weak-near-unanimity polymorphism $\phi$ then deciding whether G admits a homomorphism to H (HOM(H)) is polynomial time solvable. Expand

A quasi-Mal’cev condition with unexpected application

- Mathematics
- 2015

A quasi-Mal’cev condition for quasivarieties is established which in the case of locally finite quasivarieties forbids strongly abelian congruences and for varieties is equivalent to possessing a… Expand

Graph partitions with prescribed patterns

- Computer Science, Mathematics
- Eur. J. Comb.
- 2014

An overview of the current knowledge is given, focusing on open problems and recent breakthroughs, that generalize graph colouring and homomorphism problems, and occur frequently in the study of perfect graphs. Expand

Finite dualities and map-critical graphs on a fixed surface

- Mathematics, Computer Science
- J. Comb. Theory, Ser. B
- 2012

A finite duality of graphs is a pair (F,U) if U@?K, F is a finite set of graphs, and for any graph G in K the authors have G= G=G. Expand

Fine-grained complexity of graph homomorphism problem for bounded-treewidth graphs

- Mathematics, Computer Science
- SODA
- 2020

If $H$ is a projective core, then the existence of such a faster algorithm is unlikely, and the problem cannot be solved in time, which provides a full complexity characterization for a large class of graphs $H, as almost all graphs are projective cores. Expand

Graph Homomorphism Reconfiguration and Frozen H-Colourings

- Mathematics, Computer Science
- J. Graph Theory
- 2020

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. Expand

#### References

SHOWING 1-10 OF 17 REFERENCES

On the complexity of H-colouring planar graphs

- Computer Science, Mathematics
- Discret. Math.
- 2009

We show that if H is an odd-cycle, or any non-bipartite graph of girth 5 and maximum degree at most 3, then planar H-COL is NP-complete.

H-Coloring dichotomy revisited

- Computer Science, Mathematics
- Theor. Comput. Sci.
- 2005

The dichotomy theorem proved by Hell and Nesetřil is shown to be correct and the criterion distinguishing the tractable cases of the H-Coloring problem agrees with that conjectured in A.A. Krokhin's Constraint satisfaction problems and finite algebras. Expand

Graphs and homomorphisms

- Computer Science, Mathematics
- Oxford lecture series in mathematics and its applications
- 2004

This chapter discusses the structure of Composition, the partial order of Graphs and Homomorphisms, and testing for the Existence of Homomorphism. Expand

A new line of attack on the dichotomy conjecture

- Computer Science, Mathematics
- STOC '09
- 2009

This work gives an entirely new and transparent proof to the Hell-Nesetril theorem, which states that for a simple, connected and undirected graph H, the problem CSP(H) is NP-hard if and only if H is non-bipartite. Expand

On the Algebraic Structure of Combinatorial Problems

- Computer Science, Mathematics
- Theor. Comput. Sci.
- 1998

A general algebraic formulation for a wide range of combinatorial problems including Satisfiability, Graph Colorability and Graph Isomorphism is described, and it is demonstrated that the complexity of solving this decision problem is determined in many cases by simple algebraic properties of the relational structures involved. Expand

Reducibility among combinatorial problems" in complexity of computer computations

- Computer Science
- 1972

In his 1972 paper, Reducibility Among Combinatorial Problems, Richard Karp used Stephen Cooks 1971 theorem that the boolean satisfiability problem is. Expand

Classifying the Complexity of Constraints Using Finite Algebras

- Mathematics, Computer Science
- SIAM J. Comput.
- 2005

It is shown that any set of relations used to specify the allowed forms of constraints can be associated with a finite universal algebra and how the computational complexity of the corresponding constraint satisfaction problem is connected to the properties of this algebra is explored. Expand

Zádori A Combinatorial CSP Dichotomy Classification Conjecture

- Accepted to European Journal of Combinatorics
- 2009

On the complexity of H-colouring J

- Combin. Theory B 48
- 1990

L

- Zádori A Combinatorial CSP Dichotomy Classification Conjecture. Accepted to European Journal of Combinatorics
- 2009