A complete characterization of the complexity of the reachability problem for vector addition system has been open for a long time. The problem is shown to be Tower complete.

中文翻译：

---

可达性是塔完成

向量加法系统可达性问题复杂性的完整表征已经开放了很长时间。问题显示为 Tower 已完成。