[논문 리뷰] Interval colorings of complete balanced multipartite graphs

Petros A. Petrosyan|arXiv (Cornell University)|2012. 11. 22.

Advanced Graph Theory Research참고 문헌 12인용 수 5

한 줄 요약

이 논문은 각 파트에 $n$개의 정점이 있는 완전 균형 $k$-분할 그래프가 $nk$ 가 짝수일 때에만 간격 색칠 가능하다는 것을 증명한다. 또한, $nk$ 가 짝수이면 $(k-1)n \leq t \leq \left(\frac{3}{2}k - 1\right)n - 1$ 범위의 모든 $t$ 에 대해 그러한 그래프가 간격 $t$-색칠 가능하다고 보여주며, $k = p2^q$ 이고 $p$ 가 홀수일 경우 상한선은 $(2k - p - q)n - 1$ 으로 확장되며, 간격 색칠 스펙트럼에 대한 날카운 경계를 제공한다.

ABSTRACT

A graph $G$ is called a complete $k$-partite ($k\geq 2$) graph if its vertices can be partitioned into $k$ independent sets $V_{1},...,V_{k}$ such that each vertex in $V_{i}$ is adjacent to all the other vertices in $V_{j}$ for $1\leq i

연구 동기 및 목표

• 완전 균형 $k$-분할 그래프의 간격 색칠 가능성에 대한 필수 및 필요 조건을 규명하는 것.
• 간격 색칠 가능성이 성립할 경우 이러한 그래프의 가능한 간격 색칠의 전체 범위를 규명하는 것.
• 특히 균형 케이스에 대해 완전 다분할 그래프의 간격 색칠에서 최대 색상 수 $W(G)$ 에 대한 기존 경계를 확장하는 것.
• 특정 이진 구조($k = p2^q$)를 가진 경우 완전 균형 $k$-분할 그래프에 대한 $W(G)$ 의 정확한 경계를 제공하는 것.

제안 방법

• 완전 균형 $k$-분할 그래프 $G$ 에 대해, 완전 그래프 $K_k$ 의 간격 색칠에서 유도된 기본 색칠 $eta$ 를 사용하여 명시적인 간선 색칠 $eta$ 를 구성하는 것.
• 완전 그래프 $K_k$ 의 간격 색칠의 구조(특히 $k = p2^q$ 일 때)를 활용하여 모듈로 산술 구조를 통해 색칠을 $G$ 에로 확장하는 것: $\beta(v_i^r v_j^s) = (\alpha(u_i u_j) - 1)n + r + s - 1$.
• 레미마 7 을 적용하여 각 정점 $v_j^{(i)}$ 와 인접한 색상 집합이 연속된 정수 구간을 이룬다는 것을 분석하는 것.
• 각 정점의 색상 집합이 연속된 정수 구간을 이룬다는 것을 확인하여, 결과 색칠 $eta$ 가 간격 색칠임을 증명하는 것.
• 완전 그래프 $K_{2n}$ 에 대한 알려진 간격 색칠 결과를 활용하여, 균형 케이스에서 $W(G)$ 의 경계를 유도하는 것.
• 모든 정점에서 사용된 최대 색상 수를 분석하여 조건 $k = p2^q$ 를 만족할 경우 상한선 $W(G) \geq (2k - p - q)n - 1$ 을 도출하는 것.

실험 결과

연구 질문

• RQ1 각 파트에 $n$ 개의 정점이 있는 완전 균형 $k$-분할 그래프가 간격 색칠 가능해지는 $k$ 와 $n$ 의 값은 무엇인가?
• RQ2 만약 $nk$ 가 짝수이면, 완전 균형 $k$-분할 그래프가 간격 $t$-색칠을 허용하는 $t$ 의 전체 범위는 무엇인가?
• RQ3 만약 $k$ 가 $p2^q$ 형식이면서 $p$ 가 홀수이면, 완전 균형 $k$-분할 그래프에 대해 $W(G)$ 의 더 날카운 상한선을 확립할 수 있는가?
• RQ4 특히 $K_{2n}$ 의 경우에 대해 완전 균형 $k$-분할 그래프 $K_{n,\text{...},n}$ 의 정확한 $W(K_{n,\text{...},n})$ 값은 무엇인가?

주요 결과

• 각 파트에 $n$ 개의 정점이 있는 완전 균형 $k$-분할 그래프는 $nk$ 가 짝수일 때에만 간격 색칠 가능하다.
• 만약 $nk$ 가 짝수이고 $(k-1)n \leq t \leq \left(\frac{3}{2}k - 1\right)n - 1$ 이면, 그래프는 간격 $t$-색칠을 허용한다.
• 만약 $k = p2^q$ 이고 $p$ 가 홀수이며 $q \in \mathbb{N}$ 이면, $(k-1)n \leq t \leq (2k - p - q)n - 1$ 를 만족하는 모든 $t$ 에 대해 그래프는 간격 $t$-색칠을 허용한다.
• 구성 색칠 방법을 통해 $n \geq 2$ 이고 짝수일 경우 상한선 $W(G) \geq \left(\frac{3}{2}k - 1\right)n - 1$ 이 확립된다.
• 조건 $k = p2^q$ 를 만족할 경우 상한선 $W(G) \geq (2k - p - q)n - 1$ 이 증명되며, 이러한 그래프의 간격 색칠의 범위가 향상된다.
• 기존의 완전 그래프 및 완전 이분할 그래프의 간격 색칠 결과를 일반화하여, 균형 다분할 그래프 설정으로 확장한다.