[논문 리뷰] Adding random edges to create the square of a Hamilton cycle

Patrick Bennett, Andrzej Dudek외 1명|arXiv (Cornell University)|2017. 10. 07.

Limits and Structures in Graph Theory참고 문헌 9인용 수 12

한 줄 요약

이 논문은 최소 차수 $ \alpha n $를 가지는 그래프($ \alpha > 1/2 $)에 $ O(n^{4/3} /\log^{1/3}n) $개의 무작위 간선을 추가하면 높은 확률으로 해밀턴 순환의 제곱이 형성됨을 보여준다. 이 방법은 세 단계로 나누어 무작위 간선을 추가하고, 연결성과 간선 밀도를 활용하여 2-경로를 구성하고 닫는 데 기반한 회전 기반 알고리즘(ERA)을 사용한다.

ABSTRACT

We consider how many random edges need to be added to a graph of order $n$ with minimum degree $αn$ in order that it contains the square of a Hamilton cycle w.h.p..

연구 동기 및 목표

• 최소 차수가 $ \alpha n $인 그래프에서 해밀턴 순환의 제곱이 존재하도록 보장하기 위해 필요한 최소 무작위 간선 수를 결정하는 것 (여기서 $ \alpha > 1/2 $).
• 보만, 프리츠, 마틴의 해밀턴성 결과를 해밀턴 순환의 제곱으로 확장하는 것.
• 밀도 높은 그래프에서 높은 확률로 해밀턴 순환의 제곱을 보장하는 무작위 간선 추가의 임계값을 제공하는 것.
• 2-경로의 구조적 성질과 무작위 간선을 이용한 회전 및 연장 알고리즘(ERA)을 통한 닫힘을 분석하는 것.

제안 방법

• 무작위 간선 집합 $ X $를 세 개의 독립된 부분집합 $ X_1, X_2, X_3 $으로 분할하며, 각각의 간선 포함 확률은 $ p = \frac{K \log^{1/3}n}{n^{2/3}} $이다.
• $ X_1 $을 사용하여 랜덤 완전 매칭의 간선 집합 위에 그래프 $ \Gamma_1 = \Pi(G + X_1) $를 구성한다. 여기서 간선는 $ K_4 $-유도 부분그래프를 나타낸다.
• $ \Gamma_1 $가 높은 확률로 최소 차수 $ \beta_1 n $ 이상을 가지며, $ \beta_1 = (2\alpha - 1)^3 / 2 $임을 증명한다. 아즈마-후이딩 부등식을 사용한다.
• $ X_2 $를 사용하여 $ \Gamma_2 = \Pi(G + X_1 + X_2) $를 구성하고, 구성 요소 확장 방법을 통해 높은 확률로 연결되어 있음을 증명한다.
• 에지 회전 알고리즘(ERA)을 적용하여 $ \Gamma $의 간선을 사용해 반복적으로 2-경로를 회전하고 연장하며, $ X_3 $를 통해 닫힘 시도를 한다.
• 홀수 $ n $인 경우, 기둥 구조를 유지하고 경로 닫힘을 가능하게 하기 위해 특수 부분그래프를 구성하기 위해 추가적인 간선 집합 $ X_4 $를 사용한다.

실험 결과

연구 질문

• RQ1 최소 차수가 $ \alpha n $인 그래프에서 $ \alpha > 1/2 $일 때, 해밀턴 순환의 제곱이 존재하도록 보장하기 위해 필요한 무작위 간선의 임계 수는 얼마인가?
• RQ2 회전 및 연장 알고리즘(ERA)이 오직 $ O(n^{4/3} \log^{1/3}n) $개의 무작위 간선만으로 2-경로를 닫아 해밀턴 순환의 제곱을 형성하는 데 성공할 수 있는가?
• RQ3 $ \Gamma_2 $의 연결성이 ERA 프레임워크 내에서 순환 연장과 닫힘에 어떻게 기여하는가?
• RQ4 최소 차수가 $ n/2 $보다 훨씬 낮을 경우, 필요한 무작위 간선 수의 하한은 무엇인가?

주요 결과

• 모든 $ \alpha > 1/2 $에 대해, 상수 $ K = K(\alpha) $가 존재하여 $ |X| \geq K n^{4/3} \log^{1/3}n $개의 무작위 간선을 추가하면 높은 확률로 해밀턴 순환의 제곱이 존재한다.
• $ \Gamma_1 = \Pi(G + X_1) $는 높은 확률로 최소 차수가 $ \beta_1 n $ 이상이며, $ \beta_1 = (2\alpha - 1)^3 / 2 $이다.
• $ \Gamma_2 = \Pi(G + X_1 + X_2) $는 높은 확률로 연결되어 있으며, 이는 ERA 알고리즘에서 순환 연장을 가능하게 한다.
• 에지 회전 알고리즘(ERA)은 높은 확률로 2-경로를 닫아 순환을 형성하며, 실패 확률은 $ \exp(-\Omega(\log n)) $ 이하로 제한된다.
• 홀수 $ n $인 경우, 기둥 기반 경로 구성과 닫힘을 지원하기 위해 보조 간선 집합 $ X_4 $를 사용하여 특수 부분그래프를 구성한다.
• 최소 차수가 $ \alpha n $인 그래프에 대해 무작위 간선 수의 하한이 $ \Omega(n^{3/2 - o(1)}) $임을 보여주며, 이는 최적의 $ n^{3/2} $ 기준에 가까워진다.