2
- 이론에서 Karp-reductions을 사용하는 동기
다항식 시간 감소 (Cook reductions) 개념은 매우 직관적 인 개념의 추상화입니다. 다른 문제에 대한 알고리즘을 사용하여 문제를 효율적으로 해결합니다. 그러나 이론에 -completeness의 개념 - 경도 매핑 감소 (카프 감축)를 통해 캡처됩니다. 이 "제한된"축소 개념은 (적어도 나에게는) 직관적이지 않다. 그것은 다소 덜 직관적 인 경도 개념을 생성하기 때문에 약간 생각한 것처럼 …