多项式时间层次

polynomial-time hierarchy