BPP中存在问题，但未知为RP或co-RP

是否存在BPP中存在但不存在于RP或共同RP中的自然问题的示例？

在Suresh的要求下将我的评论移至此处。

以下是一个自然问题的示例，对于该问题，我们仅知道在两侧都需要错误的算法：给定三个代数电路，请确定它们中的两个是否完全相同。这是因为在co-RP中确定两个代数电路是否相同。

参考：请参阅错误的多方面内容？（2008年12月2日），关于Lance Fortnow博客上的相同问题以及他的帖子下方的评论，以讨论该问题的自然性。

一个可以说是更自然的问题-不是专门为发现可能是一个问题的目的而设计的，并且还没有那么密切相关的已知在一个问题ç ö ř P -由问题2.6提供的[1]：给定一个素数p，整数ñ和d，以及列表甲的可逆d × d矩阵超过˚F p，并通过所产生的基团甲有规程商≥ $\mathsf{BPP} \backslash \mathsf{RP} \cup \mathsf{coRP}$$\mathsf{coRP}$$p$$N$$d$$A$$d \times d$$\mathbb{F}_{p}$$A$$\geq N$没有阿贝尔的正常亚群？在[1]中表明，这个问题在。$\mathsf{BPP}$

尽管要求没有阿贝尔正态子群的商似乎很古怪，但从群体的结构理论的角度来看，没有阿贝尔正态子群的群的类别（有时称为半简单）实际上是很自然的。参见[2]及其中的参考文献。

[1] L. Babai，R。Beals，A。Seress。矩阵群的多项式时间理论。STOC 2009。

[2] L. Babai，P。Codenotti，Y。Qiao。没有阿贝尔正态子群的群的多项式时间同构检验。出现在ICALP 2012中。