令P≠NP，但是多数证明方式都带有相对性。探讨从所有可能的预言机中（一个无限大的集合）任意选择预言机A时，会对复杂度类产生怎样的变化是一个很有趣的问题。我们已经知道，任意选择预言机A的话，P≠NP。当一个陈述对几乎所有预言机成立时，我们可以说「对随机预言机也成立」。这个术语的成立基于随机预言机选择支持陈述的机率仅可能是零或一（根据零一律）。这被视为P≠NP的一个佐证。不过，一个陈述可以同时对随机预言机成立，但是对一般图灵机不成立；例如，对任意预言A，IP≠PSPACE，但是IP = PSPACE.S