2014 | OriginalPaper | Buchkapitel
Integer Vector Addition Systems with States
verfasst von : Christoph Haase, Simon Halfon
Erschienen in: Reachability Problems
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper studies reachability, coverability and inclusion problems for Integer Vector Addition Systems with States (ℤ-VASS) and extensions and restrictions thereof. A ℤ-VASS comprises a finite-state controller with a finite number of counters ranging over the integers. Although it is folklore that reachability in ℤ-VASS is
NP
-complete, it turns out that despite their naturalness, from a complexity point of view this class has received little attention in the literature. We fill this gap by providing an in-depth analysis of the computational complexity of the aforementioned decision problems. Most interestingly, it turns out that while the addition of reset operations to ordinary VASS leads to undecidability and Ackermann-hardness of reachability and coverability, respectively, they can be added to ℤ-VASS while retaining
NP
-completeness of both coverability and reachability.