The dichotomy of minimum cost homomorphism problems for digraphs
From MaRDI portal
Abstract: The Dichotomy Conjecture for constraint satisfaction problems has been verified for conservative problems (or, equivalently, for list homomorphism problems) by Andrei Bulatov. An earlier case of this dichotomy, for list homomorphisms to undirected graphs, came with an elegant structural distinction between the tractable and intractable cases. Such structural characterization is absent in Bulatov's classification, and Bulatov asked whether one can be found. We provide an answer in the case of digraphs; the technique will apply in a broader context. The key concept we introduce is that of a digraph asteroidal triple (DAT). The dichotomy then takes the following form. If a digraph H has a DAT, then the list homomorphism problem for H is NP-complete; and a DAT-free digraph H has a polynomial time solvable list homomorphism problem. DAT-free graphs can be recognized in polynomial time.
Recommendations
Cited in
(21)- The \(C_{k}\)-extended graft construction
- A dichotomy for minimum cost graph homomorphisms
- Minimum cost homomorphisms with constrained costs
- Approximation of minimum cost homomorphisms
- Computational complexity of the extended minimum cost homomorphism problem on three-element domains
- A dichotomy theorem for the general minimum cost homomorphism problem
- Between Colorings and Layouts - Minimum Morphism Cost Problems
- Extensions of the minimum cost homomorphism problem
- scientific article; zbMATH DE number 5531978 (Why is no real title available?)
- Monotone proper interval digraphs and Min-Max orderings
- The complexity of valued CSPs
- scientific article; zbMATH DE number 7561584 (Why is no real title available?)
- Minimum violation vertex maps and their applications to cut problems
- Binarisation for valued constraint satisfaction problems
- Minimum Cost Homomorphisms to Reflexive Digraphs
- Algorithmic Applications in Management
- PTAS for Sparse General-valued CSPs
- Any-k algorithms for enumerating ranked answers to conjunctive queries
- List homomorphisms by deleting edges and vertices: tight complexity bounds for bounded-treewidth graphs
- On the constant-factor approximability of minimum cost constraint satisfaction problems
- Minimum cost homomorphism dichotomy for oriented cycles
This page was built for publication: The dichotomy of minimum cost homomorphism problems for digraphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4915189)