[논문 리뷰] On the directed Oberwolfach Problem with equal cycle lengths: the odd case

Andrea C. Burgess, Nevena Francetić외 1명|arXiv (Cornell University)|2017. 06. 20.

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

한 줄 요약

이 논문은 모든 홀수 $m$에 대해 $5 \leq m \leq 49$인 경우 완전 대칭 방향 그래프 $K_{2m}^{\bullet}$가 분해 가능성을 갖는 방향 $m$-사이클로 분해 가능하다는 것을 증명한다. 이 결과는 일반적인 조합적 구성과 대부분의 경우에 대해 계산적 검증을 통해 확립되었으며, 홀수인 경우에 대해 등장하는 길이가 같은 사이클을 갖는 방향 Oberwolfach 문제에 대한 오랫동안 제기된 추측을 확인한다.

ABSTRACT

We show that the complete symmetric digraph $K_{2m}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all odd $m$, $5 \le m \le 49$. Consequently, $K_{n}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all $n \equiv 0 \pmod{2m}$ and odd $m$, $5 \le m \le 49$.

연구 동기 및 목표

• 홀수 $m$에 대해 등장하는 길이가 같은 사이클을 갖는 방향 Oberwolfach 문제를 해결하기.
• 모든 $m \geq 5$이고 홀수일 때 $K_{2m}^*$가 분해 가능성을 갖는다 능력이 있음을 증명하는 추측 1.3을 확인하기.
• 완전 대칭 방향 그래프 $K_n^*$에서 $n \equiv 0 \pmod{2m}$이고 $m$가 홀수일 때 분해 가능성을 갖는 방향 사이클 분해의 존재 조건을 확립하기.
• 조합 설계와 계산적 검증을 활용하여 $m \leq 49$인 경우에 대해 구축 가능한 해법을 제공하기.

제안 방법

• 방향 순환 그래프와 간선 분할을 이용하여 $K_{2m}^*$에서 방향 $m$-사이클의 해상도 클래스를 형성하기 위한 일반적 구성 방법을 개발하였다.
• 이 방법은 $\gcd(d,m)=1$ 또는 $\gcd(d_i,d_j,m)=1$를 만족하는 부분집합으로 연결 집합 $S \subseteq \mathbb{Z}_m^*$를 분할함으로써, 레마 2.1을 통해 $m$-사이클로 분해 가능하게 한다.
• $m \not\equiv 0 \pmod{3}$인 경우, 정점 간섭이 없는 경로와 혼합 차수 간선을 사용하여 해상도 클래스를 형성하기 위한 체계적 구성이 적용된다.
• $m \equiv 0 \pmod{3}$인 경우, 특화된 경로 시스템과 간선 사용 패tern을 사용하는 별도의 구성이 적용되어 분해를 완료한다.
• $m$의 범위가 $7 \leq m \leq 49$, $m \neq 11$, $m \not\equiv 0 \pmod{3}$인 경우, 필요한 간선 집합과 경로 시스템의 존재를 확인하기 위해 계산적 검증이 사용된다.
• 이론적 구성과 알고리즘 검증을 결합하여 증명를 수행하였으며, 공동 저자들이 개발한 코드를 활용해 분해 조건의 타당성을 검토하였다.

실험 결과

연구 질문

• RQ1 모든 홀수 $m \geq 5$에 대해 완전 대칭 방향 그래프 $K_{2m}^*$가 방향 $m$-사이클로 분해 가능할 수 있는가?
• RQ2 모든 $n = 2m$인 경우에 대해 등장하는 길이가 같은 사이클 $m$을 갖는 방향 Oberwolfach 문제를 해결할 수 있는가?
• RQ3 연결 집합 $S \subseteq \mathbb{Z}_m^*$에 대해 어떤 구조적 및 산술적 조건이 방향 순환 그래프 $\mathrm{Circ}(m;S)$가 $m$-사이클로 분해 가능하게 하는가?
• RQ4 일반적인 구성 방법이 $m \not\equiv 0 \pmod{3}$ 및 $m \equiv 0 \pmod{3}$인 두 경우 모두 분해 과정에서 어떻게 적응 가능한가?
• RQ5 큰 홀수 $m$에 대해 계산적 방법이 분해 구성 요소의 타당성을 얼마나 잘 검증할 수 있는가?

주요 결과

• 논문은 $5 \leq m \leq 49$인 모든 홀수 $m$에 대해 $K_{2m}^*$가 분해 가능성을 갖는 $\vec{C}_m$-분해를 갖는다는 것을 확인함으로써, 이 범위 내에서 추측 1.3을 검증한다.
• 계산적 검증을 통해 $7 \leq m \leq 49$, $m \not\equiv 0 \pmod{3}$, $m \neq 11$인 모든 홀수 $m$에 대해 필요한 간선 집합과 경로 시스템의 존재가 확인되었으며, 이는 제안 3.4의 조건을 만족한다.
• $m \equiv 0 \pmod{3}$인 경우, $15 \leq m \leq 45$인 모든 홀수 $m$에 대해 제안 3.6의 조건이 계산적으로 검증되어 분해 가능성을 보장한다.
• 가장 작은 경우인 $m = 5$는 컴퓨터 검색을 통해 완전한 R$\vec{C}_5$-D를 $K_{10}^*$에 대해 확보하였으며, 이는 여섯 개의 해상도 클래스로 구성된다.
• 일반적 구성은 정점 간섭이 없는 경로와 혼합 차수 간선을 조합하여 해상도 클래스를 성공적으로 형성하였으며, 전체 간선 커버리지와 사이클 형성 보장한다.
• 이 결과는 $n \equiv 0 \pmod{2m}$이고 $5 \leq m \leq 49$이며 $m$이 홀수일 때 $K_n^*$가 분해 가능성을 갖는 $\vec{C}_m$-분해를 갖는다는 것을 의미하며, 이 매개터 범위의 해결을 완료한다.