AI 요약
NP-난해 문제가 실제로는 '다루기 불가능'하다는 통념이 과장되었다는 주장입니다. 이론적으로는 최악의 경우가 존재하지만, 실제로는 대부분의 입력에서 빠르게 동작하며 패키지 매니저 의존성 해결, 타입 체킹, 스케줄링, TSP, SAT 등이 실전에서 이미 잘 해결되고 있습니다. 특히 SAT/SMT 알고리즘은 크게 발전해 Amazon은 하루에 10억 개의 SMT 문제를 해결하고 있습니다.
핵심 포인트
- NP-난해 문제의 최악의 경우는 실제로 거의 발생하지 않음
- SAT/SMT 알고리즘 발전으로 Amazon이 하루 10억 개의 SMT 문제를 해결 중
- 1991년부터 2015년까지 알고리즘 개선으로 4,500억 배 속도 향상 (하드웨어 개선보다 큼)
- 최악의 경우에도 타임아웃과 에러 메시지로 실용적 대응이 가능
향후 전망
- 알고리즘 개선 속도가 하드웨어 발전을 능가하고 있어, NP-난해 문제의 실용적 해결 범위가 계속 확대될 전망
- 'NP-난해 = 불가능'이라는 인식이 개발자들의 접근 방식을 불필요하게 제한할 수 있다는 점에 대한 인식 확산 필요
출처:hackernews