Constraint satisfaction problems over the integers with successor

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

  • Manuel Bodirsky - , Institut für Algebra, Technische Universität Dresden (Autor:in)
  • Barnaby Martin - , Middlesex University (Autor:in)
  • Antoine Mottet - , École normale supérieure Paris-Saclay (Autor:in)

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

OriginalspracheEnglisch
TitelAutomata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Proceedings
Redakteure/-innenMagnus M. Halldorsson, Naoki Kobayashi, Bettina Speckmann, Kazuo Iwama
Herausgeber (Verlag)Springer Verlag
Seiten256-267
Seitenumfang12
ISBN (Print)9783662476710
PublikationsstatusVeröffentlicht - 2015
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 9134
ISSN0302-9743

Konferenz

Titel42nd International Colloquium on Automata, Languages and Programming, ICALP 2015
Dauer6 - 10 Juli 2015
StadtKyoto
LandJapan

Externe IDs

ORCID /0000-0001-8228-3611/work/142241111

Schlagworte

Bibliotheksschlagworte