[논문 리뷰] Cycle decompositions of complete graphs

Darryn Bryant, Daniel Horsley외 1명|arXiv (Cornell University)|2012. 04. 17.

graph theory and CDMA systems인용 수 6

한 줄 요약

이 논문은 주어진 길이를 가진 사이클로 완전 그래프를 분해하기 위한 필수 및 필요조건을 설정한다: 홀수 n에 대해, 완전 그래프 Kn은 t개의 길이가 m₁,…,mt인 사이클로 분해될 수 있으며, 이는 각 mi가 3 ≤ mi ≤ n를 만족하고 그 합이 C(n,2)와 일치할 때이고, 짝수 n에 대해선 완전 매칭과 t개의 주어진 길이를 가진 사이클로 분해가 가능하며, 이 경우에도 각 mi는 3 ≤ mi ≤ n여야 하며, 그 합은 C(n,2) − n/2와 일치해야 한다.

ABSTRACT

We show that the complete graph on $n$ vertices can be decomposed into $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is odd, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\cdots+m_t=\binom n2$. We also show that the complete graph on $n$ vertices can be decomposed into a perfect matching and $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is even, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\ldots+m_t=\binom n2-\frac n2$.

연구 동기 및 목표

• n개의 정점을 가진 완전 그래프가 주어진 길이의 t개의 사이클로 분해될 수 있는 조건을 규명하는 것.
• 완전 매칭이 사이클과 함께 포함된 경우에도 사이클 분해 결과를 확장하는 것.
• 이러한 분해가 존재하기 위해 사이클 길이와 그래프 순서에 대해 필수 및 필요조건을 특성화하는 것.
• 기존의 사이클 분해 결과를 통합하고 일반화하는 것.

제안 방법

• 저자는 간선 수와 기수 조건에 기반한 조합론적 추론을 사용하여 사이클 분해에 대한 필수 조건을 유도한다.
• 특히 전체 간선 수에 중점을 두고, 기존의 그래프 분해 및 완전 그래프 내 사이클 분해 결과를 적용한다.
• 증명은 사이클 길이의 합이 그래프의 총 간선 수와 일치함을 보장하며, n이 짝수일 경우 완전 매칭을 포함한 조정된 값과 일치함을 확인한다.
• 모든 사이클 길이가 유효한 범위 [3, n] 내에 있고, 길이의 합이 필요한 간선 수와 일치함을 보장함으로써 사이클 분해의 가능성을 분석한다.
• n이 홀수인지 짝수인지에 따라 구분되며, 완전 매칭은 n이 짝수일 때만 존재한다.
• 유도와 구성 기법을 사용하여 제시된 조건이 충분함을 보여준다.

실험 결과

연구 질문

• RQ1 n이 홀수일 때, n개의 정점을 가진 완전 그래프가 주어진 길이 m₁,…,mt를 가진 t개의 사이클로 분해될 수 있는 조건은 무엇인가?
• RQ2 n이 짝수일 때, n개의 정점을 가진 완전 그래프가 완전 매칭과 주어진 길이를 가진 t개의 사이클로 분해될 수 있는가?
• RQ3 이러한 분해가 존재하기 위해 사이클 길이 m₁,…,mt가 만족해야 할 제약 조건은 무엇인가?
• RQ4 사이클 길이의 합이 그래프의 총 간선 수와 일치하는 것이 길이의 범위 조건과 함께 분해를 보장하는 충분조건인가?
• RQ5 사이클 길이와 그래프 순서에 대한 조건들이 이러한 분해에 대해 필수 및 필요조건인가?

주요 결과

• 홀수 n에 대해, 완전 그래프 Kn은 t개의 길이가 m₁,…,mt인 사이클로 분해될 수 있으며, 이는 각 mi가 3 ≤ mi ≤ n를 만족하고 mi의 합이 C(n,2)와 일치할 때이다.
• 짝수 n에 대해, Kn은 완전 매칭과 t개의 길이가 m₁,…,mt인 사이클로 분해될 수 있으며, 이는 각 mi가 3 ≤ mi ≤ n여야 하고 mi의 합이 C(n,2) − n/2와 일치할 때이다.
• 그래프의 총 간선 수는 사이클 길이의 합으로 완전히 보장되며, 이는 간선이 누락되거나 중복되지 않음을 보장한다.
• 최소 사이클 길이는 3이며, 이는 삼각형을 의미하고, 최대 길이는 n이며, 이는 하모닉 사이클에 해당한다.
• 조건들은 필수 및 필요조건이며, 길이의 범위와 간선 수의 등식 외에는 추가 제약 조건이 필요하지 않다.
• 이러한 결과는 기존의 사이클 분해 작업을 일반화하며, 임의의 완전 그래프에 대해 가능한 사이클 길이 집합을 명시적으로 특성화한다.