有什么证据表明

有什么证据表明？$coRP \neq NP$

是存在概率的图灵机的语言类别，该图灵机在多项式时间内运行，并且在属于该语言的输入中始终回答是，并且在不属于该语言的输入中至少有一半的可能性回答否。 。$coRP$

考虑到不确定性（P vs NP）的影响力时，随机化似乎是一个二阶问题。特别是当我们考虑“ P = NP？”时 我们对“所有NP问题是否都可以处理”这个问题确实感兴趣，因此可以允许随机化，因此，可处理性的真正含义是“在BPP中”。因此，“ BPP中包含的NP”在本质上似乎不像“ P = NP”，实际上，如果认为它们不同，那么人们会关心前者而不是后者。（特殊的变体“ coRP中的NP”正式位于这两者之间的中间位置，但在概念上基本相同）。如果存在足够好的伪随机生成器，那么这两个问题在形式上是相同的。同样，在“非均匀设置”中，随机分配是无济于事的，因此“

如果用coR表示coRP，那么许多人认为P = RP = coRP = BPP，而且P不等于NP，因此coRP不等于NP。

更直接地，如果NP等于coRP，则它将包含在coNP中（因为coRP包含在coNP中）。然后通过对称，NP = coNP。这将意味着多项式层次结构崩溃到第一级。但是，广泛认为多项式层次是无限的。

为了避免重复讨论同一主题，这与上一个问题非常相关：

对于P = RP，有哪些具体证据？

简而言之，P = BPP来自硬度假设，而P = BPP表示P = coRP。