摘要：可逆、完全确定性系统的PSPACE完全性证明
作者：Erik D. Demaine, Robert A. Hearn, Dylan Hendrickson, Jayson Lynch
论文ID：2207.07229
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-07-18
PDF 下载： 英文版 中文版pdf翻译中