PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
April 4, 2026ACM Transactions on Computational Logic0 citations

The Complexity of Resilience Problems via Valued Constraint Satisfaction

View Full Paper
MBManuel BodirskyŽSŽaneta SemanišinováCLCarsten Lutz

Key Points

  • The aim is to explore the complexity of resilience problems within valued constraint satisfaction problems (VCSPs).
  • Analyzed cost functions over countably infinite domains with oligomorphic permutation groups.
  • Established hardness and polynomial-time tractability conditions based on pp-constructability and fractional polymorphisms.
  • Examined resilience problems for unions of conjunctive queries (UCQs) under bag semantics.
  • Determined complexity for incidence-acyclic UCQs and a previously open conjunctive query.
  • Identified a complexity dichotomy for resilience problems concerning incidence-acyclic UCQs.
  • Demonstrated specific conditions under which resilience problems exhibit polynomial-time tractability.
  • Conjectured alignment between hardness and tractability conditions for UCQ resilience problems.

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 AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Bodirsky et al. (2026) studied this question.

synapsesocial.com/papers/69d0af83659487ece0fa5824https://doi.org/10.1145/3806207
Ask AI
Helpful
Bookmark
Share
View Full Paper