Problema in BPP ma non noto in RP o co-RP


Risposte:


21

Spostato il mio commento qui dopo la richiesta di Suresh.

Un esempio di un problema naturale per il quale conosciamo solo algoritmi che richiedono errori su entrambi i lati è il seguente: dati tre circuiti algebrici, decidere se esattamente due di essi sono identici. Ciò deriva dal fatto che decidere se due circuiti algebrici sono identici è nel co-RP.

Riferimento: vedi il post Quanti lati del tuo errore? (2 dicembre 2008) sulla stessa domanda sul blog di Lance Fortnow e sui commenti sotto il suo post per una discussione sulla naturalezza del problema.


20

BPPRPcoRPcoRPpNdAd×dFpANBPP

Mentre chiedere quozienti senza sottogruppi normali abeliani potrebbe sembrare eccentrico, la classe di gruppi senza sottogruppi normali abeliani (a volte chiamata semisemplice) è in realtà abbastanza naturale dal punto di vista della teoria della struttura dei gruppi. Vedi [2] e riferimenti in essa.

[1] L. Babai, R. Beals, A. Seress. Teoria dei tempi polinomiali dei gruppi di matrici . STOC 2009.

[2] L. Babai, P. Codenotti, Y. Qiao. Test di isomorfismo a tempo polinomiale per gruppi senza sottogruppi normali abeliani . Per apparire, ICALP 2012.

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.