Constraint satisfaction problems over the integers with successor
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
A distance constraint satisfaction problem is a constraint satisfaction problem (CSP) whose constraint language consists of relations that are first-order definable over (Z; succ), i. e., over the integers with the successor function. Our main result says that every distance CSP is in P or NP-complete, unless it can be formulated as a finite domain CSP in which case the computational complexity is not known in general.
Details
Originalsprache | Englisch |
---|---|
Titel | Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Proceedings |
Redakteure/-innen | Magnus M. Halldorsson, Naoki Kobayashi, Bettina Speckmann, Kazuo Iwama |
Herausgeber (Verlag) | Springer Verlag |
Seiten | 256-267 |
Seitenumfang | 12 |
ISBN (Print) | 9783662476710 |
Publikationsstatus | Veröffentlicht - 2015 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 9134 |
---|---|
ISSN | 0302-9743 |
Konferenz
Titel | 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015 |
---|---|
Dauer | 6 - 10 Juli 2015 |
Stadt | Kyoto |
Land | Japan |
Externe IDs
ORCID | /0000-0001-8228-3611/work/142241111 |
---|