多项式归约

polynomial reduction