AM / MA и NP по аналогии с P и BPP


12

Арора и Барак показывают, что можно выразить как B PN P, то есть набор языков, которые имеют рандомизированные сокращения до 3SAT. M A также является естественным рандомизированным обобщением N P в том смысле, что вы заменяете детерминированный верификатор на рандомизированный.AMBPNPMANP

Есть ли смысл в том, что один из них ближе подходит к «P - к BPP, как NP к»? отношение?


11
Просто чтобы отдать должное, где это должно быть, Zachos был первым, кто выразил AM как BP NP.
Лэнс Фортноу

Да, я имел в виду учебник, не будучи осторожным. Благодарность !
Суреш Венкат

Ответы:


17

MAP=BPPNP=MANP=AMpromiseP=promiseBPPpromiseNP=promiseMApromiseNP=promiseAM

MABPPAMNP


16

Вот точка для AM: Для класса сложности C почти C определяется как набор языков, которые находятся в C относительно почти каждого оракула (почти = Вероятность 1). Тогда почти-P = BPP и почти-NP = AM.


9

Иными словами, IP - это обобщение, если вы думаете о NP как о том, что вы можете доказать скептику за полиномиальное время.

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.