集合）任意选择预言机A时，会对复杂度类产生怎样的变化是一个很有趣的问题。我们已经知道，任意选择预言机A的话，P≠NP。当一个陈述对几乎所有预言机成立时，我们可以说「对随机预言机也成立」。这个术语的成立基于随机预言机选择支持陈述的机率仅可能是零或一（根据零一律）。这被视为P≠NP的一个佐证。不过，一个陈述可以同时对随机预言机成立，但是对一般图灵机不成立；例如，对任意预言A，IP≠PSPACE，但是IP = PSPACE.
预言以及停机问题.即使一个问题是不可计算的，我们还是可以定义一