[논문 리뷰] Hamiltonian degree sequences in digraphs

Daniela Kühn, Deryk Osthus외 1명|arXiv (Cornell University)|2008. 07. 11.

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

한 줄 요약

이 논문은 나이스-윌리엄스의 하모닉 사이클에 대한 추측에 대해 근사적인 해결책을 제공한다. $\eta > 0$ 이면, 특정한 출도 및 입도 순서 조건을 만족하는 충분히 큰 방향 그래프는 하모닉 사이클을 포함한다. 특히, $d^{+}_{i} \geq i + \eta n$ 또는 $d^{-}_{n-i-\eta n} \geq n-i$ 이고, 입도에 대해서도 대칭적으로 적용된다. 또한 이러한 그래프는 팬시클릭함을 보여주며, 2에서 $n$까지의 모든 길이의 사이클을 포함한다.

ABSTRACT

We show that for each η>0 every digraph G of sufficiently large order n is Hamiltonian if its out- and indegree sequences d^+_1\le ... \le d^+_n and d^- _1 \le ... \le d^-_n satisfy (i) d^+_i \geq i+ ηn or d^-_{n-i- ηn} \geq n-i and (ii) d^-_i \geq i+ ηn or d^+_{n-i- ηn} \geq n-i for all i < n/2. This gives an approximate solution to a problem of Nash-Williams concerning a digraph analogue of Chvátal's theorem. In fact, we prove the stronger result that such digraphs G are pancyclic.

연구 동기 및 목표

• 방향 그래프에 대한 초바탈의 정리의 일반화인 나이스-윌리엄스의 오랜 추측을 다루기.
• 순서된 출도 및 입도 순서에 기반한 큰 그래프에서 하모닉 사이클의 존재를 위한 충분조건을 제공하기.
• 동일한 조건이 하모닉 사이클 뿐 아니라 팬시클릭성까지 보장함을 입증하기.
• 작은 오차 항 $\eta n$ 을 도입하여 추측의 근사적인 해결책을 제시하기.
• 극한 구조를 통해 degree 조건이 점점 최적임을 보여주기.

제안 방법

• 문제를 최소 반정규도가 유한한 감소된 방향 그래프로 줄이기 위해 정규화 방법과 블로우업 보조정리를 사용하기.
• 모서리 제거 후에도 강한 연결성과 확산성을 유지할 수 있도록 강력한 확산 성질을 적용하기.
• 정규화 보조정리를 사용하여 정점 분할에서 유도된 감소된 방향 그래프 $R^*$ 를 구성하고, 클러스터 간 정규 쌍을 확보하기.
• 많은 클러스터에 대해 잘 연결되지 않은 정점을 제거하여 예외 집합 $V_0$ 를 수정하고, 최소 반정규도를 유지하기.
• 수정된 그래프 $G^*$ 가 높은 최소 반정규도와 강력한 확산성을 가지므로, 정리 16을 적용하여 하모닉 사이클을 찾기.
• 동일한 조건이 모든 길이 $t = 2, \dots, n$ 의 사이클을 보장함을 보이기 위해 구조적이고 확산적인 추론을 사용하여 팬시클릭성 증명하기.

실험 결과

연구 질문

• RQ1 출도 및 입도 순서를 모두 사용하여 초바탈의 정리의 방향 그래프 일반화를 확립할 수 있는가?
• RQ2 나이스-윌리엄스의 추측된 임계값에 점점 가까운 degree 순서 조건을 만족하는 큰 그래프에서 하모닉 사이클을 증명할 수 있는가?
• RQ3 하모닉 사이클을 보장하는 동일한 degree 조건이 팬시클릭성까지 보장하는가?
• RQ4 강력한 확산성과 정규화 방법을 사용하여 degree 제약 조건이 약화된 방향 그래프에서 하모닉 사이클의 존재를 증명할 수 있는가?
• RQ5 극한 구조를 통해 추측의 degree 조건이 점점 최적임을 입증할 수 있는가?

주요 결과

• 모든 $\eta > 0$ 에 대해 $n_0(\eta)$ 가 존재하여, $n \geq n_0$ 개의 정점을 가진 모든 그래프가 degree 순서 조건을 만족하면 하모닉 사이클을 포함한다.
• 동일한 조건은 그래프가 2에서 $n$까지의 모든 길이의 사이클을 포함하는 팬시클릭성을 보장한다.
• 극한 구조를 통해 결과가 점점 최적임을 입증하였으며, $k$-번째 위치에서 degree 조건을 한 단위만 약화시키면 하모닉 사이클이 깨진다.
• 나이스-윌리엄스의 추측의 근사적 형태가 증명되었으며, 임계값 $i+1$ 이 작은 $\eta > 0$ 에 대해 $i + \eta n$ 으로 대체된다.
• $(n-1)/2$ 개 이하의 간선이 제거된 정규 토너먼트 그래프는 여전히 하모닉 사이클을 포함한다. 이는 큰 $n$ 에 대해 추측을 확인한다.
• 증명은 강력한 확산성과 정규화 방법에 의존하며, 고도의 최소 반정규도와 확산성은 큰 그래프에서 하모닉 사이클의 존재를 암시한다.