[论文解读] Space complexity of list H-colouring: a dichotomy

László Egri, Pavol Hell+2 more|arXiv (Cornell University)|Aug 1, 2013

Advanced Graph Theory Research被引用 3

一句话总结

本文確立了有向圖模板 H 上的列表同態問題 LHOM(H) 的對數空間與 NL-難度二分法，證明 LHOM(H) 可在對數空間求解當且僅當 H 不含「環形 N」結構；否則，其為 NL-難度。此結果確認了 Larose 與 Tesson 的猜想，並提供了多項式時間演算法以檢測 H 中是否存在環形 N。

ABSTRACT

The Dichotomy Conjecture for constraint satisfaction problems (CSPs) states that every CSP is in P or is NP-complete (Feder-Vardi, 1993). It has been verified for conservative problems (also known as list homomorphism problems) by A. Bulatov (2003). We augment this result by showing that for digraph templates H, every conservative CSP, denoted LHOM(H), is solvable in logspace or is hard for NL. More precisely, we introduce a digraph structure we call a circular N, and prove the following dichotomy: if H contains no circular N then LHOM(H) admits a logspace algorithm, and otherwise LHOM(H) is hard for NL. Our algorithm operates by reducing the lists in a complex manner based on a novel decomposition of an auxiliary digraph, combined with repeated applications of Reingold's algorithm for undirected reachability (2005). We also prove an algebraic version of this dichotomy: the digraphs without a circular N are precisely those that admit a finite chain of polymorphisms satisfying the Hagemann-Mitschke identities. This confirms a conjecture of Larose and Tesson (2007) for LHOM(H). Moreover, we show that the presence of a circular N can be decided in time polynomial in the size of H.

研究动机与目标

• 為保守 CSP 的精細複雜度猜想（Larose 與 Tesson 提出）提供解決方案，特別是針對有向圖模板上的 LHOM(H)。
• 釐清哪些列表同態問題可在對數空間求解，哪些為 NL-難度。
• 識別出一個結構上的禁止子圖——「環形 N」——用以區分兩類複雜度類。
• 提供多項式時間演算法以檢測給定有向圖 H 中是否存在環形 N。
• 確認代數猜想：不含環形 N 的有向圖會允許 Hagemann-Mitschke 多項式變換的有限鏈存在。

提出的方法

• 引入「環形 N」的概念——一種由三條路徑構成的特定有向圖結構，其具有避讓與邊方向的約束。
• 利用對輔助有向圖的創新分解，證明 LHOM(H) 屬於對數空間當且僅當 H 不含環形 N。
• 在所提出的對數空間演算法中，將 Reingold 的無向圖可達性對數空間演算法作為核心子程序。
• 構造一個帶顏色的三重有向圖 H++，以編碼可能的環形 N 結構，使用綠色、藍色、咖啡色邊來追蹤禁止的邊模式。
• 透過 H++ 中的可達性分析，利用路徑約束（在藍色邊之前不得有咖啡色邊）來檢測特定頂點三元組之間是否存在環形 N。
• 透過檢查 H++ 中具顏色約束的路徑可達性，建立多項式時間演算法以檢測環形 N 的存在。

实验结果

研究问题

• RQ1 在有向圖 H 的何種結構條件下，列表同態問題 LHOM(H) 可在對數空間求解？
• RQ2 是否存在一個禁止子結構，可用以表徵保守 CSP 中 LHOM(H) 的 NL-難度？
• RQ3 能否在多項式時間內檢測 H 中是否存在環形 N？
• RQ4 H 中若不具環形 N，是否對應於 Hagemann-Mitschke 多項式變換的有限鏈存在？
• RQ5 是否能將 LHOM(H) 的複雜度分類細化至超越 P/NP-完全性，包含對數空間與 NL-難度？

主要发现

• LHOM(H) 屬於對數空間當且僅當 H 不含環形 N 結構。
• 若 H 含有環形 N，則 LHOM(H) 為 NL-難度，從而確立了對數空間與 NL-難度之間的完整二分法。
• 透過使用帶顏色的三重有向圖 H++，可於 |V(H)| 的多項式時間內檢測 H 中是否存在環形 N。
• H 中若不具環形 N，則等價於存在 Hagemann-Mitschke 多項式變換的有限鏈，從而確認 Larose 與 Tesson 的代數猜想。
• 當 H 不含環形 N 時，LHOM(H) 可在一階邏輯中定義；若 H 同時亦無獨立邊與環狀結構，則其屬於 L。
• 透過環形 N 的特徵化，統合並精煉了先前關於禁止子結構（如 DAT 與環狀結構）在保守 CSP 背景下的研究成果。