[논문 리뷰] The Radio Number of $C_n \square C_n$

Marc Morris-Rivera, Maggy Tomova외 2명|arXiv (Cornell University)|2010. 07. 29.

Graph Labeling and Dimension Problems참고 문헌 2인용 수 5

한 줄 요약

이 논문은 $C_n \square C_n$의 라디오 수를 결정하기 위해 날카운 상한을 확립하고, 이 상한에 도달하는 명시적 라디오 레이블링을 구성함으로써, $n$ 이 짝수인지 홀수인지에 따라 종속되는 닫힌 형태의 공식을 도출한다. 주요 결과는 이 가족의 그래프에 대해 오랫동안 미해결이었던 문제를 해결하고, 그래프 곱에서 라디오 수의 행동에 대한 통찰을 제공하는 바이다.

ABSTRACT

Radio labeling is a variation of Hale's channel assignment problem, in which one seeks to assign positive integers to the vertices of a graph $G$ subject to certain constraints involving the distances between the vertices. Specifically, a radio labeling of a connected graph $G$ is a function $c:V(G) ightarrow \mathbb Z_+$ such that $$d(u,v)+|c(u)-c(v)|\geq 1+ ext{diam}(G)$$ for every two distinct vertices $u$ and $v$ of $G$ (where $d(u,v)$ is the distance between $u$ and $v$). The span of a radio labeling is the maximum integer assigned to a vertex. The radio number of a graph $G$ is the minimum span, taken over all radio labelings of $G$. This paper establishes the radio number of the Cartesian product of a cycle graph with itself (i.e., of $C_n\square C_n$.)

연구 동기 및 목표

• 이전에 알려지지 않았던 $C_n \square C_n$의 정확한 라디오 수를 결정하기 위해.
• 그래프의 삼중의 정점들 사이의 거리 합을 분석하여 라디오 수에 대한 날카운 하한을 확립하기 위해.
• 하한에 도달하는 명시적 라디오 레이블링을 구성함으로써 라디오 수의 정확한 값을 증명하기 위해.
• $C_n \square C_n$의 라디오 수와 그 요소들의 라디오 수 간의 관계를 탐색하기 위해, 특히 $C_n \square C_n$과 $C_n^2$의 맥락에서 고려하기 위해.

제안 방법

• 모든 세 정점 쌍 간의 최대 거리 합을 분석하여 $C_n \square C_n$의 라디오 수에 대한 하한을 유도하기 위해.
• 직경이 $2\lfloor n/2 \rfloor$임을 이용하여, 어떤 라디오 레이블링에도 요구되는 최소 스팬을 제약하기 위해.
• 정점에 대한 레이블 함수 $c$를 대각선 순회 패턴에 기반하여 정의하고, 구조적이고 주기적인 방식으로 레이블을 할당하기 위해.
• 구성된 레이블링이 라디오 조건을 만족함을 증명하기 위해: 모든 서로 다른 정점 쌍 $u,v$에 대해 $d(u,v) + |c(u) - c(v)| \geq 1 + \text{diam}(G)$.
• 짝수 인덱스에서 $c(x_{i+2}) = c(x_i) + k + 1$의 재귀관계를 활용하여, 레이블링의 스팬이 하한과 일치함을 검증하기 위해, 여기서 $k = \lfloor n/2 \rfloor$이다.
• 상한과 하한이 일치함을 보여줌으로써 레이블링이 최적임을 결론 내리고, 따라서 스팬이 라디오 수와 같음을 증명하기 위해.

실험 결과

연구 질문

• RQ1 그래프 $C_n \square C_n$의 정확한 라디오 수는 무엇인가?
• RQ2 그래프 곱의 라디오 수는 그 요소 그래프들의 라디오 수와 어떻게 관련이 있는가?
• RQ3 구조적 레이블링 체계를 구성하여 $C_n \square C_n$의 이론적 하한에 도달할 수 있는가?
• RQ4 $C_n \square C_n$의 라디오 수는 $C_n$의 라디오 수의 제곱보다 현저히 작게 되는가?

주요 결과

• 짝수 $n = 2k$일 때, $C_n \square C_n$의 라디오 수는 정확히 $\frac{n^2 - 2}{2}(k + 2) + 2$이다.
• 홀수 $n = 2k + 1$일 때, 라디오 수는 $\frac{n^2 - 1}{2}(k + 1) + 1$이다.
• 구성된 레이블링이 하한에 도달함을 보여, 이 값들이 최적임을 증명하고, 따라서 정확한 라디오 수임을 입증한다.
• $C_n \square C_n$의 라디오 수는 $rn(C_n)^2$보다 엄격히 작으므로, 라디오 수가 그래프 곱에 대해 곱셈이 아님을 나타낸다.
• 대각선 순회와 주기적인 레이블 증가를 기반으로 한 레이블링 패턴은 모든 정점 쌍 간에 라디오 조건을 만족함을 보장한다.
• 이것은 스스로가 카르테시안 곱인 비자명한 그래프 가족에 대해 라디오 수를 정확히 처음으로 결정한 사례이다.