[논문 리뷰] On pre-Hamiltonian Cycles in Hamiltonian Digraphs

Samvel Kh. Darbinyan|arXiv (Cornell University)|2014. 04. 30.

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

한 줄 요약

이 논문은 $ n \geq 4 $ 인 강한 연결인 방향그래프가 Manoussakis의 $ A_0 $ 조건을 만족할 경우, 항상 길이 $ n-1 $ 인 전해밀턴 순환(즉, 전해밀턴 순환)을 포함하거나, $ n $ 이 짝수일 때는 완전 이분 방향그래프 $ K^*_{n/2,n/2} $ 와 동형이 되며, 그렇지 않으면 전해밀턴 순환을 포함함을 증명한다. 이 결과는 Manoussakis의 해밀턴 순환 정리의 강화로, 장기 순환의 존재를 필수적인 중간 구조로 규명하였으며, 극한 구성에 의한 최적성 검증을 통해 degree bound 가 최적임을 입증한다.

ABSTRACT

Let $D$ be a strongly connected directed graph of order $n\geq 4$. In \cite{[14]} (J. of Graph Theory, Vol.16, No. 5, 51-59, 1992) Y. Manoussakis proved the following theorem: Suppose that $D$ satisfies the following condition for every triple $x,y,z$ of vertices such that $x$ and $y$ are non-adjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^-(x)+d^+(z)\geq 3n-2$. Then $D$ is Hamiltonian. In this paper we show that: If $D$ satisfies the condition of Manoussakis' theorem, then $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph with partite sets of cardinalities $n/2$ and $n/2$.

연구 동기 및 목표

• 해밀턴 순환 외에도 Manoussakis의 $ A_0 $ 조건을 만족하는 강한 연결 방향그래프의 구조를 특성화하는 것.
• 해당 방향그래프에서 전해밀턴 순환(길이 $ n-1 $ 인 순환)의 존재를 구조적 중간 성질로 확립하는 것.
• 전해밀턴 순환이 존재하지 않을 경우의 극한 케이스를 특정하는 것, 즉 $ n $ 이 짝수이고 $ D $ 가 $ K^*_{n/2,n/2} $ 와 동형일 경우.
• 해당 $ A_0 $ 조건에서 degree bound $ 3n-2 $ 가 최적임을 명시적 극한 예제를 통해 보여주는 것.

제안 방법

• Manoussakis의 $ A_0 $ 정리 증명에서 핵심적인 주장들을 변형하여, $ A_0 $ 조건을 만족하는 방향그래프의 순환 구조를 분석한다.
• 특히 쌍 $ (y_1, y_2) $ 와 $ (x_1, x_2) $ 에 대한 정점의 인접성 및 이웃 구조에 대한 케이스 분석을 통해 degree 제약 조건을 유도한다.
• Lemma 3.2 를 활용하여 순환 부분경로 내에서 정점이 가질 수 있는 간선 수를 제한함으로써, degree 조건 위반 시 모순을 이끌어낸다.
• 강한 연결성과 비인접성 가정을 적용하여, 특정 구성 조건 하에서 $ N^+(y_1) = \{y_2, x_2, x_4, \dots, x_{n-2}\} $ 와 같은 이웃 집합의 등식을 유도한다.
• 전해밀턴 순환이 존재하지 않는다고 가정할 경우 길이 $ n-2 $ 의 순환을 구성하여 모순을 이끌어내며, 이를 통해 방향그래프가 이분 구조로 강제됨을 보인다.
• 정점 인덱스에 대한 대칭성과 반복적 추론을 활용하여 $ x_i x_{i-1} \in D $ 이고, 연속하지 않은 $ i,j $ 에 대해 $ x_i x_j \notin D $ 임을 보이며, 크기 $ n/2 $ 의 독립집합이 형성됨을 밝힌다.

실험 결과

연구 질문

• RQ1 Manoussakis의 $ A_0 $ 조건을 만족하는 모든 방향그래프가 전해밀턴 순환을 포함하는가?
• RQ2 전해밀턴 순환이 존재하지 않을 경우 어떤 구조적 예외가 존재하는가?
• RQ3 $ A_0 $ 조건에서 degree bound $ 3n-2 $ 가 최적인가?
• RQ4 전해밀턴 순환의 존재는 팬시클리시티 또는 해밀턴 순환의 변형(해밀턴 라우터)를 유추하는 데 사용될 수 있는가?

주요 결과

• 순서 $ n \geq 4 $ 인 강한 연결 방향그래프가 $ A_0 $ 조건을 만족할 경우, 항상 전해밀턴 순환을 포함하거나 $ n $ 이 짝수일 때는 $ K^*_{n/2,n/2} $ 와 동형이 된다.
• $ A_0 $ 조건에서의 bound $ 3n-2 $ 는 극한 예제를 통해 최적임을 입증하였다: 한 정점이 공유되는 두 완전 방향그래프의 disjoint union, 그리고 한 간선을 제외한 완전 이분 방향그래프.
• $ D $ 가 $ K^*_{n/2,n/2} $ 와 동형이 아니면, $ D $ 는 반드시 길이 $ n-1 $ 의 순환을 포함하며, 이는 핵심적인 구조적 특성이다.
• 증명은 $ A_0 $ 조건 하에서 전해밀턴 순환이 존재하지 않을 경우 정점 집합이 두 개의 크기 $ n/2 $ 의 독립집합으로 분할되며, 각각 $ K^*_{n/2,n/2} $ 의 파트라이트 집합을 이룬다는 것을 보여준다.
• 전해밀턴 순환의 존재는 $ D $ 가 $ K^*_{n/2,n/2} $ 와 동형이 아닐 경우 보장되며, 이는 유일한 극한 케이스이다.
• 결과적으로 $ D $ 는 $ K^*_{n/2,n/2} $ 와 동형이 아니면 해밀턴 라우터(하나의 간선을 뒤집은 해밀턴 순환)를 포함한다. 유일한 예외는 5개 정점으로 이루어진 토너먼트이다.