English Dictionary

Karp reduction

名詞

可算名詞 不可算名詞

(computing theory) A polynomial-time algorithm for transforming inputs to one problem into inputs to another problem, such that the transformed problem has the same output as the original.

日本語の意味

カルプ還元：計算理論において、ある問題の入力を多項式時間アルゴリズムを用いて別の問題の入力に変換し、変換後の問題の出力が元の問題の出力と一致するようにする手法。また、問題の難易度の比較やNP完全性の証明に利用される。

Proving a problem NP-complete often requires constructing a Karp reduction from a known NP-complete problem.

ある問題がNP完全であることを示すには、既知のNP完全問題から多項式時間の多対一還元を構成する必要があることが多い。

意味（1）

(computing theory) A polynomial-time algorithm for transforming inputs to one problem into inputs to another problem, such that the transformed problem has the same output as the original.

Karp reductions （ plural ）