[논문 리뷰] The Hamilton-Waterloo problem for Hamilton cycles and C4k-factors

Hongchuan Lei, Hung‐Lin Fu외 1명|arXiv (Cornell University)|2010. 09. 06.

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

한 줄 요약

이 논문은 해밀턴 순환과 $C_{4k}$-요소에 대한 하밀턴-워터러 문제를 완전히 해결한다. $HW(n;r,s;n,4k)$가 존재하는 것은 $r+s = \left\lfloor \frac{n-1}{2} \right\rfloor$ 이고 $s > 0$일 때 $n \not\equiv 0 \pmod{4k}$ 이거나 $s = 0$일 때 $n \geq 3$ 인 경우에만 성립한다. 이 해결책은 순환군 구조를 이용한 구조적 간선 분해와 $Z_{2t} \times Z_{2k}$ 위에서의 순환 요소 분해에 기반하며, 모든 $n \equiv 0 \pmod{4k}$ 및 모든 유효한 $r,s$ 조합에 대해 존재성이 입증된다.

ABSTRACT

In this paper we give a complete solution to the Hamilton-Waterloo problem for the case of Hamilton cycles and C4k-factors for all positive integers k.

연구 동기 및 목표

• 하나의 요소가 해밀턴 순환이고 다른 하나가 $C_{4k}$-요소인 경우 하밀턴-워터러 문제를 해결하기.
• 분해 $HW(n;r,s;n,4k)$의 존재 조건을 필요 및 충분 조건으로 규명하기.
• 균일한 2요소 분해에 대한 이전 결과를 확장하여 $C_{4k}$-요소의 경우를 종합적으로 다루기.
• 정점 분할 및 $Z_{2t} \times Z_{2k}$ 위에서의 간선 매칭 기법을 사용한 구조적 증명 제공하기.
• 모든 가능한 $r,s$ 값이 $n \equiv 0 \pmod{4k}$ 인 경우에 실현 가능함을 입증하기.

제안 방법

• $K_n$의 정점 집합을 $n = 4kt$ 이므로 $2t$개의 부분집합 $V_i = \{i\} \times Z_{2k}$로 분할하여 구조적 분해를 가능하게 하기.
• 완전 이중 그래프 $K_{V_i,V_j}$에서의 완벽 매칭으로서 $\{(i_l j_{l+d}) \mid l \in Z_{2k}\}$ 를 $d$에 따라 정의된 간선 집합 $(i,j)_d$로 정의하기.
• 레마 2.2를 사용하여 옮김의 합이 $2k$와 서로소일 경우, 매칭 시퀀스 $(i,j)_d$로부터 해밀턴 순환을 구성하기.
• 레마 2.3을 적용하여 옮김의 차이가 $2k$와 서로소일 경우, 쌍으로 된 매칭으로부터 $C_{4k}$-요소를 형성하기.
• 기저 부분그래프로 분해 가능한 $F_i$ 및 $X$를 매칭의 합집합으로 구성하기.
• $F_{2i-1} \cup F_{2i}$ 및 $F_1 \cup F_2 \cup F_{2t-1} \cup X$ 에서의 분해를 조합하여 모든 필요한 $r$ 및 $s$ 값 커버하기.

실험 결과

연구 질문

• RQ1 어떤 $n$ 과 $k$ 에 대해 $HW(n;r,s;n,4k)$ 분해가 존재하는가?
• RQ2 $n \equiv 0 \pmod{4k}$ 일 때 모든 유효한 $r$ 과 $s$ 조합이 실현 가능한가?
• RQ3 간선 집합과 옮김 조건이 해밀턴 순환 또는 $C_{4k}$-요소 형성에 어떤 구조적 조건을 필요로 하는가?
• RQ4 필요 조건인 $n \equiv 0 \pmod{4k}$ 는 $HW(n;r,s;n,4k)$ 존재성에 충분한가?
• RQ5 주어진 제약 조건 하에 임의의 $r$ 과 $s$ 에 대해 분해를 체계적으로 어떻게 구성할 수 있는가?

주요 결과

• $HW(n;r,s;n,4k)$가 존재하는 것은 $r + s = \left\lfloor \frac{n-1}{2} \right\rfloor$ 이고 $s > 0$일 때 $n \not\equiv 0 \pmod{4k}$ 이거나 $s = 0$일 때 $n \geq 3$ 인 경우에만 성립한다.
• 모든 $n \equiv 0 \pmod{4k}$ 에 대해 완전한 해결이 이루어지며, $s > 0$일 때 $r \in \{0,1,\dots,\frac{n-2}{2}\}$ 의 모든 값에 대해 존재성이 입증된다.
• $n = 4k$ 인 경우, 결과는 알려진 분해 가능 순환 분해의 존재성(정리 1.5)에 의해 직접 도출된다.
• $n = 8k$ 인 경우, $t = 2k$ 일 때 적용 가능한 $HW(n;r,s;t,2t)$ 에 대한 정리 1.4를 통해 결과가 확인된다.
• $n \equiv 0 \pmod{4k}$ 일 때, $HW^*(n;n,4k)$ 는 $0$ 에서 $\frac{n-2}{2}$ 까지의 모든 정수를 포함한다. 이는 제시된 3.3, 3.4, 3.6 조합을 통해 입증된다.
• 구성 방법은 옮김의 합과 차이에 대한 서로소 조건을 활용하여 매칭의 합집합을 해밀턴 순환 또는 $C_{4k}$-요소로 분해함으로써 모든 $r$ 과 $s$ 값이 성공적으로 실현됨을 보여준다.