[논문 리뷰] On the Graph of the Pedigree Polytope

Abdullah Makkeh, Mozhgan Pourmoradnasseri외 1명|arXiv (Cornell University)|2016. 11. 25.

Graph Labeling and Dimension Problems참고 문헌 17인용 수 3

한 줄 요약

이 논문은 대칭 TSP 다면체의 확장인 피에드리그 다면체의 1-스켈레톤(그래프)의 渐近적 구조를 조사한다. 아르타나리의 다항식 시간 내 인접성 특성화에 기반한 새로운 '인접성 게임' 모델을 사용하여, n개의 도시에 대해 피에드리그 다면체 그래프의 최소 정점 차수는 渐近적으로 $(1-o(1)) \cdot (n-1)!/2$임을 증명한다. 이는 $n \to \infty$일 때 그래프가 渐近적으로 거의 완전해지는 것을 의미하지만, TSP 다면체와 같이 정점 전이성이나 대칭성을 갖지 않음에도 불구하고 그렇다.

ABSTRACT

Pedigree polytopes are extensions of the classical Symmetric Traveling Salesman Problem polytopes whose graphs (1-skeletons) contain the TSP polytope graphs as spanning subgraphs. While deciding adjacency of vertices in TSP polytopes is coNP-complete, Arthanari has given a combinatorial (polynomially decidable) characterization of adjacency in Pedigree polytopes. Based on this characterization, we study the graphs of Pedigree polytopes asymptotically, for large numbers of cities. Unlike TSP polytope graphs, which are vertex transitive, Pedigree graphs are not even regular. Using an "adjacency game" to handle Arthanari's intricate inductive characterization of adjacency, we prove that the minimum degree is asymptotically equal to the number of vertices, i.e., the graph is "asymptotically almost complete".

연구 동기 및 목표

• 피에드리그 다면체의 1-스켈레톤(그래프)의 渐近적 구조를 이해하기 위해.
• Arthanari의 특성화에 의해 다항식 시간 내 인접성이 결정 가능하므로, 큰 $n$에 대해 피에드리그 다면체 그래프의 최소 정점 차수를 분석하기 위해.
• TSP 다면체와 달리 정점 전이성이 없음에도 불구하고 피에드리그 다면체 그래프가 渐近적으로 완전한가 하는 열린 질문을 해결하기 위해.
• 새로운 확률적 '인접성 게임' 모델을 개발하고 적용하여, 다면체 그래프의 유도적 구성 과정에서 정점 차수의 진화를 분석하기 위해.

제안 방법

• 저자들은 아크와 보브가 시간이 지남에 따라 정점을 선택하는 방식으로 그래프의 진화를 모델링하는 '인접성 게임'을 사용한다. 보브는 막힌 상태에서 균일하게 임의로 선택한다.
• 게임은 아르타나리의 피에드리그 다면체에서의 인접성에 대한 유도적 특성화에서 유도된 규칙에 따라 각 정점을 자식 정점의 집합으로 대체함으로써 진화한다.
• 분석은 단계 $n$에서 그래프의 연결 성분 수인 $T_n$과 고립 정점 수인 $S_n$이라는 두 가지 핵심 랜덤 변수를 추적하여, 낮은 차수의 정점 발생 확률을 제한한다.
• 증명은 농도 경계와 마르코프 부등식을 사용하여, 높은 확률로 연결 성분 수 $T_n$이 결국 1로 감소하고 그 상태를 유지함을 보여, 높은 최소 차수를 유도한다.
• 저자들은 크기가 증가하는 간격에 대해 재귀적 추론을 적용하고, 조건부 확률 경계를 사용하여 $T_n$을 감소시키는 데 실패할 가능성을 통제함으로써, 최소 차수가 渐近적으로 완전함을 최종적으로 보여준다.
• 이 방법은 $S_n > \ln^2 n$일 확률을 유한하게 제한하는 데 의존하며, 이는 낮은 차수의 정점 존재 가능성을 의미한다. 이 확률은 큰 $n$에 대해 무시할 수 있을 정도로 작음을 보여준다.

실험 결과

연구 질문

• RQ1 피에드리그 다면체 그래프는 $n \to \infty$일 때 최소 차수가 총 정점 수에 수렴하므로 渐近적으로 거의 완전한가?
• RQ2 Arthanari의 인접성 특성화에 기반한 확률적 게임 모델을 사용하여 비대칭 다면체의 渐近적 차수 분포를 분석할 수 있는가?
• RQ3 피에드리그 다면체 외에도, 그래프가 완전하지는 않지만 최소 차수가 정점 수와 渐近적으로 동일한 다른 다면체가 존재하는가?
• RQ4 기하적 확장 없이도 TSP 다면체의 인접성 조건을 조합적으로 유도할 수 있는가? 이는 실제 TSP 다면체에 더 가까운 그래프를 얻는 데 기여할 수 있다.

주요 결과

• n개의 도시에 대해 피에드리그 다면체 그래프의 최소 차수는 $n \to \infty$일 때 渐近적으로 $(1-o(1)) \cdot (n-1)!/2$이다.
• 피에드리그 다면체의 그래프 조밀도는 渐近적으로 1에 수렴하므로, '渐近적으로 거의 완전하다'고 볼 수 있다.
• TSP 다면체와 달리 정점 전이성이 없음에도 불구하고, 피에드리그 다면체 그래프는 최소 차수가 총 정점 수와 渐近적으로 동일하다. 이는 TSP 다면체 그래프와 다름을 보여준다.
• 연결 성분 수 $T_n$이 상수 $t$를 초과할 확률은 큰 $n$에 대해 $\varepsilon' / 3$ 이하로 경계된다. 이는 $T_n$이 높은 확률로 결국 1로 감소하고 그 상태를 유지함을 의미한다.
• 고립 정점 수 $S_n$이 $\ln^2 n$을 초과할 확률은 충분히 큰 $n$에 대해 최대 $\varepsilon$ 이하이다. 이는 낮은 차수의 정점 발생 가능성을 통제하는 데 기여한다.
• 분석 결과, 확률 $1 - \varepsilon'$로 연결 성분 수 $T_n$이 1로 감소하고, 이후 모든 더 큰 $n$에 대해 그 상태를 유지함을 보여, 그래프의 渐近적 완전성을 확인한다.