加载中…
A recent result of Ghentiyala, Li, and Stephens-Davidowitz (ECCC TR 25-210) shows that any language reducible to the Range Avoidance Problem via deterministic or randomized Turing reductions is contained in AM coAM. In this note, we present a different potential avenue for obtaining the same result via the Minimal Circuit Size Problem.

生成讲解博客的中文版本

生成AI智能校验的中文版本