[论文解读] Distance geometry approach for special graph coloring problems

Rosiane Rodrigues, Bruno Dias+2 more|arXiv (Cornell University)|Jun 15, 2016

graph theory and CDMA systems参考文献 2被引用 4

一句话总结

本文提出一种距离几何方法，用于求解具有距离约束的特殊图着色问题，将顶点着色建模为在实直线上嵌入顶点并规定顶点间距离。该方法基于DMDGP技术引入分支-剪枝- bound 算法，为特定图类建立可行性条件，并通过约束传播与优化高效求解T-着色变体。

ABSTRACT

One of the most important combinatorial optimization problems is graph coloring. There are several variations of this problem involving additional constraints either on vertices or edges. They constitute models for real applications, such as channel assignment in mobile wireless networks. In this work, we consider some coloring problems involving distance constraints as weighted edges, modeling them as distance geometry problems. Thus, the vertices of the graph are considered as embedded on the real line and the coloring is treated as an assignment of positive integers to the vertices, while the distances correspond to line segments, where the goal is to find a feasible intersection of them. We formulate different such coloring problems and show feasibility conditions for some problems. We also propose implicit enumeration methods for some of the optimization problems based on branch-and-prune methods proposed for distance geometry problems in the literature. An empirical analysis was undertaken, considering equality and inequality constraints, uniform and arbitrary set of distances, and the performance of each variant of the method considering the handling and propagation of the set of distances involved.

研究动机与目标

• 通过将顶点嵌入实直线，将具有距离约束的图着色问题建模为距离几何问题。
• 识别使某些距离着色问题不可行的禁止图结构。
• 基于分支-剪枝方法开发精确与近似算法，以求解这些约束着色问题。
• 评估不同距离处理策略（等式 vs. 不等式，均匀 vs. 任意集合）在计算实例上的性能影响。
• 为特定图类（如奇圈、偶圈和树）建立理论可行性条件，以应对距离约束。

提出的方法

• 将具有距离约束的顶点着色问题建模为距离几何问题（DG），其中顶点被嵌入实直线，着色分配对应于整数位置。
• 将离散化分子距离几何问题（DMDGP）中的分支-剪枝（BP）算法适配用于求解约束着色问题。
• 提出分支-剪枝- bound（BPB）算法，结合分支- bound 与约束传播，以提高搜索效率。
• 应用领域缩减与约束传播技术，以管理距离集合，包括等式与不等式约束。
• 通过BPB实现隐式枚举，以探索解空间，同时基于距离违反情况早期剪枝不可行分支。
• 在随机生成的图上进行计算实验，比较不同距离集合类型与约束类型下的性能表现。

实验结果

研究问题

• RQ1 哪些图类在距离约束下存在可行解，哪些图类存在结构上的阻碍导致不可行？
• RQ2 距离上的等式与不等式约束如何影响着色问题的可解性与计算复杂度？
• RQ3 均匀与任意距离集合对分支-剪枝- bound 算法的性能有何影响？
• RQ4 约束传播与领域缩减是否能显著提升求解距离约束着色问题的效率？
• RQ5 不同图结构（如奇圈、偶圈与树）如何影响BPB算法中的剪枝次数与CPU时间？

主要发现

• 当约束严格时，奇长度的奇圈（如3、5、7）在某些距离着色问题中不可行，实验中未发现有效解。
• 对于偶圈与树，始终能找到可行解，且剪枝次数少、CPU时间短，表明其具有结构可行性。
• 采用不等式约束与任意距离集合的BPB算法，需进行大量剪枝（如单个实例中高达1100万次）与更长的CPU时间（如10,800秒），表明计算成本更高。
• 相比之下，等式约束与均匀距离集合可实现更快收敛，大多数测试情况下CPU时间低于10秒。
• 剪枝次数与边界数因图类型与距离集合而异：例如，含21个顶点与3个距离约束的树实例4，在13.998秒内进行了863,702次剪枝与3,463,966次边界计算。
• 该方法通过结构分析成功识别出特定图类（如奇圈）的不可行性，验证了理论可行性条件。