The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems
Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
摘要
Valued constraint satisfaction problems (VCSPs) constitute a large class of computational optimization problems. It was shown recently that, over finite domains, every VCSP is in P or NP-complete, depending on the admitted cost functions. In this article, we study cost functions over countably infinite domains whose automorphisms form an oligomorphic permutation group. Our results include a hardness condition based on a generalization of pp-constructability as known from classical CSPs and a polynomial-time tractability condition based on the concept of fractional polymorphisms. We then observe that the resilience problem for unions of conjunctive queries (UCQs) studied in database theory, under bag semantics, may be viewed as a special case of the VCSPs that we consider. We obtain a complexity dichotomy for the case of incidence-acyclic UCQs and exemplarily use our methods to determine the complexity of a conjunctive query that has been stated as an open problem in the literature. We conjecture that our hardness and tractability conditions match for resilience problems for UCQs. Further, we obtain a complete dichotomy for resilience problems for two-way regular path queries, under bag semantics.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper3
- A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP RelaxationsNeha Makhija, Wolfgang GatterbauerSIGMOD 2024 · 被引用 13 次
- Is Integer Linear Programming All You Need for Deletion Propagation? A Unified and Practical Approach for Generalized Deletion PropagationNeha Makhija, Wolfgang GatterbauerVLDB 2025 · 被引用 3 次
- Algebraic Approach to ApproximationLibor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola 等LICS 2024 · 被引用 2 次
它引用的顶会 Paper3
- A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP RelaxationsNeha Makhija, Wolfgang GatterbauerSIGMOD 2024 · 被引用 13 次
- Directed flow-augmentationEun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus WahlströmSTOC 2022 · 被引用 12 次
- Solving hard cut problems via flow-augmentationEun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus WahlströmSODA 2021
相关 Paper
- Binary symmetries of tractable non-rigid structuresPaolo Marimon, Michael PinskerLICS 2025 · 被引用 3 次
- The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problemsJohanna Brunar, Marcin Kozik, Tomás Nagy, Michael PinskerLICS 2025
- Decidability of InterpretabilityRoman Feller, Michael PinskerLICS 2026
- Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation PropertyManuel Bodirsky, Bertalan BodorLICS 2021 · 被引用 6 次
- Towards Infinite PCSP: A Dichotomy for Monochromatic CliquesDemian Banakh, Alexey Barsukov, Tamio-Vesa NakajimaLICS 2026
