多项式可简化性

polynomial time reducibility