加载中…
The reachability problem for vector addition systems with states (VASS) has been shown to be -complete. For every , a completeness result for the -dimensional VASS reachability problem is not yet available. It is shown in this paper that the -dimensional VASS reachability problem is in , improving upon the current best upper bound established by Leroux and Schmidt in 2019.

生成讲解博客的中文版本

生成AI智能校验的中文版本