Temporal Valued Constraint Satisfaction Problems

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

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

Original languageEnglish
Title of host publication50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025
EditorsPawel Gawrychowski, Filip Mazowiecki, Michal Skrzypczak
PublisherSchloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
ISBN (electronic)9783959773881
Publication statusPublished - 20 Aug 2025
Peer-reviewedYes

Publication series

SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume345
ISSN1868-8969

Conference

Title50th International Symposium on Mathematical Foundations of Computer Science
Abbreviated titleMFCS 2025
Conference number50
Duration25 - 29 August 2025
Website
LocationUniversity of Warsaw Library
CityWarsaw
CountryPoland

External IDs

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

Keywords

ASJC Scopus subject areas

Keywords

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