In this work, we present a branch-and-price algorithm to solve the weighted version of the List Coloring Problem, based on a vertex cover formulation by stable sets. This problem is interesting for its applications and also for the many other problems that it generalizes, including the well-known Graph Coloring Problem. With the introduction of the concept of indistinguishable colors, some theoretical results are presented which are later incorporated into the algorithm. We propose two branching strategies based on others for the Graph Coloring Problem, the first is an adaptation of the one used by Mehrotra and Trick in their pioneering branch-and-price algorithm, and the other is inspired by the one used by M\'endez-D\'iaz and Zabala in their branch-and-cut algorithm. The rich structure of this problem makes both branching strategies robust. Extended computation experimentation on a wide variety of instances shows the effectiveness of this approach and evidences the different behaviors that the algorithm can have according to the structure of each type of instance.
翻译:在这项工作中,我们提出了一种基于稳定集合的顶点覆盖公式的分支定价算法,用于解决列表着色问题的加权版本。该问题对于其应用和其他许多问题的概括,包括著名的图着色问题,都很有趣。在引入不可区分颜色的概念后,我们介绍了一些理论结果,并将其纳入算法中。我们提出了两种基于其他图着色问题的分支策略,第一种是Mehrotra和Trick在其开创性的分支定价算法中使用的策略的改编,另一种则受M\'endez-D\'iaz和Zabala在其分支切割算法中使用的策略的启发。该问题的丰富结构使得这两种分支策略具有很好的鲁棒性。广泛的计算实验表明了这种方法的有效性,并表明算法可以根据每种类型的实例的结构而表现出不同的行为。