[論文レビュー] Prime Labeling of Ladders

Ebrahim Ghorbani, Sara Kamali|arXiv (Cornell University)|Oct 27, 2016

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

ひとこと要約

この論文は、パスグラフと2頂点のパスのカルテシアン積として定義されるラッパーグラフが、素数ラベル付けを許容することを証明し、長年の予想を裏付ける。著者らは、隣接する頂点ペアがすべて互いに素であることを保証するため、算術級数と剰余制約を用いたラベル付けを構築し、ラッパーの各正方形におけるクロス条件を満たすために特別な整数を体系的に挿入する。

ABSTRACT

A prime labeling of a graph with $n$ vertices is a labeling of its vertices with distinct integers from $\{1, 2,\ldots , n\}$ in such a way that the labels of any two adjacent vertices are relatively prime. T. Varkey conjectured that ladder graphs have a prime labeling. We prove this conjecture.

研究の動機と目的

• すべてのラッパーグラフが、隣接する頂点が相対的素数である整数でラベル付け可能であるという予想を解決すること。
• 素数ラベル付けの理解を、木や他の既知のグラフクラスに加え、ラッパーグラフへと拡張すること。
• 任意のサイズのラッパーグラフに対して素数ラベル付けを生成する構成的メソッドを提供すること。
• すべての2×nグリッド（ラッパー）が、隣接する頂点ペアがすべて互いに素数となるラベル付けが可能であることを確認すること。
• ラッパーの各2×2部分グリッドにおいてクロス条件が満たされる一般ラベル付けスキームを確立すること。

提案手法

• ラッパーの頂点の基本ラベルとして $ a_k = 6k - 3 $ および $ b_k = 6k - 1 $ を定義し、算術級数における素数性の性質を活用する。
• 5および7を含む剰余条件を用いて、$ c_\rho = a_\rho - 2 $ および $ 6\ell + 1 $ という特別な整数を特定し、既存のラベルの間に挿入することで素数性を維持する。
• 5および7に関する剰余制約に基づき、$ a_\ell $ と $ a_{\ell+1} $ または $ b_\ell $ と $ b_{\ell+1} $ の間に $ c_\ell $ および $ 6\ell + 1 $ を挿入し、クロス条件を満たす。
• 恒等式 $ \gcd(u,v) = \gcd(u, v + uh) $ を適用して、挿入されたラベルが近隣の頂点と素数であることを検証する。
• 初期の正方形を修正し、クロス条件が初期で成立するように、$ a_1 $ と $ b_1 $ の間に数字7を挿入する。
• 最後に、1はすべての整数と素数であるため、任意の2つの頂点の間にラベル1を挿入してラベル付けを完了する。

実験結果

リサーチクエスチョン

• RQ1 すべてのラッパーグラフが、隣接する頂点が相対的素数であるラベルを有するか？
• RQ2 ラッパーの各2×2部分グリッドにおいてクロス条件が満たされるように、体系的なラベル付けの構成が可能か？
• RQ3 既存のラベルの間に挿入しても素数性を損なわないような整数の剰余制約は何か？
• RQ4 算術級数と数論的条件を用いて、大きな $ n $ を含むすべてのラッパーサイズにラベル付けを拡張する方法は何か？
• RQ5 特定の整数を戦略的に挿入することで、基本ラベル付けを変更し、ラッパーに対して素数ラベル付けを構築することは可能か？

主な発見

• この論文は、すべてのラッパーグラフが素数ラベル付けを許容することを確認し、Varkey らの予想を証明した。
• 各2×2正方形においてクロス条件が満たされるラベル付けスキームが構築され、つまり対角線上の頂点ペアがすべて互いに素数である。
• 構成法は、$ a_k = 6k - 3 $、$ b_k = 6k - 1 $ の形の整数と、5および7に関する剰余条件に基づく $ c_\ell = a_\ell - 2 $ および $ 6\ell + 1 $ の特別な挿入を用いる。
• 整数 $ c_\ell $ の集合 $ C $ は $ n \geq 73 $ のときのみ非空であり、素数性を保つために剰余条件を満たす場合にのみ挿入される。
• 初期の正方形を修正するため、$ a_1 $ と $ b_1 $ の間に7が挿入され、ラベル付けを完了させるために最後に1が挿入される。
• この方法により、最終的なラベル付けにおけるすべての隣接頂点ペアが互いに素数であることが保証され、有効な素数ラベル付けが達成される。