多项式时间识别

polynomial time recognition