Tighter MA/1 Circuit Lower Bounds from Verifier Efficient PCPs for PSPACE

Tighter MA/1 Circuit Lower Bounds from Verifier Efficient PCPs for PSPACE
复制标题

PSPACE 验证者高效 PCP 提供更严格的 MA/1 电路下限

DOI:
10.4230/lipics.approx/random.2023.55
复制
发表时间:
2024
期刊:
and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023
影响因子:
--
通讯作者:
Moshkovitz, Dana
Moshkovitz, Dana
中科院分区:
--
文献类型:
--
作者:
Cook, Joshua;Moshkovitz, Dana

文献摘要

相似文献