摘要：关于有理互动证明与复杂性问题的关联：计数层次与有理证明层次之间的联系以及单轮有理证明的通信复杂性。
作者：Daniil Musatov and Georgii Potapov
论文ID：2305.04563
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-05-09
PDF 下载： 英文版 中文版pdf翻译中