チューリング還元
formula_49は多項式時間チューリング還元(Cook還元)で閉じている。つまり、