[논문 리뷰] A Note on Long non-Hamiltonian Cycles in One Class of Digraphs

Samvel Kh. Darbinyan, Iskandar A. Karapetyan|arXiv (Cornell University)|2012. 09. 20.

graph theory and CDMA systems참고 문헌 3인용 수 6

한 줄 요약

이 논문은 Bang-Jensen, Guo, and Yeo의 정리에서 유도된 도리 조건을 만족하는 $ n \geq 4 $ 개의 정점으로 구성된 강한 유향 그래프에 대해, 만약 그 유향 그래프가 방향 순환선이 아니라면, 반드시 길이 $ n-1 $ 또는 $ n-2 $ 의 순환선을 포함함을 입증한다. 이 결과는 해밀턴성의 충분조건을 강화하여, 비해밀턴성인 경우에도 긴 비해밀턴 순환선의 존재를 보여준다.

ABSTRACT

Let $D$ be a strong digraph on $n\geq 4$ vertices. In [3, Discrete Applied Math., 95 (1999) 77-87)], J. Bang-Jensen, Y. Guo and A. Yeo proved the following theorem: if (*) $d(x)+d(y)\geq 2n-1$ and $min \{d^+(x)+ d^-(y),d^-(x)+ d^+(y)\}\geq n-1$ for every pair of non-adjacent vertices $x, y$ with a common in-neighbour or a common out-neighbour, then $D$ is hamiltonian. In this note we show that: if $D$ is not directed cycle and satisfies the condition (*), then $D$ contains a cycle of length $n-1$ or $n-2$.

연구 동기 및 목표

• Bang-Jensen, Guo, 그리고 Yeo의 정리에서 제시한 도리 조건을 만족하지만 해밀턴적이지 않은 강한 유향 그래프의 구조를 조사한다.
• 해당 유향 그래프가 여전히 긴 순환선, 특히 $ n-1 $ 또는 $ n-2 $ 길이의 순환선을 포함해야 하는지 여부를 규명한다.
• 비판형이 아닌 유향 그래프가 정리 C의 조건을 만족할 경우, 항상 길이 $ n-1 $ 의 순환선을 포함해야 한다는 추측을 뒷받침한다.
• 반드시 해밀턴 순환선이 존재하지 않는 경우에도, 반도리와 도리 조건 하에서 긴 순환선의 존재를 분석함으로써 이전의 결과를 확장한다.

제안 방법

• 강한 유향 그래프 $ D $ 가 도리 조건을 만족하고, 최장 순환선 $ C $ 의 길이 $ m < n $ 이라고 가정하는 모순에 기반한 증명을 사용한다.
• 공통의 진입 또는 출발 이웃을 가진 정점 쌍 $ \{x,y\} $ 를 정의하고 분석하며, 도리 합 조건을 활용해 구조적 제약 조건을 유도한다.
• 도리 한계와 이웃 집합 포함 관계(예: $ N^-(u_2, C) = \{x_1, \dots, x_j\} $)를 적용하여 간선 수와 이웃 집합에 대한 부등식을 도출한다.
• 예를 들어 $ u_2x_2 $, $ x_2u_2 $, $ u_{s-1}u_2 $ 등의 간선 유무에 따라 경우를 나누고, 순환선 $ C $ 의 최대성에 기반해 모순을 이끌어낸다.
• 레마 1(공통 이웃에 관한 것)과 레마 2(간선 분포에 관한 것)를 사용하여 이웃 집합을 제한하고, 도리 조건 위반이 발생할 경우 모순을 이끌어낸다.
• 도리 조건 $ d(x)+d(y) \geq 2n-1 $ 과 $ \min\{d^+(x)+d^-(y), d^-(x)+d^+(y)\} \geq n-1 $ 을 공통 이웃이 있는 쌍에 적용하여, 순환선 $ C $ 의 최대성과 모순되는 간선 조밀도를 유도한다.

실험 결과

연구 질문

• RQ1 도리 조건을 만족하지만 방향 순환선이 아닌 강한 유향 그래프는 반드시 길이 $ n-1 $ 또는 $ n-2 $ 의 순환선을 포함하는가?
• RQ2 정리 C의 해밀턴성 충분조건을 만족하지만 스스로 해밀턴적이지 않은 유향 그래프에서 긴 비해밀턴 순환선의 존재를 유도하는 구조적 성질은 무엇인가?
• RQ3 주어진 도리 조건 하에서, 이러한 유향 그래프가 비판형이거나 길이 $ n-1 $ 의 순환선을 포함한다는 추측을 확인할 수 있는가?
• RQ4 완전한 해밀턴 순환선이 존재하지 않을 경우, 반도리와 이웃 집합 분포는 긴 순환선의 존재를 어떻게 제약하는가?

주요 결과

• 정점 수 $ n \geq 4 $ 인 강한 유향 그래프 $ D $ 가 정리 C의 도리 조건을 만족하고, 방향 순환선이 아니라면, 반드시 길이 $ n-1 $ 또는 $ n-2 $ 의 순환선을 포함한다.
• 최장 순환선의 길이 $ m < n $ 이라고 가정할 경우, 좋은 쌍과 간선 분포 분석을 통해 주어진 도리 조건 하에서 모순이 발생함을 증명한다.
• 최장 순환선 $ C $ 의 길이 $ m < n $ 이라고 가정할 경우, $ u_2 $, $ x_{i-1} $, $ x_{j+1} $ 등의 정점에서의 도리 한계가 위반되어 모순이 발생한다.
• 이웃 집합의 크기 제약 $ d(x_{i-1}, C^{\prime\prime}) \leq |C^{\prime\prime}| + 1 $ 이 도리 합 조건과 결합될 경우 모순이 발생한다.
• 특히 $ d^+(u_2, C[x_3,x_1]) = 0 $ 인 경우, $ C $ 내에서의 진입도가 부족하여 도리 합 조건을 위반하고 모순이 발생한다.
• 모든 가능한 간선 집합 구성(예: $ x_2u_2 \in D $, $ u_2x_2 \in D $, 또는 $ u_{s-1}u_2 \in D $)을 분석한 결과, 각 경우에서 모순이 도출되어 긴 순환선의 존재가 증명된다.