[논문 리뷰] On the skeleton of the pyramidal tours polytope

В. А. Бондаренко, Andrei V. Nikolaev|arXiv (Cornell University)|2017. 10. 17.

Optimization and Packing Problems참고 문헌 12인용 수 5

한 줄 요약

이 논문은 피라미드 순환 다면체 다면체 PYR(n)에서 정점의 인접성에 대한 필수적이고 충분한 조건을 확립하여 선형 시간 내 인접성 테스트를 가능하게 한다. 이는 PYR(n)의 스켈레톤이 지름 2를 가지며 클리크 수가 Θ(n²)임을 증명함으로써, 선형 비교 기반 알고리즘의 다항 시간 복잡도를 시사하며, 일반 TSP 다면체와는 대조적으로 지수적 클리크 수를 가지는 것과 대비된다.

ABSTRACT

We consider the skeleton of the pyramidal tours polytope. Hamiltonian tour is called pyramidal if the salesperson starts in city $1$, then visits some cities in increasing order, reaches city $n$ and returns to city $1$, visiting the remaining cities in decreasing order. The polytope $PYR(n)$ is defined as the convex hull of characteristic vectors of all pyramidal tours in the complete graph $K_{n}$. The skeleton of the polytope $PYR(n)$ is the graph whose vertex set is the vertex set of $PYR(n)$ and edge set is the set of geometric edges or one-dimensional faces of $PYR(n)$. We describe the necessary and sufficient condition for the adjacency of vertices of the polytope $PYR(n)$. On this basis we developed an algorithm to check the vertex adjacency with a linear complexity. We establish that the diameter of $PYR(n)$ skeleton equals 2, and the asymptotically exact estimate of $PYR(n)$ skeleton's clique number is $Θ(n^{2})$. It is known that this value characterizes the time complexity in a broad class of algorithms based on linear comparisons.

연구 동기 및 목표

• 피라미드 순환 다면체 PYR(n)에서 정점의 인접성을 규명하는 것.
• PYR(n)에서 정점 인접성 테스트를 위한 효율적인 알고리즘을 개발하는 것.
• PYR(n)의 1-스켈레톤의 지름과 클리크 수를 결정하는 것.
• 일반 TSP 다면체 TSP(n)와의 다면체 구조를 비교하는 것.
• 조합 최적화에서 다면체 복잡도와 알고리즘 복잡도 간의 관계를 탐색하는 것.

제안 방법

• 저자들은 도시 1에서 시작하여 도시 1부터 n까지 증가 순서로 방문한 후 감소 순서로 되돌아오는 해밀턴 순환을 피라미드 순환으로 정의한다.
• 특성 벡터의 구조에 기반하여 두 피라미드 순환의 다면체 내 인접성에 대한 필요 및 충분 조건을 유도한다.
• 이 조건을 바탕으로 PYR(n)에서 정점 인접성을 테스트하는 선형 시간 알고리즘을 설계한다.
• 조합적 및 기하학적 추론을 사용하여 PYR(n)의 1-스켈레톤 지름이 정확히 2임을 증명한다.
• 특성 벡터의 가능한 구성 수를 세는 방식으로 상한을 유도하여 클리크 수의 하한을 확립한다.
• 하한과 상한을 조합하여 클리크 수가 점근적으로 Θ(n²)임을 증명한다.

실험 결과

연구 질문

• RQ1 피라미드 순환 다면체 PYR(n)의 두 정점이 인접하기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 PYR(n)의 1-스켈레톤의 지름은 얼마인가?
• RQ3 PYR(n)의 1-스켈레톤의 클리크 수의 점근적 성장률은 무엇인가?
• RQ4 PYR(n)의 다면체 구조는 일반 TSP 다면체 TSP(n)와 어떻게 비교되는가?
• RQ5 PYR(n)에서 정점 인접성 테스트의 계산 복잡도는 무엇인가?

주요 결과

• 논문은 피라미드 순환 다면체 PYR(n)에서 정점 인접성에 대한 필요 및 충분 조건을 제공하며, 이를 통해 선형 시간 알고리즘을 통한 인접성 테스트를 가능하게 한다.
• PYR(n)의 1-스켈레톤 지름은 정확히 2이며, 이는 임의의 두 정점이 최대 두 개의 간선을 통해 연결됨을 의미한다.
• PYR(n)의 1-스켈레톤 클리크 수는 Θ(n²)이며, 이는 다항식이며 점근적으로 정확하다.
• 클리크 수의 하한은 (⌊(n−3)/4⌋+1)²개의 상호 인접한 피라미드 순환으로 이루어진 집합 Z를 구성함으로써 확립된다.
• 클리프 수의 상한은 특성 벡터의 가능한 구성 수를 세는 방식으로 도출된 O(n²)이다.
• 결과적으로 PYR(n)는 일반 TSP와 같이 NP-난이도 문제보다는 다항식으로 해결 가능한 문제에 더 가까운 다면체적 성질을 지닌다.