๐ฎ
๐ฎ
The Ethereal
The Complexity of Resilience Problems via Valued Constraint Satisfaction
September 27, 2023 ยท The Ethereal ยท ๐ Logic in Computer Science
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Manuel Bodirsky, ลฝaneta Semaniลกinovรก, Carsten Lutz
arXiv ID
2309.15654
Category
math.LO: Logic
Cross-listed
cs.CC,
cs.DB
Citations
5
Venue
Logic in Computer Science
Last Checked
1 month ago
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.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic
๐ฎ
๐ฎ
The Ethereal
Dialectical Rough Sets, Parthood and Figures of Opposition-1
๐ฎ
๐ฎ
The Ethereal
Approximations from Anywhere and General Rough Sets
๐ฎ
๐ฎ
The Ethereal
Undecidability of the Lambek calculus with subexponential and bracket modalities
๐ฎ
๐ฎ
The Ethereal
A family of neighborhood contingency logics
๐ฎ
๐ฎ
The Ethereal