[논문 리뷰] Construction of an NP Problem with an Exponential Lower Bound

Roman V. Yampolskiy|arXiv (Cornell University)|2011. 10. 28.

Vehicle Routing Optimization Methods참고 문헌 11인용 수 9

한 줄 요약

이 논문은 해시화된 경로 TSP(HPTSP)라는 새로운 NP 문제를 소개한다. 이 문제는 해답 시간에 대해 지수적 하한을 갖는 것으로 설계되었으며, 국소적 부분 경로 정보만으로는 전반적 경로 값의 결정이 불가능함을 보여, HPTSP가 NP에 속하지만 P에 속하지 않음을 증명함으로써, 라드너의 정리에 따라 NPI(NP-중간)가 비어 있지 않음을 입증한다.

ABSTRACT

In this paper we present a Hashed-Path Traveling Salesperson Problem (HPTSP), a new type of problem which has the interesting property of having no polynomial time solutions. Next we show that HPTSP is in the class NP by demonstrating that local information about sub-routes is insufficient to compute the complete value of each route. As a consequence, via Ladner's theorem, we show that the class NPI is non-empty.

연구 동기 및 목표

• 다항식 시간 내에 해결될 수 없음을 엄밀히 증명할 수 있는 구체적인 NP 문제를 구성하는 것.
• HPTSP에서 국소적 부분 경로 정보가 전반적 경로 값 계산에 부족함을 보여주는 것.
• HPTSP가 NP에 속하지만 P에 속하지 않음을 보여, 이는 NP-중간 문제의 존재를 암시하는 것.
• NPI 클래스가 비어 있지 않음을 구체적으로 증명함으로써, 계산 복잡도 이론에서 오랫동안 남아 있던 이론적 질문을 해결하는 것.
• HPTSP가 본질적으로 지수적 복잡도를 지닌 문제임을 제시함으로써, P vs NP 문제의 이론적 기반을 강화하는 것.

제안 방법

• TSP의 경로 평가 메커니즘에 암호학적 해시를 통합하여 해시화된 경로 TSP(HPTSP)를 정의한다.
• 결정적 해시 함수를 사용하여 경로 세그먼트를 고유한 값에 매핑함으로써, 부분 해답이 독립적으로 검증될 수 없도록 보장한다.
• 완전한 경로의 전체 정보가 없이는 검증이 불가능하므로, 국소적 부분 경로 정보만으로는 전반적 검증이 불가능함을 증명한다.
• 전체 경로와 해시 값으로 구성된 해를 다항식 시간 내에 검증할 수 있음을 보여, HPTSP가 NP에 속함을 입증한다.
• 라드너의 정리를 적용하여, P ≠ NP이면 NP에 속하면서도 P에도 NP-완전에도 속하지 않는 문제가 존재함을 결론 내리며, NPI가 비어 있지 않음을 증명한다.
• 부분 경로로부터 전체 경로를 복원하는 데의 비가역성을 해결 시간의 지수적 하한으로 간주한다.

실험 결과

연구 질문

• RQ1 해결에 지수적 시간이 반드시 필요함을 엄밀히 증명할 수 있는 구체적인 NP 문제를 구성할 수 있는가?
• RQ2 국소적 부분 경로 정보만으로는 전반적 해를 결정할 수 없는 NP 문제가 존재하는가?
• RQ3 이러한 문제의 존재가 NPI가 비어 있지 않음을 암시하는가?
• RQ4 라드너의 정리는 잘 정의된 문제 구성에 의해 구체적으로 실현될 수 있는가?
• RQ5 HPTSP는 다항식 시간 해법을 방해하는 본질적인 구조적 복잡성을 지니는가?

주요 결과

• HPTSP는 암호학적 해시를 통합한 TSP의 변종으로 철저히 구성되었으며, 부분 해답이 독립적으로 검증될 수 없도록 보장한다.
• 완전한 해가 주어지면 전체 경로와 해시 값으로 다항식 시간 내에 검증 가능하므로, HPTSP는 NP에 속함을 증명하였다.
• 국소적 부분 경로 정보만으로는 전반적 경로 값 계산이 불가능하며, 이는 부분 결과를 조합하여 다항식 시간 알고리즘이 HPTSP를 해결할 수 없음을 암시한다.
• 국소 정보의 부족성은 효율적 계산을 방해하는 구조적 장벽을 제공하며, 이는 해답 시간에 대한 지수적 하한을 뒷받침한다.
• 라드너의 정리를 적용함으로써, P ≠ NP를 전제로 하면 NPI가 비어 있지 않음을 결론 내렸다.
• 이 구성은 P에도 NP-완전에도 속하지 않는, NP에 속하는 문제의 구체적 예를 제공한다. (P ≠ NP를 전제로 함)