Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Eine Polynomialzeitreduktion (auch als polynomielle Reduktion bezeichnet) ist eine spezielle Form der Reduktion .
Neben der Forderung dass eine Sprache auf eine andere Sprache <math>L</math> mittels einer <math>f\;</math> reduzierbar ist muss diese Funktion für polynomielle Reduktion zusätzlich in Polynomialzeit berechnet werden können.