[论文解读] List H-Coloring a Graph by Removing Few Vertices

Rajesh Chitnis, László Egri+1 more|arXiv (Cornell University)|Aug 5, 2013

Advanced Graph Theory Research参考文献 25被引用 8

一句话总结

本文引入並研究了通過刪除最多 k 個頂點來進行圖的列表 H-著色的參數化複雜度，證明了所有 (P₆, C₆)-無 (P₆, C₆)-free 二分圖 H 的固定參數可追蹤性（FPT）。主要貢獻是一種統一的 FPT 演算法，該演算法推廣了頂點覆蓋、奇圈剔除與頂點多路徑切割問題，並使用一種稱為「命題刪除鏈-SAT」的新還原方法，將問題轉化為可滿足性問題。

ABSTRACT

In the deletion version of the list homomorphism problem, we are given graphs G and H, a list L(v) that is a subset of V(H) for each vertex v of G, and an integer k. The task is to decide whether there exists a subset W of V(G) of size at most k such that there is a homomorphism from G \ W to H respecting the lists. We show that DL-Hom(H), parameterized by k and |H|, is fixed-parameter tractable for any (P6, C6)-free bipartite graph H; already for this restricted class of graphs, the problem generalizes Vertex Cover, Odd Cycle Transversal, and Vertex Multiway Cut parameterized by the size of the cutset and the number of terminals. We conjecture that DL-Hom(H) is fixed-parameter tractable for the class of graphs H for which the list homomorphism problem (without deletions) is polynomial-time solvable; by a result of Feder, Hell and Huang (1999), a graph H belongs to this class precisely if it is a bipartite graph whose complement is a circular arc graph. We show that this conjecture is equivalent to the fixed-parameter tractability of a single fairly natural satisfiability problem, Clause Deletion Chain-SAT.

研究动机与目标

• 研究當允許從輸入圖 G 中刪除最多 k 個頂點時，列表 H-著色問題的參數化複雜度。
• 確定在以 k 和 |H| 為參數時，哪些目標圖 H 使得該問題的刪除版本 DL-Hom(H) 是固定參數可追蹤的（FPT）。
• 在 DL-Hom(H) 的單一框架下，統一已知的 FPT 問題，如頂點覆蓋、奇圈剔除與頂點多路徑切割問題。
• 基於對自然可滿足性問題的還原，提出猜想：對於所有其補圖為圓弧圖的二分圖 H，DL-Hom(H) 是 FPT。

提出的方法

• 將 DL-Hom(H) 問題還原為一種稱為「命題刪除鏈-SAT」（ℓ′-VDCS）的可滿足性變體，其中變數以鏈的形式組織，且含 implication 的命題用來強制一致性。
• 透過將 G∖W 對應到 H 的圓弧表示中，利用 VDCS 公式中的變數賦值來編碼有效的映射，從而構造從 G∖W 到 H 的同態。
• 利用 (P₆, C₆)-無二分圖的結構，確保 H 的補圖的圓弧表示允許一致且高效的頂點像分配。
• 採用一種新穎的還原技術，將 G 中的頂點刪除映射為 VDCS 公式中的變數刪除，同時保留有效同態的存在性。
• 證明大小不超過 k 的刪除集合 W 的存在性，與刪除對應於 W 的變數後，所得 VDCS 公式的可滿足性之間存在等價性。
• 利用已知的圓弧圖結構結果與同態性質，確保還原的正確性與完整性。

实验结果

研究问题

• RQ1 當參數化為 k 和 |H| 時，DL-Hom(H) 對所有其補圖為圓弧圖的二分圖 H 是否都是固定參數可追蹤的？
• RQ2 是否可以將 DL-Hom(H) 問題還原為單一自然的可滿足性問題，從而捕捉基於刪除的同態問題的複雜度？
• RQ3 當 H 為 7 個頂點的路徑時，DL-Hom(H) 問題是否為 FPT？此情況尚未被現有還原方法解決。
• RQ4 DL-Hom(H) 的 FPT 可追蹤性是否可推廣至含環的目標圖 H，特別是雙弧圖（bi-arc graphs），當固定側列表不再適用時？
• RQ5 對於具有 d 條邊的匹配圖 H，是否僅以刪除集合大小為參數，即可在 FPT 時間內解決 DL-Hom(H) 問題？

主要发现

• DL-Hom(H) 對所有 (P₆, C₆)-無二分圖 H 是固定參數可追蹤的，參數化為 k 和 |H|，統一了頂點覆蓋、奇圈剔除與頂點多路徑切割問題。
• 該問題被證明等價於命題刪除鏈-SAT（ℓ′-VDCS）公式的可滿足性，從而建立了圖同態與可滿足性之間的全新聯繫。
• 從 DL-Hom(H) 到 ℓ′-VDCS 的還原是雙射的：存在大小為 k 的刪除集合 W，當且僅當刪除對應於 W 的變數後，相應的 VDCS 公式是可滿足的。
• 證明確立了同態條件的保持性，即 G 中的邊約束對應於 VDCS 公式中的 implication 命題，且在圓弧模型中具有一致的弧交集。
• 對於特殊情況：當 H 為單一頂點時，問題簡化為頂點覆蓋；當 H 為單一邊時，問題簡化為奇圈剔除，兩者均作為特例被恢復。
• 作者提出猜想：DL-Hom(H) 對所有其補圖為圓弧圖的二分圖 H 是 FPT，並證明此猜想等價於 ℓ′-VDCS 的 FPT 可追蹤性。