C'è un esempio di un problema naturale che si trova in BPP ma che non è noto per essere in RP o co-RP?
C'è un esempio di un problema naturale che si trova in BPP ma che non è noto per essere in RP o co-RP?
Risposte:
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.
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.