[論文レビュー] The Radio Number of $C_n \square C_n$

Marc Morris-Rivera, Maggy Tomova+2 more|arXiv (Cornell University)|Jul 29, 2010

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^2$ の文脈において、グラフ積のラジオ数とその因子のラジオ数の関係を調査すること。

提案手法

• 任意の三頂点の間の対間距離の和の最大値を分析することにより、$C_n \square C_n$ のラジオ数に対する下界を導出する。
• $C_n \square C_n$ の直径が $2\lfloor n/2 \rfloor$ であることを用いて、任意のラジオラベルリングに必要な最小スパンを制約する。
• 対角走査パターンに基づいて、$C_n \square C_n$ の頂点にラベル関数 $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$ よりも厳密に小さいため、ラジオ数はグラフ積において乗法的でないことが示された。
• 対角走査に基づき、周期的なラベル増分をとるラベルリングパターンにより、すべての頂点ペアでラジオ条件が満たされる。
• これは、自身がカルテシアン積である非自明なグラフ族において、ラジオ数が正確に決定された最初の事例である。