Problema en BPP pero no se sabe que está en RP o co-RP

¿Hay un ejemplo de un problema natural que está en BPP pero que no se sabe que está en RP o co-RP?

Trasladé mi comentario aquí después de la solicitud de Suresh.

Un ejemplo de un problema natural para el que solo conocemos algoritmos que requieren error en ambos lados es el siguiente: dados tres circuitos algebraicos, decida si exactamente dos de ellos son idénticos. Esto viene del hecho de que decidir si dos circuitos algebraicos son idénticos es en co-RP.

Referencia: ver la publicación ¿Cuántos lados de su error? (2 de diciembre de 2008) sobre la misma pregunta en el blog de Lance Fortnow y los comentarios debajo de su publicación para una discusión sobre la naturalidad del problema.

$\mathsf{BPP} \backslash \mathsf{RP} \cup \mathsf{coRP}$$\mathsf{coRP}$$p$$N$$d$$A$$d \times d$$\mathbb{F}_{p}$$A$$\geq N$$\mathsf{BPP}$

Si bien pedir cocientes sin subgrupos normales abelianos puede parecer excéntrico, la clase de grupos sin subgrupos normales abelianos (a veces llamados semisimple) es en realidad bastante natural desde el punto de vista de la teoría de la estructura de los grupos. Ver [2] y referencias allí.

[1] L. Babai, R. Beals, A. Seress. Teoría del tiempo polinómico de los grupos matriciales . STOC 2009.

[2] L. Babai, P. Codenotti, Y. Qiao. Prueba de isomorfismo en tiempo polinómico para grupos sin subgrupos normales abelianos . Para aparecer, ICALP 2012.