[论文解读] On the Parameterized Complexity of $k$-Edge Colouring

Esther Galby, Paloma T. Lima+2 more|arXiv (Cornell University)|Jan 7, 2019

Advanced Graph Theory Research参考文献 24被引用 4

一句话总结

该论文证明了当以最大度顶点数为参数时，k-边着色问题是固定参数可追踪的，给出了一个算法时间复杂度为 O(p²k^(k²p/2 + 4) + n + m)。该方法利用半核心化简和基于维辛定理另一种证明的构造性重着色过程，实现了对仅p个顶点具有最大度k的图的高效k-边着色。

ABSTRACT

For every fixed integer $k \geq 1$, we prove that $k$-Edge Colouring is fixed-parameter-tractable when parameterized by the number of vertices of maximum degree.

研究动机与目标

• 确定当以最大度顶点数为参数时，k-边着色问题的参数复杂度。
• 在该参数化下建立k-边着色问题的固定参数可追踪性（FPT）。
• 提供一种在n和m上时间复杂度为多项式，且仅在p和k上具有超指数依赖的k-边着色高效算法。
• 通过使用半核心图和边重着色的构造性、算法化证明，扩展维辛定理的适用范围。

提出的方法

• 将问题约化为检查半核心图 H = G[X ∪ N(X)] 的k-边着色性，其中X是最大度顶点的集合。
• 利用定理2.1证明G有k-边着色当且仅当其半核心H有k-边着色。
• 对H的所有可能的k-边着色进行暴力搜索，由于H最多有k²p/2条边，因此映射数被限制在k^(k²p/2)以内。
• 利用一个构造性重着色算法（引理1），在O(k²(n − p))时间内将H的k-边着色扩展至G。
• 借助Ehrenfeucht等人对维辛定理的另一种证明来指导重着色过程，通过交替路径交换确保正确着色分配。
• 采用贪心扩展策略：对于剩余图中度数至多为k−1的每个顶点u_i，使用其邻点集合中未使用的颜色进行着色，必要时通过交替路径颜色交换解决冲突。

实验结果

研究问题

• RQ1 当以最大度顶点数为参数时，k-边着色问题是固定参数可追踪的吗？
• RQ2 半核心图H = G[X ∪ N(X)]能否在不损失正确性的前提下，将k-边着色问题约化为更小的实例？
• RQ3 从半核心图到完整图扩展k-边着色的计算复杂度是多少？
• RQ4 重着色过程能否实现高效且构造性，以确保正确性并具有有界运行时间？

主要发现

• 对于每个固定的k ≥ 1，当以最大度顶点数p为参数时，k-边着色问题是固定参数可追踪的。
• 该算法的时间复杂度为O(p²k^(k²p/2 + 4) + n + m)，其中指数依赖仅出现在p和k上。
• 若存在解，可在O(p²k^(k²p/2 + 4) + k²(n − p) + n + m)时间内构造出图G的k-边着色。
• 半核心图H = G[X ∪ N(X)]最多有k²p/2条边，从而可对其中的着色进行高效暴力搜索。
• 重着色算法（引理1）通过交替路径颜色交换，在O(k²(n − p))时间内将H的k-边着色扩展至G。
• 该证明依赖于维辛定理的构造性变体以及Misra和Gries的重着色过程，并将其适配到参数化设置中。