Temporal Valued Constraint Satisfaction Problems

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

We study the computational complexity of the valued constraint satisfaction problem (VCSP) for every valued structure over ℚ that is preserved by all order-preserving bijections. Such VCSPs will be called temporal, in analogy to the (classical) constraint satisfaction problem: a relational structure is preserved by all order-preserving bijections if and only if all its relations have a first-order definition in (ℚ; <), and the CSPs for such structures are called temporal CSPs. Many optimization problems that have been studied intensively in the literature can be phrased as a temporal VCSP. We prove that a temporal VCSP is in P, or NP-complete. Our analysis uses the concept of fractional polymorphisms. This is the first dichotomy result for VCSPs over infinite domains which is complete in the sense that it treats all valued structures that contain a given automorphism group.

Details

OriginalspracheEnglisch
Titel50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025
Redakteure/-innenPawel Gawrychowski, Filip Mazowiecki, Michal Skrzypczak
Herausgeber (Verlag)Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
ISBN (elektronisch)9783959773881
PublikationsstatusVeröffentlicht - 20 Aug. 2025
Peer-Review-StatusJa

Publikationsreihe

ReiheLeibniz International Proceedings in Informatics, LIPIcs
Band345
ISSN1868-8969

Konferenz

Titel50th International Symposium on Mathematical Foundations of Computer Science
KurztitelMFCS 2025
Veranstaltungsnummer50
Dauer25 - 29 August 2025
Webseite
OrtUniversity of Warsaw Library
StadtWarsaw
LandPolen

Externe IDs

ORCID /0000-0001-8228-3611/work/208071921

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • complexity dichotomy, Constraint Satisfaction Problems, fractional polymorphisms, min CSPs, temporal CSPs, valued CSPs