多项式时间图灵归约于

多项式时间图灵归约于（polynomial time Turing reducible to），计算机科学技术名词，给定语言，如果存在谕示图灵机Φ使得多项式时间可计算的，那么称 X 多项式时间图灵归约于 Y ，这里是在Φ的谕示带上安装 Y 所得的计算，是 X 的特征函数。