Reachability in Geometrically $d$-Dimensional VASS

📝 Original Info

• Title: Reachability in Geometrically $d$-Dimensional VASS
• ArXiv ID: 2504.12302
• Date: 2025-03-05
• Authors: ** 논문에 명시된 저자 정보가 제공되지 않았습니다. **

📝 Abstract

Reachability of vector addition systems with states (VASS) is Ackermann complete~\cite{leroux2021reachability,czerwinski2021reachability}. For $d$-dimensional VASS reachability it is known that the problem is NP-complete~\cite{HaaseKreutzerOuaknineWorrell2009} when $d=1$, PSPACE-complete~\cite{BlondinFinkelGoellerHaaseMcKenzie2015} when $d=2$, and in $\mathbf{F}_d$~\cite{FuYangZheng2024} when $d>2$. A geometrically $d$-dimensional VASS is a $D$-dimensional VASS for some $D\ge d$ such that the space spanned by the displacements of the circular paths admitted in the $D$-dimensional VASS is $d$-dimensional. It is proved that the $\mathbf{F}_d$ upper bounds remain valid for the reachability problem in the geometrically $d$-dimensional VASSes with $d>2$.

💡 Deep Analysis

📄 Full Content

Reference