[論文レビュー] Irregular Labellings of Circulant Graphs

Marcin Anholcer|arXiv (Cornell University)|Nov 1, 2011

Graph Labeling and Dimension Problems参考文献 11被引用数 11

ひとこと要約

この論文は、循環グラフ $Ci_n(1,2,\dots,k)$ における総頂点不規則性度 (tvs) と不規則性度 (s) の正確な値を決定し、$tvs(Ci_n(1,2,\dots,k)) = \left\lceil\frac{n+2k}{2k+1}\right\rceil$ および $s(Ci_n(1,2,\dots,k)) = \left\lceil\frac{n+2k-1}{2k}\right\rceil$ が成り立つことを証明している。ただし、特定の例外的な場合を除き、追加で 1 が必要となる。

ABSTRACT

We investigate the extit{irregularity strength} ($s(G)$) and extit{total vertex irregularity strength} ($tvs(G)$) of circulant graphs $Ci_n(1,2,...,k)$ and prove that $tvs(Ci_n(1,2,...,k))=\lceil\frac{n+2k}{2k+1} ceil$, while $s(Ci_n(1,2,...,k))=\lceil\frac{n+2k-1}{2k} ceil$ except the case when $(n \bmod 4k = 2k+1 \wedge k\bmod 2=1) \vee n=2k+1$ and $s(Ci_n(1,2,...,k))=\lceil\frac{n+2k-1}{2k} ceil+1$.

研究の動機と目的

• 循環グラフ $Ci_n(1,2,\dots,k)$ における総頂点不規則性度 (tvs) の正確な値を特定すること。
• 同じクラスの循環グラフにおける不規則性度 (s) の正確な値を確立すること。
• s(G) が n と k の関数によって有界であるという予想を、s と tvs のタイトな公式の証明によって解決すること。
• 一般の公式に追加で 1 が必要となる例外的なケースを特定・特徴づけること。

提案手法

• tvs の証明には、グラフをセグメントに分割し、辺の重みを割り当てて重み付き次数がすべて異なるようにする構成的ラベリング戦略を用いる。
• 鍵となる技術的補題は、$S^{(k)}$ と呼ばれる $2k+1$ 頂点の部分グラフに、ラベル 0, 1, 2 を用いて特定の重み付き次数の性質を持つラベル付けを構成する。
• 辺ラベルに $s/2$ を乗じ、頂点ラベルを加えることで、セグメント間で重み付き次数が一意になるように変換を適用する。
• 不規則性度 s については、頂点間に部分グラフ $S^{(r')}\text{ または }R^{(r')}$ を再帰的に挿入することで、重み付き次数を調整する。
• k の偶奇および $r = n \mod 4k$ の剰余に基づいてラベルを調整し、$r = 2k+1$ および $k$ が奇数の場合に特別な処理を行う。
• 重み付き次数の和の偶奇に基づく背理法を用いて、例外的な場合にラベル $s+1$ が必要であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 循環グラフ $Ci_n(1,2,\dots,k)$ における総頂点不規則性度 $tvs(Ci_n(1,2,\dots,k))$ の正確な値は何か？
• RQ2 これらのグラフにおける不規則性度 $s(Ci_n(1,2,\dots,k))$ の正確な値は何か？ また、一般の公式に例外は存在するか？
• RQ3 標準的な公式が不十分となる条件は何か？ どのような調整が必要か？
• RQ4 $Ci_n(1,2,\dots,k)$ に対して、$s(G)$ と $tvs(G)$ の下界が正確に達成可能か？

主な発見

• $n \geq 2k+1$ の場合、$Ci_n(1,2,\dots,k)$ の総頂点不規則性度は正確に $\left\lceil\frac{n+2k}{2k+1}\right\rceil$ に等しい。
• すべてのケースにおいて、不規則性度 $s(Ci_n(1,2,\dots,k))$ は $\left\lceil\frac{n+2k-1}{2k}\right\rceil$ に等しいが、$(n \bmod 4k = 2k+1 \land k \bmod 2 = 1)$ または $n = 2k+1$ の場合、$\left\lceil\frac{n+2k-1}{2k}\right\rceil + 1$ に等しい。
• tvs と s の公式は理論的下界と一致しており、このグラフクラスにおけるこれらの下界のタイトさが証明された。
• ラベル $s+1$ が必要となる例外ケースは、重み付き次数の和の偶奇に基づく背理法によって証明された。
• 構成はアルゴリズム的かつ構成的であり、ラベル 1 から $s$ または $s+1$ のみを用いて不規則ラベリングを生成する方法を提供する。