[論文レビュー] Tight Bounds on the Complexity of Semi-Equitable Coloring of Cubic and Subcubic Graphs

Hanna Furmańczyk, Marek Kubale|arXiv (Cornell University)|Jun 20, 2016

Advanced Graph Theory Research参考文献 8被引用数 5

ひとこと要約

本稿は、3次および部分3次グラフにおける準均等彩色の計算量的境界を厳密に確立する。k ≥ 4 の場合、非均等な色クラスのサイズが n/3 + εn 以上であるような k-彩色が存在するかどうかを決定することは NP完全であることが証明されている。一方、非均等クラスが n/3 以下である場合には、このような彩色は多項式時間で解ける。この結果により、この彩色変種における多項式時間解可能性と NP完全性の境界が解明された。

ABSTRACT

A $k$-coloring of a graph $G=(V,E)$ is called semi-equitable if there exists a partition of its vertex set into independent subsets $V_1,\ldots,V_k$ in such a way that $|V_1| otin \{\lceil |V|/k ceil, \lfloor |V|/k floor\}$ and $||V_i|-|V_j|| \leq 1$ for each $i,j=2,\ldots,k$. The color class $V_1$ is called non-equitable. In this note we consider the complexity of semi-equitable $k$-coloring, $k\geq 4$, of the vertices of a cubic or subcubic graph $G$. In particular, we show that, given a $n$-vertex subcubic graph $G$ and constants $ε> 0$, $k \geq 4$, it is NP-complete to obtain a semi-equitable $k$-coloring of $G$ whose non-equitable color class is of size $s$ if $s \geq n/3+εn$, and it is polynomially solvable if $s \leq n/3$.

研究の動機と目的

• k ≥ 4 における部分3次グラフにおける準均等 k-彩色の計算量的複雑性を特定すること。
• 準均等彩色が多項式時間で解けるか NP完全になるかの遷移点を正確に同定すること。
• 多項式時間解法と NP完全性の境界を分ける非均等色クラスのサイズに対するタイトな境界を確立すること。
• 非均等クラスが n/3 以下である場合の O(n²) アルゴリズムを提供すること。

提案手法

• 非均等クラスが n/3 + εn を超える場合の準均等 k-彩色の NP困難性を示すために、既知の NP完全問題への還元を行う。
• 頂点交換とパス分解を用いて色幅を段階的に削減する構成的アルゴリズムの設計。
• 近傍の等価性や次数制約といった構造的グラフ性質を用いて、色クラスの調整を支援する。
• Chen らの均等3彩色アルゴリズムの修正版を部分3次グラフに適用し、k ≥ 4 に拡張する。
• 独立部分グラフにおける最大の交互パスの分析により、バランスの取れた再彩色を可能にする。
• 近傍の重なりと頂点次数に関する場合分けによる証明により、色の交換が有効であり、色幅を削減することを保証する。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 4 の場合、非均等色クラスのサイズが n/3 + εn を超える部分3次グラフにおける準均等 k-彩色は NP完全か？
• RQ2 非均等クラスが n/3 以下である場合、準均等 k-彩色は多項式時間で解けるか？
• RQ3 非均等クラスが小さい場合に、部分3次グラフが効率的な準均等彩色を可能にする構造的性質は何か？
• RQ4 非連結な部分3次グラフにおいて、色幅削減手順はどのように動作するか？
• RQ5 K₄ や K₃,₃ を除く3次グラフにおける準均等彩色の計算量的複雑性は何か？

主な発見

• k ≥ 4 かつ任意の ε > 0 に対して、非均等色クラスのサイズが n/3 + εn 以上である部分3次グラフにおける準均等 k-彩色は NP完全である。
• 非均等色クラスが n/3 以下である場合、準均等 k-彩色は O(n²) 時間で解ける。
• NP完全性の結果は、K₄ や K₃,₃ を除く連結な3次グラフに対しても成立する。
• 非均等クラスが小さい場合のアルゴリズムは、頂点交換とパス分解を繰り返し用いて色幅を段階的に削減する。
• 色幅削減の証明は構成的であり、非連結な部分3次グラフに対しても、各成分を独立に処理することで適用可能である。
• 複雑性の閾値はタイトである：問題は正確に n/3 で多項式時間から NP完全に遷移する。