Una transformación polinómica de "L" en "C" es un algoritmo determinista que transforma instancias de "l" ∈ "L" en instancias de "c" ∈ "C", tales que la respuesta a "c" es positiva si y sólo si la respuesta a "l" lo es.