Karp-reducible

比較不可

(computing theory) Capable of undergoing Karp reduction.

日本語の意味

計算理論において、ある問題が他の問題へ多項式時間で帰着（カルプ還元）できる性質を持つことを指す。

We proved that the new decision problem is Karp-reducible to 3-SAT.

我々はその新しい決定問題がKarp還元可能であり、3-SATに還元できることを示した。

意味（1）

(computing theory) Capable of undergoing Karp reduction.