[논문 리뷰] Interval colorings of complete bipartite graphs and trees

Rafayel R. Kamalian|arXiv (Cornell University)|2013. 08. 12.

Advanced Graph Theory Research참고 문헌 2인용 수 34

한 줄 요약

이 논문은 완전 이분 그래프와 트리에서 간격 간선 색칠을 조사하며, 트리가 간격 색칠 가능할 조건을 완전히 규명한다. 트리 D가 간격 색칠 가능할 조건은 최대 차수 Δ(D)가 최소 간격 색칠 크기 w(D)와 같고, 최대 간격 색칠 크기 W(D)가 D 내 최대 경로 길이 M(D)와 같을 때이다. 또한, w(D)와 W(D) 사이의 모든 t에 대해 간격 t-색칠이 존재함을 증명하며, 트리에서의 간격 색칠 가능성을 완전히 특성화한다.

ABSTRACT

A translation from Russian of the work of R.R. Kamalian "Interval colorings of complete bipartite graphs and trees", Preprint of the Computing Centre of the Academy of Sciences of Armenia, Yerevan, 1989. (Was published by the decision of the Academic Council of the Computing Centre of the Academy of Sciences of Armenian SSR and Yerevan State University from 7.09.1989).

연구 동기 및 목표

• 완전 이분 그래프 K_{m,n}와 트리에서의 간격 색칠 가능성의 특성화.
• 이러한 그래프들에 대한 최소 w(G) 및 최대 W(G) 간격 색칠 크기의 규명.
• 트리에서 모든 t ∈ [w(D), W(D)]에 대해 간격 t-색칠이 존재하는 데 필요한 필수 및 필요조건의 설정.
• 트리에서 w(D) = Δ(D) 및 W(D) = M(D)임을 증명하며, 여기서 M(D)는 D 내 최대 경로 길이이다.

제안 방법

• 간격 t-색칠을 정의함: 각 정점의 인cidnet 엣지가 연속적인 색상을 가져야 하는 적절한 간선 색칠.
• 유사호법을 사용하여 σ(m,n) = gcd(m,n)를 계산함으로써, 특정 행렬 구성에서 필요한 최소 색수를 한정함.
• (0,1)-행렬 H(μ,ν)를 도입하고, '수집된' 행과 열 등의 성질을 정의하여 간선 색칠을 모델링함.
• r'-정규 및 r''-정규 행렬 간의 동치성과 상호 적합성을 확립하여 행렬 너비 w에 대한 하한을 도출함.
• 유사호법의 단계 수 s(m,n)에 대한 귀납법을 적용하여, w ≥ m + n − σ(m,n)를 보장하는 행렬 보조정리를 증명함.
• 간선 수 |E(D)|에 대한 귀납법을 사용하여 트리에서 간격 t-색칠이 모든 t ∈ [Δ(D), M(D)]에 대해 존재함을 증명함. 이를 위해 날개 엣지 제거 및 경로 기반 색칠 전략을 활용함.

실험 결과

연구 질문

• RQ1 완전 이분 그래프 K_{m,n}에서 간격 색칠이 존재하는 경우는 언제인가?
• RQ2 완전 이분 그래프와 트리에서 간격 색칠에 필요한 최소 w(G) 및 최대 W(G) 색수는 각각 얼마인가?
• RQ3 트리 D가 [w(D), W(D)] 범위 내 모든 t에 대해 간격 t-색칠을 갖기 위한 조건은 무엇인가?
• RQ4 최대 간격 색칠 크기 W(D)는 트리 D의 구조와 어떻게 관련이 있는가?

주요 결과

• 완전 이분 그래프 K_{m,n}는 m과 n가 동시에 홀수일 때가 아니면 간격 색칠 가능하며, w(K_{m,n}) = m + n − gcd(m,n), W(K_{m,n}) = m + n − 1이다.
• 모든 트리 D에 대해 w(D) = Δ(D)이며, 여기서 Δ(D)는 D의 최대 차수이고, W(D) = M(D)이며, M(D)는 D 내 최대 경로 길이다.
• Δ(D) ≤ t ≤ M(D)이면, D는 간격 t-색칠을 가지며, 이러한 색칠은 간선 수에 대한 귀납법을 통해 구성할 수 있다.
• 트리에서 간격 색칠 가능성은 완전히 특성화되어 있다: 트리 D가 간격 색칠 가능할 조건은 w(D) = Δ(D) 및 W(D) = M(D)일 때이다.
• 행렬 보조정리는 동치이며 상호 적합하고 수집된 (0,1)-행렬에 대해 너비 w가 w ≥ m + n − gcd(m,n)를 만족함을 증명하며, 이 값은 정확히 도달 가능하다.