In this paper, we look into Signed Product Cordial Labeling for Splitting Graphs of Bull graph and Splitting graph of Star graph , Square of Path graph, Coronaand also for the graph obtained by joining two copies of Helm by a Path of arbitrary length.
論文ID : 2511.05607タイトル : Further Results on Signed Product Cordial Labeling著者 : S. Soundar Rajan, J. Baskar Babujee分類 : math.CO(組合数学)掲載誌 : Revista Argentina de Clínica Psicológica, 2023, Vol. XXXII, N°1, 01-04著者所属 : Department of Mathematics, Anna University, MIT Campus, Chennai-44, India論文リンク : https://arxiv.org/abs/2511.05607 DOI : 10.24205/03276716.2023.7001本論文は、多様なグラフ構造における符号付き積調和ラベリング(Signed Product Cordial Labeling)の問題を研究している。具体的には、ブル図の分割グラフ、星グラフK₁,ₙの分割グラフ、経路グラフの平方Pₙ²、冠グラフCₙ ⊙ 3k₁、および任意の長さの経路で接続された2つのヘルムグラフH₄の構造を扱っている。著者らは、これらのグラフ構造がすべて符号付き積調和ラベリングを許容することを証明した。
本論文は、グラフの符号付き積調和ラベリング問題を研究している。これはグラフ論におけるグラフラベリング理論の重要な分野である。具体的には、特定のグラフ構造が符号付き積調和ラベリングを許容するかどうかを判定する問題、すなわち、グラフの頂点に{1, -1}のラベルを割り当て、頂点と辺のラベル分布が特定の平衡条件を満たすかどうかを判定する問題に対処している。
理論的意義 :グラフラベリングはグラフ論と数論の融合領域であり、深い数学的理論的価値を有する実際の応用 :グラフラベリングは複数の実際の領域に応用されている:
レーダーパルス符号化設計 ニューラルネットワーク 通信ネットワークアドレッシングシステム 周波数割り当て問題 グラフ分解問題 ゲームとパズル設計 Cahit(1987)は優美ラベリングと調和ラベリングから調和ラベリング(Cordial labeling)の概念を発展させた Babujeeとloganathan(2011)は符号付き積調和ラベリングを導入し、経路グラフ、木、および循環グラフがこのようなラベリングを許容することを証明した 本論文は当該理論のさらなる拡張であり、より複雑なグラフ構造を研究している 既存の研究は主に基本的なグラフ構造に焦点を当てており、分割グラフ、平方グラフ、冠グラフなどの複雑な構造に関する研究は少ない。本論文は、この空白を埋め、符号付き積調和ラベリングの適用範囲を拡張することを目指している。
本論文の主な貢献は以下の通りである:
星グラフK₁,ₙの分割グラフSpltg(K₁,ₙ)が符号付き積調和ラベリングを許容することを証明 し、明確なラベリング方式と頂点/辺条件の完全な分析を提供したブル図の分割グラフSpltg(BG)が符号付き積調和ラベリングを許容することを証明 し、ブル図の分割グラフに関する初めての研究である経路グラフの平方Pₙ²(n≥3)が符号付き積調和ラベリングを許容することを証明 し、nが奇数と偶数の場合をそれぞれ検討した冠グラフCₙ ⊙ 3k₁が符号付き積調和ラベリングを許容することを証明 し、系統的なラベリング構成方法を提供した任意の長さの経路で接続された2つのヘルムグラフH₄の構造が符号付き積調和ラベリングを許容することを証明 し、当該ラベリング方法の柔軟性を示した詳細な図解を提供 し、様々なグラフ構造の符号付き積調和ラベリング方式を直感的に示した符号付き積調和ラベリングの定義 :
グラフGに対して、頂点ラベリング関数α: V(G) → {1, -1}と誘導辺ラベリング関数α*: E(G) → {1, -1}を定義する。ここで:
α*(uv) = α(u) · α(v)(辺のラベルはその両端点のラベルの積に等しい) 以下の条件を満たす場合、当該ラベリングを符号付き積調和ラベリングと呼ぶ:
|vα(-1) - vα(1)| ≤ 1(ラベルが-1と1の頂点数の差が1以下) |eα*(-1) - eα*(1)| ≤ 1(ラベルが-1と1の辺数の差が1以下) ここで:
vα(1):ラベルが1の頂点数 vα(-1):ラベルが-1の頂点数 eα*(1):ラベルが1の辺数 eα*(-1):ラベルが-1の辺数 分割グラフSpltg(G) :グラフGの各頂点vに対して新しい頂点v'を追加し、Nbhd(v) = Nbhd(v')となるようにする(新しい頂点は元の頂点と同じ隣接頂点を持つ)ブル図 :5個の頂点を持つ無向平面三角形グラフ経路グラフの平方Pₙ² :経路Pₙから距離が2である頂点対を接続することで得られる冠グラフG₁ ⊙ G₂ :G₁の1つのコピーとn₁個のG₂のコピーを取り、G₁のi番目の頂点をi番目のG₂コピーのすべての頂点に接続するヘルムグラフHₙ :ホイールグラフWₙから、ホイール縁の各頂点に懸垂辺を追加することで得られるグラフ構造 :
元の星グラフK₁,ₙは頂点集合{v₀, v₁, ..., vₙ}を持ち、v₀は中心頂点 分割グラフは頂点集合を持つ:{vᵢ: 0≤i≤n} ∪ {vᵢ': 0≤i≤n} 辺集合:{v₀vᵢ} ∪ {v₀vᵢ'} ∪ {v₀'vᵢ'}、0≤i≤n ラベリング方式 :
α(vᵢ) = { 1, i ≡ 1 (mod 2)
-1, i ≡ 0 (mod 2) } 1≤i≤nに対して
α(vᵢ') = -α(vᵢ)
α(v₀) = 1
α(v₀') = -1
検証結果 (表1):
n≡0(mod 2)の場合:vα(1)=n+1, vα(-1)=n+1, |vα(-1)-vα(1)|=0
eα*(1)=3n/2, eα*(-1)=3n/2, |eα*(-1)-eα*(1)|=0 n≡1(mod 2)の場合:vα(1)=n+1, vα(-1)=n+1, |vα(-1)-vα(1)|=0
eα*(1)=(3n+1)/2, eα*(-1)=(3n-1)/2, |eα*(-1)-eα*(1)|=1 ラベリング方式 :
α(v₁) = -1
α(vᵢ) = { 1, i ≡ 0 (mod 2)
-1, i ≡ 0 (mod 3)
1, i ≡ 2 (mod 3) }
α(vᵢ') = -α(vᵢ)
検証結果 :
vα(1) = 5, vα(-1) = 5, |vα(1) - vα(-1)| = 0 eα*(1) = 8, eα*(-1) = 7, |eα*(1) - eα*(-1)| = 1 ラベリング方式 :
α(vᵢ) = { 1, iが奇数
-1, iが偶数 }
誘導辺ラベリング :
α*(vᵢvᵢ₊₁):隣接する頂点のラベルが異なるため、-1 α*(vᵢvᵢ₊₂):距離が2の頂点のラベルが同じため、1 検証結果 :
nが偶数 :vα(1)=n/2, vα(-1)=n/2, eα*(1)=n-2, eα*(-1)=n-1nが奇数 :vα(1)=(n+1)/2, vα(-1)=(n-1)/2, eα*(1)=n-2, eα*(-1)=n-1両方の場合において条件を満たす ラベリング方式 :
ux = 1, 1≤x≤n
vx = -1, 1≤x≤n
wx = 1, 1≤x≤n
tx = -1, 1≤x≤n
誘導辺ラベリング :
α*(uxux+1) = 1
α*(uxvx) = -1
α*(uxwx) = 1
α*(uxtx) = -1
α*(uun) = 1
検証結果 :
vα(1) = n/2, vα(-1) = n/2 eα*(1) = n/2, eα*(-1) = n/2 ラベリング戦略 :
最初のH₄の内部頂点のラベルは1、外部懸垂頂点のラベルは-1 2番目のH₄の内部頂点のラベルは-1、外部懸垂頂点のラベルは1 経路Pₖの頂点ラベルは交互に割り当てられる:
u₁ = uₙ = 1(両端点) α(uᵢ) = 1(iが偶数) α(uᵢ) = -1(iが奇数) 系統的なラベリング構成方法 :異なるグラフ構造の特性に対応した適切なラベリング戦略を設計し、グラフ構造の性質に対する深い理解を示している分類討論の完全性 :Pₙ²などのグラフについて、nが奇数と偶数の場合をそれぞれ検討し、証明の完全性を確保しているモジュール化設計思想 :複合グラフ構造(例えば、経路で接続された2つのヘルムグラフ)に対して、モジュール化ラベリング戦略を採用し、各モジュールをラベリングしてから接続部分を処理する辺ラベリングの巧妙な利用 :乗積規則α*(uv) = α(u)·α(v)を通じて、1と-1の乗法性(同符号は1、異符号は-1)を利用して辺ラベルの分布を制御する本論文は純粋な数学理論研究であり、実験検証ではなく厳密な数学的証明方法を採用している。各定理の証明は以下を含む:
グラフ構造の明確な定義 :頂点集合と辺集合を正確に記述ラベリング方式の構成 :具体的なラベリング関数を提供条件の検証 :計数を通じて符号付き積調和ラベリングの2つの条件を満たすことを証明図解による説明 :具体的な例の図形表示を提供定量分析 :
vα(1)、vα(-1)、eα*(1)、eα*(-1)の値を正確に計算 |vα(-1) - vα(1)| ≤ 1と|eα*(-1) - eα*(1)| ≤ 1を検証 分類討論 :
パラメータの奇偶性に基づいて分類(例えば、nが奇数/偶数) すべてのケースがカバーされていることを確保 論文は以下の図解を提供している:
図1 :Spltg(K₁,₈)の符号付き積調和ラベリング図2 :Spltg(BG)の符号付き積調和ラベリング図3 :P₈²の符号付き積調和ラベリング図4 :Cₙ ⊙ 3k₁の符号付き積調和ラベリング図5 :P₅で接続された2つのH₄の符号付き積調和ラベリングこれらの図解は、ラベリング方式の有効性を直感的に示している。
本論文は、以下の5類のグラフ構造が符号付き積調和ラベリングを許容することを成功裏に証明した:
星グラフの分割グラフSpltg(K₁,ₙ) 任意のnに適用可能 頂点条件:常に|vα(-1) - vα(1)| = 0を満たす 辺条件:nが偶数の場合差値は0、nが奇数の場合差値は1 ブル図の分割グラフSpltg(BG) 固定された5頂点グラフ構造 |vα(1) - vα(-1)| = 0 |eα*(1) - eα*(-1)| = 1 経路グラフの平方Pₙ²(n≥3) すべてのn≥3に適用可能 頂点条件:nが偶数の場合差値は0、nが奇数の場合差値は1 辺条件:常に|eα*(-1) - eα*(1)| = 1 冠グラフCₙ ⊙ 3k₁ 任意のnに適用可能 完全なバランス:頂点と辺のラベル数が完全に等しい 任意の長さの経路で接続された2つのH₄ 任意の経路長に適用可能 方法の柔軟性と拡張性を示している 理論的完全性 :
すべての証明は構成的であり、明確なラベリング方式を提供している 証明プロセスは厳密であり、すべての可能なパラメータケースをカバーしている ラベリング効率 :
ほとんどの場合、頂点または辺ラベルの完全なバランス(差値0)を実現している バランスが取れていない場合でも、差値は厳密に1以内に制御されている 方法の普遍性 :
単純なグラフ(星グラフ、ブル図)から複雑なグラフ(冠グラフ、複合グラフ)まで適用可能 符号付き積調和ラベリングの広範な適用可能性を証明している **Spltg(K₁,₈)**の例(図1):
元の星グラフK₁,₈は9個の頂点を持つ(1個の中心+8個の葉) 分割グラフは18個の頂点、24条の辺を持つ ラベリング結果:vα(1) = 9, vα(-1) = 9(完全なバランス) 辺ラベリング:eα*(1) = 12, eα*(-1) = 12(完全なバランス) P₈² の例(図3):
8個の頂点、13条の辺 ラベリング結果:vα(1) = 4, vα(-1) = 4 辺ラベリング:eα*(1) = 6, eα*(-1) = 7 優美ラベリングと調和ラベリング (Graceful and Harmonious Labeling)グラフラベリング理論の初期研究 Cahit(1987)はこれに基づいて調和ラベリングを提案した 調和ラベリング (Cordial Labeling)Cahit(1987)により提案 優美ラベリングと調和ラベリングの弱化版 {0, 1}ラベルを使用し、頂点と辺ラベルのバランスを要求 符号付き積調和ラベリング (Signed Product Cordial Labeling)Babujeeとloganathan(2011)により導入 {0, 1}の代わりに{1, -1}ラベルを使用 辺ラベルは乗積により定義:α*(uv) = α(u)·α(v) 経路グラフ、木、および循環グラフがこのようなラベリングを許容することが証明されている 先行研究との関係 :
Babujeeとloganathan(2011)の符号付き積調和ラベリング定義を直接継承している 既知の結果を拡張し、より複雑なグラフ構造を研究している 研究の進展 :
基本的なグラフ(経路、木、循環)から派生グラフ(分割グラフ、平方グラフ)への拡張 単一グラフから複合グラフ(冠グラフ、接続グラフ)への拡張 存在性の証明だけでなく、系統的な構成方法を提供している 論文はグラフラベリングの実際の応用を引用している(Hale, 1980):
周波数割り当て問題 レーダーパルス符号化 通信ネットワークアドレッシング ニューラルネットワーク およびゲームとパズル応用(Tuza, 2017)。
理論的拡張 :本論文は符号付き積調和ラベリング理論を5つの新しいグラフ構造クラスに成功裏に拡張し、当該分野の研究成果を大幅に豊かにした構成的証明 :すべての証明は構成的であり、存在性を証明するだけでなく、明確なラベリングアルゴリズムも提供している方法論的貢献 :異なるグラフ構造に対してラベリング戦略を設計する方法を示し、後続研究に方法論的指導を提供している完全性 :分類討論(例えば、nの奇偶性)を通じて、証明の完全性と厳密性を確保している研究範囲の制限 :特定の数種類のグラフ構造のみを研究している より一般的なグラフクラス(任意の分割グラフ、任意の冠グラフ)に対する統一的な結論を提供していない 必要十分条件の欠如 :論文は特定のグラフが符号付き積調和ラベリングを許容することを証明している(十分性) しかし、どのグラフがこのようなラベリングを許容しないかについては議論していない(必要性) グラフが符号付き積調和ラベリングを許容するための必要十分条件の特性化が欠けている アルゴリズムの複雑性が未検討 :符号付き積調和ラベリングを見つけるアルゴリズムの複雑性を分析していない 一般的なグラフに対して、このようなラベリングを許容するかどうかを判定する計算複雑性は未知である 実際の応用が未展開 :応用領域に言及しているが、これらの結果をどのように応用するかについては具体的に示していない 実際の問題からグラフラベリングへのモデリングプロセスが欠けている 理論的深さの不足 :主に構成的証明であり、深層的な理論分析が欠けている 異なるグラフ構造間の内在的な関連性を探求していない 統一的な理論的枠組みが欠けている 本論文の研究に基づいて、可能な今後の研究方向は以下を含む:
より一般的なグラフクラス :任意のグラフの分割グラフが符号付き積調和ラベリングを許容するかどうかを研究する 他のグラフ演算(デカルト積、テンソル積など)下でのラベリング性質を探求する 必要十分条件 :グラフが符号付き積調和ラベリングを許容するための必要十分条件を探索する このようなラベリングを許容しないグラフの特性を特性化する アルゴリズム研究 :グラフが符号付き積調和ラベリングを許容するかどうかを判定する効率的なアルゴリズムを設計する 問題の計算複雑性を研究する(NP完全性など) 変種研究 :他のラベルセット({-1, 0, 1}など)を研究する 異なる辺ラベリング規則を探求する 応用研究 :理論的結果を具体的な問題(周波数割り当て、ネットワーク設計など)に応用する 実際の問題とグラフラベリングの関連性を確立する 研究の系統性 :多様な異なるタイプのグラフ構造を研究し、包括性を示している 各定理には詳細な証明と図解が付属し、理解を容易にしている 分類討論が完全で、パラメータの異なる値を考慮している 証明の構成性 :すべての証明は明確なラベリング方式を提供している 存在性を証明するだけでなく、具体的な構成方法も提供している 実際の応用と後続研究を容易にしている 方法の革新性 :異なるグラフ構造に対応した適切なラベリング戦略を設計している グラフの対称性と構造的特性をどのように利用するかを示している 複合グラフラベリングにおけるモジュール化思想の応用が巧妙である 図解の明確性 :各定理には具体的な例の図解が付属している ラベリング方式の有効性を直感的に示している 抽象的なラベリング概念の理解を支援している 理論の拡張性 :単純なグラフから複雑なグラフへの段階的な研究 後続研究のための良好な基礎を提供している 方法は一定の推広可能性を有している 理論的深さの不足 :主に個別研究であり、統一的な理論的枠組みが欠けている 異なるグラフ構造間の内在的な関連性を探求していない 符号付き積調和ラベリングの本質に対する深い分析が欠けている 結果の限界 :特定の数種類のグラフのみを研究し、普遍性が限定的である グラフが符号付き積調和ラベリングを許容するための一般的な判定基準を提供していない これらのグラフがなぜラベリングを許容するのかについての深層的な説明が欠けている 証明技法の単一性 :すべての証明は直接構成+検証である より高度な証明技法(帰納法、背理法など)が欠けている グラフ論の深い結果を利用していない 実験検証の欠如 :理論研究ですが、コンピュータで更に多くの例を検証することができる 大規模グラフのラベリングに関する実験が欠けている ラベリング方式の一意性または多様性について議論していない 執筆上の問題 :定理2.4が2回出現(冠グラフとヘルムグラフ)し、番号付けが誤っている 某些定義が十分に正確でない(例えば、ブル図の定義が曖昧) 研究動機に対する深い説明が欠けている 応用討論の不足 :応用領域に言及しているが、具体的には展開していない 実際の問題からグラフラベリングへのモデリングプロセスが欠けている これらの結果がどのように実際の問題を解決するかについて説明していない 分野への貢献 :
増分的貢献 :既知の符号付き積調和ラベリンググラフクラスを拡張している方法論的価値 :新しいグラフクラスを研究するためのラベリング方法を提供している理論的完善 :グラフラベリング理論の内容を豊かにしている実用的価値 :
理論研究価値が高い :グラフ論研究者に新しい研究対象を提供している実際の応用価値は検証待ち :具体的な応用例が欠けている教育的価値 :グラフラベリング理論の教育ケーススタディとして利用できる再現性 :
証明は検証可能 :すべての証明は構成的であり、検証が容易である図解は明確 :具体的な例が提供され、理解を容易にしている方法は推広可能 :ラベリング戦略は類似のグラフ構造に適用できる学術的影響 :
学際的な期刊に掲載(心理学期刊に数学論文が掲載されるのは比較的稀) 当該分野の古典文献を引用している 後続研究のための基礎を提供している 理論研究 :グラフラベリング理論の研究者は本論文の方法から学ぶことができる より複雑なグラフ構造を研究するための出発点となる グラフ論コースの補足教材として利用できる 組合せ最適化 :グラフ着色、グラフ分解などの問題に応用される可能性がある グラフの対称性、バランス性に関連する問題に適用可能 ネットワーク設計 :実際のネットワークとこれらのグラフ構造の対応関係を確立できれば ネットワークリソース割り当て、周波数計画などに応用される可能性がある アルゴリズム設計 :グラフラベリングアルゴリズムの設計のテストケースとして利用できる ヒューリスティックアルゴリズムの有効性を検証できる 論文が引用する主要文献:
Babujee, J. B., & Loganathan, S. (2011) . On signed product cordial labeling. Applied Mathematics, 2(12), 1525-1530.Cahit, I. (1987) . Cordial Graphs: A Weaker Version of Graceful and Harmonious Graphs. Ars combinatoria, 23, 201-207.Beineke, L. W., & Hegde, S. M. (2001) . Strongly multiplicative graphs. Discussiones Mathematicae Graph Theory, 21(1), 63-75.Hale, W. K. (1980) . Frequency assignment: Theory and applications. Proceedings of the IEEE, 68(12), 1497-1514.Tuza, Z. (2017) . Graph labeling games. Electronic Notes in Discrete Mathematics, 60, 61-68.本論文は符号付き積調和ラベリング理論の堅実な拡張研究である。著者らは5つのグラフ構造クラスの符号付き積調和ラベリング問題を系統的に研究し、構成的証明を通じて明確なラベリング方式を提供している。論文の主な価値は、既知の符号付き積調和ラベリングを許容するグラフクラスを拡張し、新しいグラフクラスを研究するための方法論的指導を提供することにある。
しかし、論文には明らかな限界もある:統一的な理論的枠組みが欠けており、個別研究に限定されており、グラフがこのようなラベリングを許容する本質的な理由について深く探求していない。また、必要十分条件も提供していない。今後の研究は以下の方向で深化させることができる:より一般的な理論的枠組みの構築、アルゴリズム複雑性の研究、実際の応用の探求など。
全体的に、これは合格した数学理論研究論文であり、グラフラベリング理論に増分的な貢献をしているが、理論的深さと応用的価値の面ではさらに大きな改善の余地がある。