[논문 리뷰] The Complexity Of The NP-Class

Carlos Barrón-Romero|arXiv (Cornell University)|2010. 06. 11.

Advanced Graph Theory Research참고 문헌 13인용 수 4

한 줄 요약

이 논문은 NP-클래스 문제들이 일반적으로 지수적 복잡도를 가지며, 임의의 큰 인스턴스에 대해 최적화 성질을 갖지 못함을 제안하고, worst case에서 NP-클래스가 다항시간 해결책을 갖지 못함을 증명한다. 또한 2차원 유클리드 TSP가 다항시간으로 해결 가능함을 보여주는 다항식 감소 절차를 제시하여, 기존의 논의된 추측을 해결하며 P ≠ NP임을 입증한다. 유일한 예외는 자명한 축소 가능한 경우뿐이다.

ABSTRACT

This paper presents a novel and straight formulation, and gives a complete insight towards the understanding of the complexity of the problems of the so called NP-Class. In particular, this paper focuses in the Searching of the Optimal Geometrical Structures and the Travelling Salesman Problems. The main results are the polynomial reduction procedure and the solution to the Noted Conjecture of the NP-Class.

연구 동기 및 목표

• NP 문제의 구조적 복잡도를 분석하여 오랫동안 미해결된 P = NP 문제를 해결하기 위해.
• 특히 Lennard-Jones 포텐셜 문제와 일반 할당 문제(GAP)의 본질적 복잡도를 조사하기 위해.
• 임의의 큰 NP 문제에 대해 다항시간 알고리즘이 해답을 검증할 수 있는지 여부를 판단하기 위해.
• 문제별 구조와 성질을 분석하여 NP 문제에 대한 효율적인 알고리즘 설계의 가능성을 탐색하기 위해.
• 검색 공간의 다항식 감소 및 구조적 분석을 통해 P와 NP를 구분하는 이론적 기반을 구축하기 위해.

제안 방법

• 문제 제약 조건을 만족하는 모든 유효하고 가능한 입력으로 정의된 NP 문제의 연구 영역을 분석한다.
• TSP를 적은 열을 가진 구조화된 행렬 형태로 변환하기 위해 다항식 감소를 적용하여 효율적인 탐색을 가능하게 한다.
• GAP_n와 TSP_n에 대해 정수계획법(IP) 형식을 사용하여 조합 최적화 문제를 모델링한다.
• 해결책 검증의 복잡도를 분석하기 위해 튜링 기계 계산 모델을 활용한다.
• 일반적인 경우에 다항시간 해결이 불가능한 이유를 밝히기 위해 검색 공간의 구조적 성질을 비교 분석한다.
• 다항시간 검증 가능하고 비가역적인 해답 사이의 경계를 정의하기 위해 정렬된 행렬 𝒫을 도입한다.

실험 결과

연구 질문

• RQ1 임의의 큰 NP 문제에 대해 다항시간 알고리즘이 해답을 검증할 수 있는가?
• RQ2 2차원 유클리드 TSP는 다항시간으로 해결될 수 있으며, 어떤 구조적 성질이 이를 가능하게 하는가?
• RQ3 클러스터 구조에 대한 Lennard-Jones 포텐셜 문제의 진정한 복잡도는 무엇인가?
• RQ4 왜 NP 문제들은 다항시간 해결이 가능한 일반 최적화 성질을 갖지 못하는가?
• RQ5 다항시간으로 해결 가능한 문제들(예: 2차원 유클리드 TSP)과 그렇지 않은 문제들 사이에 본질적인 구조적 차이가 존재하는가?

주요 결과

• NP-클래스는 임의의 큰 인스턴스에 대해 일반적인 최적화 성질을 갖지 않으며, 이로 인해 지수적 복잡도를 가진다.
• 2차원 유클리드 TSP는 다항식 복잡도를 가지며, 이는 이전에 비가역적이라고 분류된 바와 정반대이다.
• Lennard-Jones 포텐셜 문제에 대해 n 개 입자로 구성된 클러스터(LJP_n)는 감소된 격자에 제한된 경우조차도 지수적 복잡도를 가진다.
• 이전에 검증되지 않았던 n ≤ 1501에 대한 가설적 최적 클러스터는 감소된 격자에서 테스트한 결과 이제는 전역 최적으로 간주된다.
• 다항식 복잡도와 지수적 복잡도 사이의 경계는 정렬된 행렬 𝒫의 위치에 의해 정의되며, 이는 검증 가능한 해답의 경계를 나타낸다.
• 이 논문은 일반적인 경우에 P ≠ NP임을 증명함으로써 기존의 논의된 NP-클래스 추측을 해결한다. 유일한 예외는 자명한 축소 가능한 경우뿐이다.