Automata Column: The Complexity of Reachability in Vector Addition Systems - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Article Dans Une Revue ACM SIGLOG News Année : 2016

Automata Column: The Complexity of Reachability in Vector Addition Systems

Résumé

The program of the 30th Symposium on Logic in Computer Science held in 2015 in Kyoto included two contributions on the computational complexity of the reachability problem for vector addition systems: Blondin, Finkel, Göller, Haase, and McKenzie [2015] attacked the problem by providing the first tight complexity bounds in the case of dimension 2 systems with states, while Leroux and Schmitz [2015] proved the first complexity upper bound in the general case. The purpose of this column is to present the main ideas behind these two results, and more generally survey the current state of affairs.
Fichier principal
Vignette du fichier
main.pdf (406.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01275972 , version 1 (18-02-2016)

Identifiants

Citer

Sylvain Schmitz. Automata Column: The Complexity of Reachability in Vector Addition Systems. ACM SIGLOG News, 2016, 3 (1), pp.3--21. ⟨10.1145/2893582.2893585⟩. ⟨hal-01275972⟩
172 Consultations
741 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More