多項式時間歸約

在計算複雜性理論中 ， 多項式時間歸約是指假設已有解決一個問題的子程序 ， 利用它在多項式時間內 （ 不考慮子程序運行所用時間 ） 解決另一個問題的歸約方法 。 如果將第一個問題轉換成第二個的時間 ， 且子程序被調用的次數都是多項式級別的 ， 那麼第一個問題可以多項式時間規約到第二個問題 。 多項式時間規約證明了第一個問題不比第二個問題難 。 因爲當第二個問題存在高效率算法時 ， 第一個也存在 。 因爲逆否命題 ， 如果第一個問題沒有高效率算法時 ， 第二個也沒有 。 計算複雜性理論中經常使用多項式時間規約來定義複雜性類和完全問題 。