[论文解读] Distance-2 Edge Coloring is NP-Complete

Jeff Erickson, Shripad Thite+1 more|ArXiv.org|Sep 30, 2005

Graph Labeling and Dimension Problems参考文献 3被引用 4

一句话总结

本文证明了判断一个二分图 2-诱导图（girth 为 6，最大度为 3）是否为 5-距离-2 边染色（即使用 5 种颜色的强边染色）是 NP-完全问题。作者通过从 Not-All-Equal-3SAT 问题的多项式时间归约，构建了变量、子句和分频器（fanout）三种组件，将真值赋值编码为边染色，表明即使在强结构约束下，该问题的计算难度依然存在。

ABSTRACT

We prove that it is NP-complete to determine whether there exists a distance-2 edge coloring (strong edge coloring) with 5 colors of a bipartite 2-inductive graph with girth 6 and maximum degree 3.

研究动机与目标

• 确立在特定结构约束下，距离-2 边染色（强边染色）的计算复杂性。
• 证明即使在二分图、girth 为 6、最大度为 3 且具有 2-诱导结构的条件下，判断 5-D2-边染色性依然是 NP-完全问题。
• 表明强边染色在稀疏、结构化图中（度数有界且 girth 较高）依然困难。
• 提供一种从 Not-All-Equal-3SAT 到距离-2 边染色的新归约，为先前证明提供替代方案。

提出的方法

• 从 Not-All-Equal-3SAT 实例构造图 $ G(X,C) $，使用三种组件：变量组件、子句组件和分频器组件。
• 使用五种颜色 $ \{T, F, 1, 2, 3\} $，其中 $ T $ 和 $ F $ 表示布尔真值，$ 1,2,3 $ 作为辅助颜色。
• 设计分频器组件以在输出端保持颜色一致，确保真值通过图结构一致传播。
• 设计变量组件，具有两个输入（来自真值和假值组件）和两个输出（每个字面量一个），确保在任意有效染色中输出颜色为 $ T $ 和 $ F $。
• 设计子句组件，使得仅当三个输入边（来自字面量）的颜色不全相同时，才存在有效的 5-染色，从而强制实现“不全等”条件。
• 证明构造出的图是二分图，girth 恰好为 6，最大度为 3，且为 2-诱导图，从而在这些约束下保持问题的计算难度。

实验结果

研究问题

• RQ1 对于二分图 2-诱导图，girth 为 6，最大度为 3 的情况，判断 5-距离-2 边染色问题是否为 NP-完全？
• RQ2 是否能从 Not-All-Equal-3SAT 归约强边染色问题，同时保持有界度数和高 girth 等结构约束？
• RQ3 在低最大度、高 girth 和 2-诱导结构的组合下，强边染色的 NP-完全性是否依然成立？
• RQ4 能否通过边染色约束，忠实地实现布尔可满足性的组件化编码？

主要发现

• 判断一个二分图 2-诱导图（girth 为 6，最大度为 3）是否为 5-D2-边染色是 NP-完全问题。
• 构造图 $ G(X,C) $ 存在有效的 5-D2-边染色，当且仅当对应的 Not-All-Equal-3SAT 实例可满足。
• 该归约构造的图具有 $ O(n + m) $ 个顶点和边，且可在线性时间内从 SAT 实例构建。
• 该图是二分图，girth 恰好为 6，最大度为 3，且为 2-诱导图，表明 NP-完全性在强结构限制下依然成立。
• 组件化构造确保真值赋值被忠实地编码在边染色中，$ T $ 和 $ F $ 表示布尔值，$ 1,2,3 $ 用于保持一致性和分离性。