Complexity Classification Transfer for CSPs via Algebraic Products
Research output: Preprint/documentation/report › Preprint
Contributors
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
Original language | Undefined |
---|---|
Publication status | Published - 7 Nov 2022 |
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper
External IDs
ORCID | /0000-0001-8228-3611/work/142659297 |
---|
Keywords
Keywords
- math.LO, cs.CC, cs.LO, 06A05, 68Q25, 08A70, F.4.1; F.2.2