Karp-reducible

Adjective

not-comparable

(computing theory) Capable of undergoing Karp reduction.

Japanese Meaning

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

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

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

Sense（1）

(computing theory) Capable of undergoing Karp reduction.