Complexity Classification Transfer for CSPs via Algebraic Products

Publikation: Vorabdruck/Dokumentation/BerichtVorabdruck (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

OriginalspracheUndefiniert
PublikationsstatusVeröffentlicht - 7 Nov. 2022
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

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