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

一句话总结

本文为立方图与次立方图中的半等权染色建立了紧致的计算复杂度界限。证明了当非等权色类大小至少为 $n/3 + \epsilon n$ 时，对于 $k \geq 4$，判断一个次立方图是否允许半等权 $k$-染色是 NP-完全的；而当非等权色类大小不超过 $n/3$ 时，此类染色可在多项式时间内求解。该结果明确了此类染色变体在可 tractable 与不可 tractable 实例之间的分界点。

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 \geq 4$ 时次立方图中半等权 $k$-染色的计算复杂度。
• 识别半等权染色从多项式时间可解转变为 NP-完全的精确临界点。
• 建立区分可 tractable 与不可 tractable 实例的非等权色类大小的紧致边界。
• 提供一种 $O(n^2)$ 算法，用于在非等权色类大小不超过 $n/3$ 时的半等权 $k$-染色。

提出的方法

• 从已知的 NP-完全问题进行归约，以证明当非等权色类超过 $n/3 + \epsilon n$ 时，半等权 $k$-染色的困难性。
• 设计一种构造性算法，通过在次立方图中使用顶点交换与路径分解，逐步减少色宽。
• 利用图的结构性质（如邻域相等性与度数约束）来指导色类调整。
• 应用 Chen 等人提出的等权 3-染色算法的改进版本，并将其扩展至 $k \geq 4$ 的情形。
• 分析诱导子图中最大交替路径，以实现保持独立性的均衡重染色。
• 通过邻域交集与顶点度数的分类讨论证明，确保有效的色类交换，从而减少色宽。

实验结果

研究问题

• RQ1 当 $k \geq 4$ 时，若次立方图的非等权色类大小超过 $n/3 + \epsilon n$，其半等权 $k$-染色是否为 NP-完全？
• RQ2 当非等权色类大小不超过 $n/3$ 时，半等权 $k$-染色是否可在多项式时间内求解？
• RQ3 次立方图的何种结构性质使得在非等权色类较小时可实现高效的半等权染色？
• RQ4 色宽减少过程在不连通的次立方图中表现如何？
• RQ5 对于非 $K_4$ 或 $K_{3,3}$ 的立方图，半等权染色的计算复杂度为何？

主要发现

• 当 $k \geq 4$ 且非等权色类大小至少为 $n/3 + \epsilon n$（对任意 $\epsilon > 0$）时，次立方图的半等权 $k$-染色为 NP-完全。
• 当非等权色类大小不超过 $n/3$ 时，半等权 $k$-染色可在 $O(n^2)$ 时间内求解。
• 即使对于连通的立方图（排除 $K_4$ 与 $K_{3,3}$ 作为例外），NP-完全性结果依然成立。
• 针对小非等权色类的算法依赖于通过顶点交换与路径分解迭代减少色宽。
• 色宽减少的证明具有构造性，并可通过独立处理各连通分量，适用于不连通的次立方图。
• 复杂度临界点是紧致的：问题在 $n/3$ 处精确地从多项式时间转变为 NP-完全。