Network Satisfaction Problems Solved by k-Consistency
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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 language | English |
|---|---|
| Title of host publication | 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023) |
| Editors | Kousha Etessami, Uriel Feige, Gabriele Puppis |
| Pages | 116:1-116:20 |
| Number of pages | 20 |
| ISBN (electronic) | 9783959772785 |
| Publication status | Published - Jul 2023 |
| Peer-reviewed | Yes |
Publication series
| Series | Leibniz international proceedings in informatics : LIPIcs |
|---|---|
| Volume | 261 |
| ISSN | 1868-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