[논문 리뷰] Hamiltonian increasing paths in random edge orderings

M. I. Lavrov, Po‐Shen Loh|arXiv (Cornell University)|2014. 03. 04.

Stochastic processes and statistical mechanics참고 문헌 17인용 수 3

한 줄 요약

이 논문은 완전 그래프 $K_n$ 의 무작위 간선 순서에서 증가하는 경로의 최대 길이를 조사한다. 간선들이 균일하게 무작위로 레이블이 부여될 때, 확률 $1/e$ 이상으로 해밀턴 증가 경로(길이 $n-1$)가 존재하며, 고확률으로 길이 최소 $0.85n$ 의 증가 경로가 존재한다. 이는 무작위 설정에서 거의 해밀턴 경로들이 놀랄 만큼 풍부하게 존재함을 드러내며, worst-case 하한 $\\-sqrt{n-1}$ 에 비해 극명한 대비를 이룬다.

ABSTRACT

If the edges of the complete graph $K_n$ are totally ordered, a simple path whose edges are in ascending order is called increasing. The worst-case length of the longest increasing path has remained an open problem for several decades, with asymptotic bounds between $\sqrt{n}$ (Graham and Kleitman, 1973) and $n/2$ (Calderbank, Chung, and Sturtevant, 1984). We consider the average case, when the ordering is chosen uniformly at random. We discover the surprising result that in the random setting, an increasing path of the maximum possible length of $n-1$ exists with probability at least about $1/e$. We also prove that with probability $1-o(1)$, there is an increasing path of length at least $0.85n$, suggesting that this Hamiltonian (or near-Hamiltonian) phenomenon may hold asymptotically almost surely.

연구 동기 및 목표

• 완전 그래프 $K_n$ 의 무작위 간선 순서에서 증가하는 경로의 일반적인 행동을 이해함으로써, 최악의 경우에서 평균적인 경우 분석으로 초점을 이동시키는 것.
• 수십 년 동안 진전이 없었던, 무작위 간선 순서에서 증가하는 경로의 길이를 특성화하는 오랜 열린 문제를 해결하는 것.
• 무작위 순서에서 해밀턴 증가 경로가 흔한지 확인함으로써, $\sqrt{n-1}$ 에 불과한 최악의 경우 하한과 대비되는 것.

제안 방법

• 각 정점에서 증가 경로를 구성하기 위한 근사 알고리즘을 분석하여, 확률적 및 조합적 추론을 통해 경로 길이의 상한을 구함.
• 증가 레이블 하에 간선을 순행하는 것을 모델링하기 위해 규칙를 수정한 보행자 추론의 변형을 적용하여 랜덤 설정에 적응함.
• 생성 함수와 渐近 분석을 사용하여 긴 증가 경로를 유도하는 구성 수를 추정함.
• 기대값에서 긴 경로의 수를 유계화하기 위해 이중 합 분해를 $S_1$, $S_2$, $S_3$ 로 나누고, 수렴을 위해 꼬리 분석을 철저히 수행함.
• 비율 추정과 지수 감쇠 상한을 적용하여 짧고 중간 길이 경로의 기여 총합이 $o(n^2)$ 임을 보임으로써, 긴 경로의 집중을 유도함.
• 농도 부등식과 이항계수 및 다항계수의 상한을 활용하여 오차 항을 제어하고 고확률 결과를 확립함.

실험 결과

연구 질문

• RQ1 완전 그래프 $K_n$ 의 균일한 무작위 간선 순서에서 증가하는 경로의 일반적인 길이는 얼마인가?
• RQ2 무작위 간선 순서에서 해밀턴 증가 경로(길이 $n-1$)는 얼마나 자주 나타나는가?
• RQ3 무작위 설정에서 증가하는 경로의 길이가 고확률으로 $n-1$ 근처에 집중되는가?
• RQ4 평균 경우에서 최악의 경우 하한 $\sqrt{n-1}$ 을 크게 향상시킬 수 있는가?
• RQ5 긴 증가 경로가 점차적으로 거의 확실히 존재하는 단계 전이가 무작위 설정에서 발생하는가?

주요 결과

• 확률 $1/e$ 이상으로, $K_n$ 의 무작위 간선 순서는 길이 $n-1$ 의 해밀턴 증가 경로를 포함한다.
• 고확률(점차적으로 거의 확실히), 길이 최소 $0.85n$ 의 증가 경로가 존재한다.
• 긴 증가 경로를 유도하는 구성 수는 $o(n^2)$ 이하로 유계화되어 있으며, 이는 경로 길이가 $n-1$ 근처에 집중됨을 의미한다.
• 분석 결과, 중간 길이 경로의 기여는 무시할 수 있으며, $S_2 = o(n^2)$ 이고 $S_3 = o(n^2)$ 이다.
• 논문은 해밀턴 증가 경로가 최악의 경우에 드물게 나타나지만, 무작위 설정에서는 흔한 것으로 밝혀져 오랜 동안 열려 있던 극단적 조합론의 문제를 해결하였다.
• 결과는 최악의 경우와 평균의 경우 행동 사이에 뚜렷한 대비를 보이며, 평균의 경우는 거의 해밀턴 행동 단계를 나타낸다.