理解证明复杂性中的空间:通过替换实现分离和权衡

摘要:长度-空间之间的权衡:关于解析性的研究和结果

作者:Eli Ben-Sasson and Jakob Nordstr"om

论文ID:1008.1789

分类:Computational Complexity

分类简称:cs.CC

提交时间:2010-08-12

PDF 下载: 英文版 中文版pdf翻译中