么我们就可以假设它是基于formula_31中的某个完备问题定义的。完备问题这里就相当于对应复杂度类的一个“代表”。说明BPP包含于多项式谱系中的第二层。说明对于任意formula_47，formula_73都不包含于formula_74。户田定理说明PH包含于formula_75。
多项式谱系中的问题.可在多项式时间内确定。语言为最小化电路语言。formula_87因为formula_10在多项式时间内可判定，并且给定formula_89，formula_90当