[논문 리뷰] On random k-out sub-graphs of large graphs

Alan Frieze, Tony Johansson|arXiv (Cornell University)|2014. 05. 09.

Limits and Structures in Graph Theory참고 문헌 10인용 수 2

한 줄 요약

이 논문은 큰 그래프의 랜덤 k-out 부분그래프를 연구한다. 여기서 각 정점은 자신의 원래 차수 집합에서 독립적으로 k개의 랜덤한 이웃을 선택한다. 최소 차수가 (1/2 + ε)n 이상인 그래프에 대해, 충분히 큰 k에 대해 w.h.p. k-out 부분그래프는 k-연결이고 해밀토니안임을 증명한다. 최소 차수가 m → ∞이 되는 그래프에 대해서는, w.h.p. 부분그래프가 길이 (1−ε)m의 사이클을 포함함을 보인다.

ABSTRACT

We consider random sub-graphs of a fixed graph G=(V,E) with large minimum degree. We fix a positive integer k and let Gk be the random sub-graph where each v∈V independently chooses k random neighbors, making kn edges in all. When the minimum degree δ(G)≥(12+ϵ)n,n=|V| then Gk is k-connected w.h.p. for k=O(1); Hamiltonian for ksufficiently large. When δ(G)≥m, then Gk has a cycle of length (1−ϵ)m for k≥kϵ. By w.h.p. we mean that the probability of non-occurrence can be bounded by a function ϕ(n) (or ϕ(m)) where limn→∞ϕ(n)=0.

연구 동기 및 목표

• . 큰 그래프의 랜덤 k-out 부분그래프가 k-연결이 되는 조건을 규명하는 것.
• . 특히 고최소차수를 가진 그래프에서 이러한 부분그래프가 해밀토니안이 되는 조건을 규명하는 것.
• . 최소 차수가 m → ∞인 그래프에서 k-out 부분그래프가 길이 (1−ε)m의 긴 사이클을 포함하는지 증명하는 것.
• . 고전적인 랜덤 그래프 결과(예: G(n,k-out)에서의 결과)를 구조적 제약 조건이 있는 임의의 기저 그래프로 일반화하는 것.
• . 밀도 높은 기저 그래프에서 유도된 희박한 랜덤 부분그래프의 구조적 성질에 대해 확률적 보장을 제공하는 것(w.h.p.).

제안 방법

• . 고정된 그래프 G의 각 정점에서 독립적으로 자신의 원래 이웃 집합에서 k개의 랜덤 이웃을 선택하는 랜덤 k-out 모델을 사용한다.
• . 두 단계 접근법을 채택: 먼저 공통 이웃 밀도를 높이기 위해 작은 정점 집합 L을 선택한다.
• . 농도 불등식과 체르노프 불등식을 활용해 V\L 상의 유도 부분그래프가 작은 컴포넌트를 가지지 않으며, 고도로 연결되어 있음을 증명한다.
• . 경로 및 사이클 탐색을 시뮬레이션하기 위해 분기 과정과 에포크 기반 탐색을 사용한다.
• . 허프딩 부등식을 적용해 컴포넌트 간 충분한 공통 이웃이 없는 확률을 근사한다.
• . 장기적 경로와 사이클이 w.h.p. 나타남을 보이기 위해 탐색 과정을 갈톤-워슨 분기 과정으로 모델링한다.

실험 결과

연구 질문

• RQ1 . 기저 그래프 G의 어떤 조건에서 랜덤 k-out 부분그래프 Gk가 w.h.p. k-연결인가?
• RQ2 . G의 최소 차수가 (1/2 + ε)n 이상일 때, Gk가 해밀토니안이 되기 위해 k의 값은 어느 정도여야 하는가?
• RQ3 . 최소 차수가 m → ∞인 그래프에서 Gk가 길이 (1−ε)m의 사이클을 포함할 수 있는가?
• RQ4 . 최소 차수가 큰 그래프에서 Gk가 길이 (1−ε)m의 경로 또는 사이클을 포함하기 위한 k의 임계값은 무엇인가?
• RQ5 . 기저 그래프의 구조는 k-out 부분그래프에서 긴 사이클의 등장에 어떤 영향을 미치는가?

주요 결과

• . 고정된 k = O(1)에 대해, δ(G) ≥ (1/2 + ε)n 이면 Gk는 w.h.p. k-연결이다.
• . 어떤 상수 kε가 존재하여, k ≥ kε 이면 δ(G) ≥ (1/2 + ε)n 인 그래프에 대해 Gk는 w.h.p. 해밀토니안이다.
• . 최소 차수가 m → ∞이고, 임의의 ε > 0에 대해, kε가 존재하여 k ≥ kε 이면 Gk는 w.h.p. 길이 (1−ε)m의 사이클을 포함한다.
• . Gk가 k-연결이 아니거나 긴 사이클을 포함하지 못할 확률은 n → ∞일 때 0으로 수렴하는 함수 φ(n)으로 유계이다.
• . 긴 사이클의 존재는 새로운 에포크 기반 탐색 과정과 이웃 선택의 확률적 분석을 통해 입증된다.
• . 고전적인 G(n,k-out) 결과는 고최소차수를 가진 임의의 그래프로 일반화되었으며, 랜덤 희박화 하에서도 구조적 성질의 강건성을 보여준다.