The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems
Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
Abstract
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.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext a178c6db-7938-4297-8740-90f66a78eb45Cited by top-tier papers3
- A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP RelaxationsNeha Makhija, Wolfgang GatterbauerSIGMOD 2024 · 13 citations
- Is Integer Linear Programming All You Need for Deletion Propagation? A Unified and Practical Approach for Generalized Deletion PropagationNeha Makhija, Wolfgang GatterbauerVLDB 2025 · 3 citations
- Algebraic Approach to ApproximationLibor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola et al.LICS 2024 · 2 citations
Builds on3
- A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP RelaxationsNeha Makhija, Wolfgang GatterbauerSIGMOD 2024 · 13 citations
- Directed flow-augmentationEun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus WahlströmSTOC 2022 · 12 citations
- Solving hard cut problems via flow-augmentationEun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus WahlströmSODA 2021
Related papers
- Binary symmetries of tractable non-rigid structuresPaolo Marimon, Michael PinskerLICS 2025 · 3 citations
- 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 citations
- Towards Infinite PCSP: A Dichotomy for Monochromatic CliquesDemian Banakh, Alexey Barsukov, Tamio-Vesa NakajimaLICS 2026
