Complexity Classification Transfer for CSPs via Algebraic Products
Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
Beitragende
Abstract
We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a structure $\mathfrak A$ can be transferred to a classification of the CSPs of first-order expansions of another structure $\mathfrak B$. We exploit a product of structures (the algebraic product) that corresponds to the product of the respective polymorphism clones and present a complete complexity classification of the CSPs for first-order expansions of the $n$-fold algebraic power of $(\mathbb{Q};
Details
Originalsprache | Englisch |
---|---|
Publikationsstatus | Veröffentlicht - 7 Nov. 2022 |
Externe IDs
ORCID | /0000-0001-8228-3611/work/142659297 |
---|
Schlagworte
Schlagwörter
- math.LO, cs.CC, cs.LO, 06A05, 68Q25, 08A70, F.4.1; F.2.2