[论文解读] Polyhedral studies of vertex coloring problems: The asymmetric representatives formulation

Víctor Campos, Ricardo C. Corrêa+3 more|arXiv (Cornell University)|Aug 28, 2015

Computational Geometry and Mesh Generation参考文献 18被引用 3

一句话总结

本文對頂點染色問題的非對稱代表元公式進行了多面體分析，表明對應的染色多面體與導出圖 $×G$ 的穩定集多面體等價。這使得對某些圖類（如其補圖不包含三角形、爪形圖或鷹形圖的圖）能實現完整的多面體特徵描述，並利用了穩定集多面體的已知結果。

ABSTRACT

Despite the fact that some vertex coloring problems are polynomially solvable on certain graph classes, most of these problems are not "under control" from a polyhedral point of view. The equivalence between \emph{optimization} and \emph{polyhedral separation} suggests that, for these problems, there must exist formulations admitting some elegant characterization for the polytopes associated to them. Therefore, it is interesting to study known formulations for vertex coloring with the goal of finding such characterizations. In this work we study the asymmetric representatives formulation and we show that the corresponding coloring polytope, for a given graph $G$, can be interpreted as the stable set polytope of another graph obtained from $G$. This result allows us to derive complete characterizations for the corresponding coloring polytope for some families of graphs, based on known complete characterizations for the stable set polytope.

研究动机与目标

• 使用非對稱代表元公式對頂點染色問題進行多面體特徵描述。
• 識別出預染色擴展問題可有多項式時間解法、且能推導出完整多面體描述的圖類。
• 建立染色多面體與導出圖 $×G$ 的穩定集多面體之間的對應關係。
• 透過此對應關係，將已知的穩定集多面體有效不等式擴展至染色多面體。
• 探討此公式在多項式時間內解決頂點染色問題開放變體的潛力。

提出的方法

• 非對稱代表元公式使用二元變數 $x_{ij}$ 表示頂點 $i$ 是否在顏色類中代表頂點 $j$，其中 $i < j$ 且 $ij \notin E$。
• 該公式基於頂點上的全序 $\prec$ 定義一個染色多面體 $P^{\textsc{Co}}_{\prec}(G)$，確保每個顏色類有唯一的代表元。
• 一個關鍵轉換將染色多面體映射至導出圖 $\mathcal{R}_G$ 的穩定集多面體 $STAB(\mathcal{R}_G)$，該圖 $\mathcal{R}_G$ 由 $G$ 建構而成。
• 本文證明 $P^{\textsc{Co}}_{\prec}(G)$ 同構於 $STAB(\mathcal{R}_G)$，從而可轉移已知的穩定集多面體結果。
• 該方法利用特定圖類的穩定集多面體特徵描述，推導出 $P^{\textsc{Co}}_{\prec}(G)$ 的完整描述。
• 分析應用於其補圖不包含三角形、爪形圖或鷹形圖作為誘導子圖的圖，進而獲得 $P^{\textsc{Co}}_{\prec}(G)$ 的完整多面體描述。

实验结果

研究问题

• RQ1 非對稱代表元公式是否能對多項式時間可解圖類的頂點染色多面體提供完整的多面體描述？
• RQ2 染色多面體與導出圖 $\mathcal{R}_G$ 的穩定集多面體之間的結構關係為何？
• RQ3 對於哪些圖類，導出圖 $\mathcal{R}_G$ 属於具有已知穩定集多面體特徵描述的圖類？
• RQ4 能否透過此同構關係，將穩定集多面體中的有效不等式轉移到染色多面體？
• RQ5 當 $\mathcal{R}_G$ 為 quasi-line 圖或 semi-line 圖時，預染色擴展問題是否可有多項式時間解法？

主要发现

• 圖 $G$ 的染色多面體 $P^{\textsc{Co}}_{\prec}(G)$ 同構於導出圖 $\mathcal{R}_G$ 的穩定集多面體 $STAB(\mathcal{R}_G)$。
• 對於其補圖不包含三角形、爪形圖或鷹形圖作為誘導子圖的圖，可獲得 $P^{\textsc{Co}}_{\prec}(G)$ 的完整多面體特徵描述。
• 當 $\overline{G}$ 不含鷹形圖時，導出圖 $\mathcal{R}_G$ 為 quasi-line 圖，但其不一定是 line 圖或 semi-line 圖。
• 若 $\mathcal{R}_G$ 為 semi-line 圖，則其穩定集多面體僅需 0/1 值的面，但此性質在一般情況下不成立。
• 若不成立 P=NP，則此公式無法對預染色擴展問題為 NP-困難的圖類提供完整特徵描述。
• 同構關係允許將所有已知的穩定集多面體有效不等式轉移到 $P^{\textsc{Co}}_{\prec}(G)$，從而豐富了多面體描述。