Abstract:A constraint satisfaction problem (CSP) is a problem of computing a homomorphism ${\bf R} \rightarrow {\bf \Gamma}$ between two relational structures. Analyzing its complexity has been a very fruitful research direction, especially for fixed template CSPs, denoted $CSP({\bf \Gamma})$, in which the right side structure ${\bf \Gamma}$ is fixed and the left side structure ${\bf R}$ is unconstrained. Recently, the hybrid setting, written $CSP_{\mathcal{H}}({\bf \Gamma})$, where both sides are restricted simultaneously, attracted some attention. It assumes that ${\bf R}$ is taken from a class of relational structures $\mathcal{H}$ that additionally is closed under inverse homomorphisms. The last property allows to exploit algebraic tools that have been developed for fixed template CSPs. The key concept that connects hybrid CSPs with fixed-template CSPs is the so called "lifted language". Namely, this is a constraint language ${\bf \Gamma}_{\bf R}$ that can be constructed from an input ${\bf R}$. The tractability of that language for any input ${\bf R}\in\mathcal{H}$ is a necessary condition for the tractability of the hybrid problem. In the first part we investigate templates ${\bf \Gamma}$ for which the latter condition is not only necessary, but also is sufficient. We call such templates ${\bf \Gamma}$ widely tractable. For this purpose, we construct from ${\bf \Gamma}$ a new finite relational structure ${\bf \Gamma}'$ and define $\mathcal{H}_0$ as a class of structures homomorphic to ${\bf \Gamma}'$. We prove that wide tractability is equivalent to the tractability of $CSP_{\mathcal{H}_0}({\bf \Gamma})$. Our proof is based on the key observation that ${\bf R}$ is homomorphic to ${\bf \Gamma}'$ if and only if the core of ${\bf \Gamma}_{\bf R}$ is preserved by a Siggers polymorphism. Analogous result is shown for valued conservative CSPs.

Temporal Valued Constraint Satisfaction Problems

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems

Discrete Temporal Constraint Satisfaction Problems

The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems

Hybrid VCSPs with crisp and conservative valued templates

An invitation to the promise constraint satisfaction problem

CSPs with Few Alien Constraints

Meditations on Quantified Constraint Satisfaction

Fine-Grained Time Complexity of Constraint Satisfaction Problems

On Classifying Continuous Constraint Satisfaction Problems

The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms

Soft arc consistency revisited

Low-level dichotomy for Quantified Constraint Satisfaction Problems

On Constraint Satisfaction Problems below P

Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets

Identifying Tractable Quantified Temporal Constraints within Ord-Horn

Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?"

Sandwiches for Promise Constraint Satisfaction

Satisfiability of commutative vs. non-commutative CSPs

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem