多项式时间多一归约于

多项式时间多一归约于（polynomial time many-one reducible to），计算机科学技术名词，给定语言，如果存在多项式时间可计算函数 f ，使对一切 x ， x ∈ X 当且仅当 f(x) ∈ Y ，那么称 X 是多项式时间多一归约于 Y 。