[论文解读] Finding a Small Number of Colourful Components

Laurent Bulteau, Konrad K. Dabrowski+4 more|arXiv (Cornell University)|Aug 10, 2018

Advanced Graph Theory Research被引用 1

一句话总结

本文引入並分析了圖論中色彩分割問題（Colourful Partition）這一變體，其為色彩元件問題（Colourful Components）的延伸，目標是將頂點劃分為最多 k 個連通且色彩豐富的元件（每個元件內不允許重複顏色）。作者證明，雖然當以非唯一著色頂點數為參數時，色彩元件問題為參數化 NP-完全（para-NP-complete），但色彩分割問題在相同參數下為固定參數可追蹤（FPT），從而確立了兩者之間關鍵的複雜度差異。此結果透過一種新穎的 FPT 演算法實現，該演算法結合頂點著色分區的分支策略與輔助圖中的最大匹配計算。

ABSTRACT

A partition $(V_1,\ldots,V_k)$ of the vertex set of a graph $G$ with a (not necessarily proper) colouring $c$ is colourful if no two vertices in any $V_i$ have the same colour and every set $V_i$ induces a connected graph. The COLOURFUL PARTITION problem is to decide whether a coloured graph $(G,c)$ has a colourful partition of size at most $k$. This problem is closely related to the COLOURFUL COMPONENTS problem, which is to decide whether a graph can be modified into a graph whose connected components form a colourful partition by deleting at most $p$ edges. Nevertheless we show that COLOURFUL PARTITION and COLOURFUL COMPONENTS may have different complexities for restricted instances. We tighten known NP-hardness results for both problems and in addition we prove new hardness and tractability results for COLOURFUL PARTITION. Using these results we complete our paper with a thorough parameterized study of COLOURFUL PARTITION.

研究动机与目标

• 探討圖論中色彩分割問題的計算複雜度，此問題為色彩元件問題的一個自然變體。
• 比較色彩分割問題與色彩元件問題在受限圖類別（特別是樹與參數有界的圖）上的複雜度。
• 利用結構圖參數（如非唯一著色頂點數與頂點覆蓋大小）建立色彩分割問題的參數化可追蹤結果。
• 解決關於這些問題在最大度數有界的彩色樹與有界寬度圖上的複雜度之開放問題。

提出的方法

• 提出一種新的 FPT 演算法，用於以非唯一著色頂點數為參數的色彩分割問題，透過對這些頂點的分區進行 exhaustive 分支。
• 應用化簡規則簡化圖：移除具有唯一顏色的頂點，並合併具有相同顏色鄰域的同構頂點（克隆）。
• 構建輔助圖以模擬連通性約束，並利用 Hopcroft-Karp 演算法計算最大匹配。
• 將 Robertson 和 Seymour 的不相交連通子圖問題作為子程序使用，當終點集總大小受限制時，該問題可在立方時間內求解。
• 結合非唯一著色頂點的分區分支與動態規劃及基於匹配的元件構建，以確保正確性與效率。
• 透過將分區數量限制在 O(q^q) 內，並證明每個子問題可在立方時間內求解，從而證明 FPT 狀態，進而得出整體時間複雜度為 f(k) * n^O(1)。

实验结果

研究问题

• RQ1 當以非唯一著色頂點數為參數時，色彩分割問題是否為 FPT？與此相對，色彩元件問題在相同參數下為 para-NP-complete，這是否形成明確差異？
• RQ2 對於最大度數 d 滿足 3 ≤ d ≤ 5 的彩色樹，色彩分割問題的複雜度為何？已知當 d = 6 時，兩者皆為 NP-complete。
• RQ3 能否將 2-色彩分割問題在寬度為 2 的圖上的 FPT 結果，推廣至 k ≥ 3 的 k-色彩分割問題？
• RQ4 當以 k（元件數）為參數時，色彩分割問題在寬度為 2 的圖上是否為 FPT？
• RQ5 是否存在某類圖形家族，使得色彩元件問題與色彩分割問題展現出不同的參數化複雜度？

主要发现

• 當以非唯一著色頂點數為參數時，色彩分割問題為 FPT，其時間複雜度為 f(s) * n^O(1)，其中 f 為僅依賴於 s 的函數。
• 當以非唯一著色頂點數為參數時，色彩元件問題為 para-NP-complete，顯示兩者之間存在明確的複雜度差距。
• 兩者在複雜度上並非等價：存在某些實例中，色彩分割問題可高效求解，而色彩元件問題仍為難解，即使在相同參數下亦然。
• 對於 2-色圖，色彩分割問題與色彩元件問題皆可透過轉化為二分圖上的最大匹配問題，在多項式時間內求解。
• 該問題在最大度數為 6 且顏色多重度為 2 的彩色樹上仍為 NP-complete，從而擴展了已知的難度結果。
• 作為子程序使用的不相交連通子圖問題，當終點集總大小受限制時，可在立方時間內求解，進而支援色彩分割問題的 FPT 結果。