_67，并且formula_68。比如说formula_69。换句话说，如果一个语言是由某个formula_31预言机定义的，那么我们就可以假设它是基于formula_31中的某个完备问题定义的。完备问题这里就相当于对应复杂度类的一个“代表”。说明BPP包含于多项式谱系中的第二层。说明对于任意formula_47，formula_73都不包含于formula_74。户田定理说明PH包含于formula_75。
多项式谱系中的问题.可在多项式时间内确定。语言为最小化