existen y dan una solución para
no puede ser más difícil que resolver
Normalmente, esto se expresa de la forma
, y se añade un subíndice en
para indicar el tipo de reducción utilizada.
como subíndice para indicar que la reducción puede realizarse en tiempo polinomial: