The Meta-Problem for Conservative Mal'tsev Constraints - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

The Meta-Problem for Conservative Mal'tsev Constraints

Résumé

In the algebraic approach to CSP (Constraint Satisfaction Problem), the complexity of constraint languages is studied using closure operations called poly-morphisms. Many of these operations are known to induce tractability of any language they preserve. We focus on the meta-problem: given a language Γ, decide if Γ has a polymorphism with nice properties. We design an algorithm that decides in polynomial-time if a constraint language has a conservative Mal'tsev poly-morphism, and outputs one if one exists. As a corollary we obtain that the class of conservative Mal'tsev constraints is uniformly tractable, and we conjecture that this result remains true in the non-conservative case.
Fichier principal
Vignette du fichier
conspoly_preprint.pdf (282.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01230681 , version 1 (18-11-2015)

Identifiants

  • HAL Id : hal-01230681 , version 1

Citer

Clément Carbonnel. The Meta-Problem for Conservative Mal'tsev Constraints. Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), Feb 2016, Phoenix, Arizona, United States. ⟨hal-01230681⟩
122 Consultations
72 Téléchargements

Partager

Gmail Facebook X LinkedIn More