[论文解读] 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

一句话总结

本文確立了立方圖的sigma色數σ(G)的計算複雜度，證明對於3-正則圖，判斷σ(G) = 2是否為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.

研究动机与目标

• 探討立方圖中sigma色數σ(G)的計算複雜度。
• 確立判斷σ(G) = 2是否為3-正則圖中NP完全問題。
• 檢驗在一般圖中判斷σ(G) = k（k ≥ 3）的複雜度。
• 分析在σ(G) = 2時，平面3-正則圖中最小化集合大小的困難性。

提出的方法

• 透過從已知的NP完全問題歸約，以確立在3-正則圖中判斷σ(G) = 2的NP完全性。
• 構造圖族與分割方案，以展示k ≥ 3時σ(G) = k的困難性。
• 利用立方圖與平面3-正則圖的結構性質，分析集合分割的約束條件。
• 應用複雜度理論技術，證明在平面圖中σ(G) = 2時最小化集合大小的NP困難性。
• 形式化定義sigma色數為最小k值，使得頂點可被劃分為k個集合，且每個集合中相鄰頂點的鄰點數互不相同。
• 基於每個分割集合中鄰點數的相鄰約束進行分析，以定義sigma色數條件。

实验结果

研究问题

• RQ1 對於給定的3-正則圖G，判斷sigma色數σ(G)是否等於2是否為NP完全問題？
• RQ2 對於任意k ≥ 3，對於給定圖G，判斷σ(G) = k是否為NP完全問題？
• RQ3 在平面3-正則圖G中，當σ(G) = 2時，最小化分割集合大小是否為NP困難問題？
• RQ4 立方圖的哪些結構性質會影響σ(G)的值？
• RQ5 能否設計出針對特定類型立方圖的高效算法來計算σ(G)？

主要发现

• 判斷3-正則圖中σ(G) = 2是否為NP完全問題。
• 對於所有k ≥ 3，判斷一般圖中σ(G) = k是否為NP完全問題。
• 在平面3-正則圖中，達成σ(G) = 2的分割中最小化集合大小為NP困難問題。
• 即使在平面性與有界度數約束下，sigma色數問題仍保持計算困難。
• 該問題的複雜度在多個參數範圍中保持不變，顯示其精確計算具有本質困難性。
• 研究結果表明，即使對於立方圖與平面立方圖等結構化圖類別，計算σ(G)仍為不可解問題。