[논문 리뷰] Packing, Counting and Covering Hamilton cycles in random directed graphs

Asaf Ferber, Gal Kronenberg외 1명|arXiv (Cornell University)|2015. 06. 01.

Limits and Structures in Graph Theory참고 문헌 36인용 수 4

한 줄 요약

이 논문은 $p > \log^C(n)/n$ 인 랜덤 방향 그래프 $\mathcal{D}(n,p)$ 에서 해밀턴 사이클의 포장, 세기, 덮개를 위한 새로운 일반적인 방법을 제시한다. 확률적 및 의사난수 기법을 사용하여 渐近적으로 최적의 결과를 달성한다. 이는 높은 확률로 이러한 방향 그래프가 $ (1-o(1))np $ 개의 간선-소속 해밀턴 사이클을 포함함을 증명하며, 랜덤 방향 그래프 이론에서 오랫동안 남아있던 질문을 해결하고, 무방향 그래프로의 확장을 포함한다.

ABSTRACT

A Hamilton cycle in a digraph is a cycle that passes through all the vertices, where all the arcs are oriented in the same direction. The problem of finding Hamilton cycles in directed graphs is well studied and is known to be hard. One of the main reasons for this, is that there is no general tool for finding Hamilton cycles in directed graphs comparable to the so called Pos?a `rotation-extension' technique for the undirected analogue. Let ${\mathcal D}(n,p)$ denote the random digraph on vertex set $[n]$, obtained by adding each directed edge independently with probability $p$. Here, we present a general and a very simple method, using known results, to attack problems of packing and counting Hamilton cycles in random directed graphs, for every edge-probability $p>\log^C(n)/n$. Our results are asymptotically optimal with respect to all parameters and apply equally well to the undirected case.

연구 동기 및 목표

• 랜덤 방향 그래프에서 해밀턴 사이클의 포장, 세기, 덮개를 분석하기 위한 일반적이고 단순한 방법을 개발하는 것.
• 방향 그래프 설정에서 포사의 회전-확장 기법에 상응하는 일반적 도구의 부재를 해결하는 것.
• $p > \log^C(n)/n$ 인 $\mathcal{D}(n,p)$ 에서 간선-소속 해밀턴 사이클의 수에 대한 渐近적으로 최적의 경계를 확립하는 것.
• 결과를 무방향 케이스로 확장하여, 두 설정 모두에 동일하게 적용 가능한 방법임을 보여주는 것.
• 랜덤 방향 그래프 이론에서 간선-소속 포장 및 해밀턴 사이클 덮개에 관한 열린 문제를 해결하는 것.

제안 방법

• 정점 집합을 $\ell+1$ 개의 부분집합으로 랜덤 분할하여, 각 분할에 대해 내부 및 외부 간선을 정의한다.
• 각 간선이 $t = \alpha \ell^2 \log n$ 개인 하위방향그래프 $D^{(i)}$ 중 하나에 랜덤으로 할당되며, 이를 통해 의사난수 성질을 유지한다.
• 각 하위방향그래프 $D^{(i)}$ 에서 내부 간선의 확률은 $p_{in} \approx 1/(\alpha \ell \log n)$ 으로 설정하고, 외부 간선의 확률은 $p_{ex} \approx n^2/(\alpha^2 \ell^2 s^2 \log n)$ 으로 설정한다.
• 이 구성은 레마 6.3의 성질 (A), (B), (C)를 각 $D^{(i)}$ 가 만족하도록 보장하며, 이는 정리 6.2에 의해 해밀턴성의 함의를 갖는다.
• 랜덤 함수 $f(e)$ 가 $A_e$ 와 $B_e$ 비례하는 확률로 간선를 하위방향그래프에 할당하여, 독립성과 의사난수성을 확보한다.
• 핵심 단계는 레마 6.5 를 사용하여 각 $D^{(i)}$ 가 높은 확률로 $L = (1-o(1))np/t$ 개의 간선-소속 해밀턴 사이클을 포함함을 보이는 것이다.

실험 결과

연구 질문

• RQ1 Can we achieve asymptotically optimal packing of edge-disjoint Hamilton cycles in random directed graphs for $p > \log^C(n)/n$?
• RQ2 Can the same method be applied to both directed and undirected random graphs with the same asymptotic guarantees?
• RQ3 Is there a general method for covering all edges of a random digraph with $\lceil \Delta(G)/2 \rceil$ Hamilton cycles?
• RQ4 Can we count the number of Hamilton cycles in random digraphs using a unified probabilistic framework?
• RQ5 What is the threshold for $p$ such that $\mathcal{D}(n,p)$ contains $\Theta(np)$ edge-disjoint Hamilton cycles with high probability?

주요 결과

• $p > \log^C(n)/n$ 인 경우, 랜덤 방향 그래프 $\mathcal{D}(n,p)$ 는 높은 확률로 $ (1-o(1))np $ 개의 간선-소속 해밀턴 사이클을 포함한다.
• 이 방법은 渐近적으로 최적의 포장 성능을 달성하며, 최소 차수 $\delta(G) \approx np$ 에 대해 이론적 상한 $\lfloor \delta(G)/2 \rfloor$ 와 일치한다.
• 각 하위방향그래프 $D^{(i)}$ 는 $L = (1-o(1))np/t$ 개의 간선-소속 해밀턴 사이클을 포함하며, 전체 $t$ 개의 하위방향그래프를 통틀어 총 수는 $ (1-5\lambda)np $ 로, 이는 渐近적으로 최적이다.
• 구성은 보조 방향 그래프 $C_k(\mathcal{M}_k, V_0)$ 가 확률 $1 - o(1/n)$ 으로 해밀턴적임을 보장하며, 이는 $C_k$ 가 해밀턴적임을 함의한다.
• 결과는 무방향 케이스로도 확장되며, 이는 방법이 방향 및 무방향 랜덤 그래프 양쪽 모두에 동일하게 적용 가능함을 보여준다.
• 이 프레임워크는 랜덤 그래프 이론에서 오랫동안 남아있던 열린 문제를 해결하며, $\mathcal{D}(n,p)$ 모델에서 해밀턴 사이클의 덮개 및 세기 문제를 해결한다.