加载中…
2020-03-13
Reachability is Tower Complete
Yuxi FuQizhe Yang
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本