Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

التفاصيل البيبلوغرافية
العنوان: Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes
المؤلفون: Czerwiński, Wojciech, Orlikowski, Łukasz
سنة النشر: 2022
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
الوصف: We study the complexity of the reachability problem for Vector Addition Systems with States (VASSes) in fixed dimensions. We provide four lower bounds improving the currently known state-of-the-art: 1) \np-hardness for unary flat $4$-VASSes (VASSes in dimension 4), 2) \pspace-hardness for unary $5$-VASSes, 3) \expspace-hardness for binary $6$-VASSes and 4) \tower-hardness for unary $8$-VASSes.
نوع الوثيقة: Working Paper
URL الوصول: http://arxiv.org/abs/2203.04243
رقم الأكسشن: edsarx.2203.04243
قاعدة البيانات: arXiv