[논문 리뷰] Analysis of the Deterministic Polynomial Time Solvability of the 0-1-Knapsack Problem

Jerrald Meek|ArXiv.org|2008. 05. 05.

Optimization and Packing Problems참고 문헌 4인용 수 3

한 줄 요약

이 논문은 0-1-냅색 문제는 결정적 다항시간에 해결될 수 없으며, P = NP를 위한 필수 조건인 대표 다항시간 탐색 분할을 생성할 수 있는 효율적인 방법이 존재하지 않는다고 주장한다. 주요 기여는 그러한 분할을 효율적으로 찾을 수 없다는 형식적 증명이며, 이는 P가 NP의 진부분집합임을 시사한다.

ABSTRACT

Previously the author has demonstrated that a representative polynomial search partition is required to solve a NP-complete problem in deterministic polynomial time. It has also been demonstrated that finding such a partition can only be done in deterministic polynomial time if the form of the problem provides a simple method for producing the partition. It is the purpose of this article to demonstrate that no deterministic polynomial time method exists to produce a representative polynomial search partition for the Knapsack problem.

연구 동기 및 목표

• 0-1-냅색 문제를 해결할 수 있는 결정적 다항시간 알고리즘이 존재하지 않음을 입증하는 것.
• NP-완전 문제에 대해 대표 다항시간 탐색 분할을 찾는 것이 다항시간 내에 불가능함을 보여주는 것.
• 탐색 공간 분할의 구조적 제약을 분석하여 P가 NP의 진부분집합임을 강화하는 것.
• 포괄적 탐색과 형식 기반 최적화를 모두 다항시간 해결책으로서의 타당한 길로 배제하는 것.
• 0-1-냅색 문제에서 효율적 탐색 분할이 불가능함을 증명하여 보다 광범위한 추측인 P ≠ NP를 지지하는 것.

제안 방법

• 모든 가능한 물건 조합의 집합론적 표현을 사용하여 0-1-냅색 문제의 구조를 분석한다.
• 대표 다항시간 탐색 분할을 다항시간 내에 문제를 해결할 수 있는 입력 집합의 부분집합으로 정의한다.
• 분할을 식별하는 알고리즘 A(S)와 그 여집합을 식별하는 알고리즘 ¬A(S) 사이의 논리적 동치성을 사용하여, 한 쪽이 존재하면 另한 쪽도 존재함을 보여준다.
• P = NP 분할 정리를 적용하여, NP-완전 문제를 다항시간 내에 해결하기 위해서는 그러한 분할을 효율적으로 찾아야 한다고 주장한다.
• 모순에 의한 증명과 논리적 동치성을 활용하여, 0-1-냅색 문제에 대해 그러한 효율적 분할 방법이 존재하지 않음을 보여준다.
• 확률적 및 SAT 기반 접근법이 결정적 다항시간 해결책으로서의 타당한 길로 여겨지지 않음을 고려하고 기각한다.

실험 결과

연구 질문

• RQ1 0-1-냅색 문제에 대해 대표 다항시간 탐색 분할을 결정적 다항시간 내에 생성할 수 있는가?
• RQ2 냅색 문제의 구조적 성질 중 그러한 분할을 효율적이고 직접적으로 식별할 수 있는 것이 존재하는가?
• RQ3 대표 다항시간 탐색 분할을 찾을 수 없다는 것이 P ≠ NP를 의미하는가?
• RQ4 확률적 또는 SAT 기반 방법이 그러한 분할이 필요 없이 다항시간 해결책을 달성하는 데 성공할 수 있는가?
• RQ5 탐색 공간 분할 복잡도 측면에서 냉색 문제는 모든 NP-완전 문제의 대표성을 갖는가?

주요 결과

• 결정적 다항시간 알고리즘은 0-1-냅색 문제에 대해 대표 다항시간 탐색 분할을 생성할 수 없다.
• 분할과 그 여집합을 찾는 것 사이의 논리적 동치성은, 한 쪽이 불가능하면 另한 쪽도 불가능함을 시사한다.
• 특정 요소나 조합을 포함하는 부분집합을 제거하더라도 여전히 지수적 크기의 탐색 공간이 남아 있어 다항시간 축소가 불가능하다.
• 확률적 방법은 다항시간 내에 정확성을 보장할 수 없으므로 P = NP의 조건을 충족하지 못한다.
• SAT에 대한 결정적 다항시간 해결책은 필요하지만 충분하지 않으며, 감소를 통한 전이가 불가능하므로 분석에 의해 배제된다.
• 논문은 요구 조건 하에서 냉색 문제가 해결 불가능하다는 점에 기반하여 P는 NP의 진부분집합임을 결론짓는다.