AM / MA e NP in analogia a P e BPP


12

Arora e Barak mostrano che può essere espresso come B PN P, ovvero l'insieme delle lingue che hanno riduzioni randomizzate a 3SAT. M A è anche una generalizzazione randomizzata naturale di N P in quanto si sostituisce il verificatore deterministico con uno verificabile randomizzato.AMBPNPMANP

C'è un senso in cui uno di questi si adatta meglio a "P sta a BPP come NP sta a?" relazione?


11
Solo per dare credito dove è dovuto, Zachos è stato il primo a esprimere AM come BP NP.
Lance Fortnow,

Sì, mi riferivo al libro di testo senza fare attenzione. Grazie !
Suresh Venkat,

Risposte:


17

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

MABPPAMNP


16

Ecco un punto per AM: per una classe di complessità C, quasi-C è definito come l'insieme di linguaggi che sono in C rispetto a quasi ogni oracolo (quasi = Probabilità 1). Quindi quasi-P = BPP e quasi-NP = AM.


9

In un'altra prospettiva, l'IP è la generalizzazione se pensi a NP come a ciò che puoi dimostrare a uno scettico del tempo polinomiale.

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.