Арора и Барак показывают, что можно выразить как B P ⋅ N P, то есть набор языков, которые имеют рандомизированные сокращения до 3SAT. M A также является естественным рандомизированным обобщением N P в том смысле, что вы заменяете детерминированный верификатор на рандомизированный.
Есть ли смысл в том, что один из них ближе подходит к «P - к BPP, как NP к»? отношение?