Network Satisfaction Problems Solved by k-Consistency

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Abstract

We show that the problem of deciding for a given finite relation algebra A whether the network satisfaction problem for A can be solved by the k-consistency procedure, for some k ∈ N, is undecidable. For the important class of finite relation algebras A with a normal representation, however, the decidability of this problem remains open. We show that if A is symmetric and has a flexible atom, then the question whether NSP(A) can be solved by k-consistency, for some k ∈ N, is decidable (even in polynomial time in the number of atoms of A). This result follows from a more general sufficient condition for the correctness of the k-consistency procedure for finite symmetric relation algebras. In our proof we make use of a result of Alexandr Kazda about finite binary conservative structures.

Details

Original languageEnglish
Title of host publication50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)
EditorsKousha Etessami, Uriel Feige, Gabriele Puppis
Pages116:1-116:20
Number of pages20
ISBN (electronic)9783959772785
Publication statusPublished - Jul 2023
Peer-reviewedYes

Publication series

SeriesLeibniz international proceedings in informatics : LIPIcs
Volume261
ISSN1868-8969

External IDs

Scopus 85167338316
ORCID /0000-0001-8228-3611/work/152544381

Keywords

ASJC Scopus subject areas

Keywords

  • Computational Complexity, Constraint Satisfaction, Datalog, k-Consistency, Network Satisfaction, Qualitative Reasoning, Relation Algebras