难以解决的。我们可由下列谬证法得证：若此新问题本质上容易解答，且若我们可展示每个旧问题的实例可经由一系列转换步骤变成新问题的实例，则旧问题便容易解决，因此得到悖论。因此新问题可知亦难以解决。一个归约简例是从乘法化成平方。设想我们仅能以加、减、平方与除以二等操作，我们可运用此知识并结合下列方程式，以取得任两数的乘积：我们亦可从另一方向归约此问题：显然地，若我们可以乘以任两数，则我们可以对任一数平方：因此可见两问题之难度似乎相等，此类归约称为图灵归约。上题的图灵归约关系为：然而，若我们增加条件：