Temporal Valued Constraint Satisfaction Problems
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-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 language | English |
|---|---|
| Title of host publication | 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025 |
| Editors | Pawel Gawrychowski, Filip Mazowiecki, Michal Skrzypczak |
| Publisher | Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |
| ISBN (electronic) | 9783959773881 |
| Publication status | Published - 20 Aug 2025 |
| Peer-reviewed | Yes |
Publication series
| Series | Leibniz International Proceedings in Informatics, LIPIcs |
|---|---|
| Volume | 345 |
| ISSN | 1868-8969 |
Conference
| Title | 50th International Symposium on Mathematical Foundations of Computer Science |
|---|---|
| Abbreviated title | MFCS 2025 |
| Conference number | 50 |
| Duration | 25 - 29 August 2025 |
| Website | |
| Location | University of Warsaw Library |
| City | Warsaw |
| Country | Poland |
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