Problema no BPP, mas não se sabe que está em RP ou co-RP

Existe um exemplo de um problema natural que está no BPP, mas que não é conhecido por estar em RP ou co-RP?

Movi meu comentário aqui após o pedido de Suresh.

Um exemplo de um problema natural para o qual conhecemos apenas algoritmos que exigem erro de ambos os lados é o seguinte: dados três circuitos algébricos, decida se exatamente dois deles são idênticos. Isso vem do fato de que decidir se dois circuitos algébricos são idênticos está em co-RP.

Referência: veja o post Quantos lados o seu erro? (2 de dezembro de 2008) sobre a mesma pergunta no blog de Lance Fortnow e os comentários abaixo de seu post para uma discussão sobre a naturalidade do 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}$

Embora pedir quocientes sem subgrupos normais abelianos possa parecer excêntrico, a classe de grupos sem subgrupos normais abelianos (às vezes chamados de semi-simples) é realmente bastante natural do ponto de vista da teoria da estrutura dos grupos. Veja [2] e referências nele.

[1] L. Babai, R. Beals, A. Seress. Teoria do tempo polinomial de grupos matriciais . STOC 2009.

[2] L. Babai, P. Codenotti, Y. Qiao. Teste de isomorfismo no tempo polinomial para grupos sem subgrupos normais abelianos . Para aparecer, ICALP 2012.