ブール関数
自然な証明は、直接または間接に、ブール関数が何らかの「自然な組合せ論的な性質」を持つことを示し、その性質を用いて複雑性クラスを分解する。ところが、ラズボロフとルディッチは「擬似乱数生成器が指数的な複雑性を持つ」と仮定した状況下で、そうした方法ではある種の複雑性クラスを分離できないことを示した。特に、擬似乱数生成器の存在を仮定すると、こうした証明方法では複雑性クラスPとNPを分離できない。