Constraint satisfaction problems over the integers with successor

Bodirsky, Manuel, Martin, Barnaby and Mottet, Antoine (2015) Constraint satisfaction problems over the integers with successor. Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I. In: 42nd ICALP 2015, 06-10 Jul 2015, Kyoto, Japan. pbk-ISBN 9783662476710, e-ISBN 9783662476727. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-662-47672-7_21)


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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Paper published in: Automata, Languages, and Programming,
Volume 9134 of the series Lecture Notes in Computer Science, pp 256-267
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 16768
Useful Links:
Depositing User: Barnaby Martin
Date Deposited: 03 Jun 2015 11:31
Last Modified: 26 Mar 2021 05:57

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.