有能力随机化的敌手不会更弱,所以定义高效敌手为在多项式上运行的概率算法,即 PPT 敌手