[論文レビュー] The Complexity of the Sigma Chromatic Number of Cubic Graphs

Ali Dehghan, Mohammad‐Reza Sadeghi+1 more|arXiv (Cornell University)|Mar 25, 2014

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

ひとこと要約

本稿では、3正則グラフにおけるシグマ彩色数 σ(G) の計算複雑性を確立し、σ(G) = 2 であるかどうかを判定することは、3正則グラフにおいて NP完全であることを証明している。さらに、任意の k ≥ 3 に対して、σ(G) = k であるかどうかを判定することも NP完全であり、σ = 2 である平面的 3 正則グラフにおける集合のサイズの最小化は NP 困難である。

ABSTRACT

The sigma chromatic number of a graph G, denoted by σ(G), is the minimum number k that the vertices can be partitioned into k disjoint sets V1,...,Vk such that for every two adjacent vertices u and v there is an index i that u and v have different numbers of neighbors in Vi. We show that, it is NP-complete to decide for a given 3-regular graph G, whether σ(G) = 2. Also, we prove that for every k ≥ 3, it is NP-complete to decide whether σ(G) = k for a given graph G. Furthermore, for planar 3-regular graphs with σ = 2, we show that the problem of minimizing the size of a set is NP-hard.

研究の動機と目的

• 3正則グラフにおけるシグマ彩色数 σ(G) を決定する計算複雑性を調査すること。
• 3正則グラフにおいて σ(G) = 2 を判定することは NP 完全であるかどうかを確立すること。
• 一般のグラフにおいて、任意の k ≥ 3 に対して σ(G) = k を判定する複雑性を検討すること。
• σ(G) = 2 のとき、平面的 3 正則グラフにおける集合のサイズの最小化の難易度を分析すること。

提案手法

• 3正則グラフにおいて σ(G) = 2 を判定する NP 完全性を示すために、既知の NP 完全問題からの還元を実施する。
• k ≥ 3 のとき σ(G) = k を示すために、グラフ族の構築と分割スキームの設計を行う。
• 3正則グラフおよび平面的 3 正則グラフの構造的性質を用いて、集合分割制約を分析する。
• 複雑性理論的技術を応用し、平面的グラフにおいて σ(G) = 2 のもとで集合サイズの最小化が NP 困難であることを証明する。
• シグマ彩色数を、隣接頂点の隣接度が異なる各集合に頂点を分割できる最小の k として形式的に定義する。
• 各分割集合内の隣接度に基づく隣接制約を分析し、シグマ彩色条件を定義する。

実験結果

リサーチクエスチョン

• RQ1 与えられた 3 正則グラフ G に対して、シグマ彩色数 σ(G) が 2 に等しいかどうかを判定することは NP 完全か？
• RQ2 任意の k ≥ 3 に対して、与えられたグラフ G に対して σ(G) = k であるかどうかを判定することは NP 完全か？
• RQ3 平面的 3 正則グラフ G に対して σ(G) = 2 のとき、分割集合のサイズを最小化することは NP 困難か？
• RQ4 3正則グラフのどのような構造的性質が σ(G) の値に影響を与えるか？
• RQ5 特定のクラスの 3正則グラフに対して、σ(G) を効率的に計算するアルゴリズムを設計できるか？

主な発見

• 3正則グラフにおいて σ(G) = 2 であるかどうかを判定することは NP 完全である。
• 任意の k ≥ 3 に対して、一般のグラフにおいて σ(G) = k であるかどうかを判定することは NP 完全である。
• 平面的 3 正則グラフにおいて、σ(G) = 2 を達成する分割における集合サイズの最小化は NP 困難である。
• 平面性および有界次数制約の下でも、シグマ彩色数問題の計算複雑性は依然として高い。
• 複数のパrameter レジームにわたり、問題の複雑性が保持されることから、正確な計算が本質的に困難であることが示された。
• 結果として、3正則グラフや平面的 3正則グラフといった構造的グラフクラスに対しても、σ(G) の計算は非効率的であることが明らかになった。