As Michael Sipser points out in Introduction to the Theory of Computation: "The reduction must be easy, relative to the complexity of typical problems in the class If the reduction itself were difficult to compute, an easy solution to the complete problem wouldn't necessarily yield an easy solution to the problems reducing to it."
Michael Sipser истиче у Уводу у Теорију рачунања: "Свођење мора бити лако, у односу на сложеност типичних проблема у класи Ако је само свођење било тешко израчунати, једноставно решење за потпун проблем не би нужно дао једноставно решење за проблеме свођењем на њега."