[論文レビュー] 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) について、logspace と NL-ハードさの二分岐を確立する。LHOM(H) が logspace で解けるのは、H に 'circular N' 構造を含まない場合に限ることを証明している。そうでない場合は NL-ハードである。この結果は、Larose と Tesson の予想を裏付け、H に circular 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 の refined complexity 予想を解消すること。具体的には、有向グラフテンプレートにおける LHOM(H) を対象とする。
• どのリストホモロジー問題が logspace で解けるか、どの問題が NL-ハードかを特徴づけること。
• logspace と NL-ハードさの二つの複雑さクラスを分ける構造的禁止部分グラフである「circular N」を同定すること。
• 与えられた有向グラフ H に circular N が存在するかを多項式時間で検出するアルゴリズムを提供すること。
• circular N を含まない有向グラフが、有限の Hagemann-Mitschke 多様体の鎖をもつことに関する代数的予想を確認すること。

提案手法

• 『circular N』という概念を導入する。これは、三つのウォークと回避条件、エッジの方向制約によって定義される特定の有向グラフ構造である。
• LHOM(H) が logspace に属するための必要十分条件として、H に circular N が含まれないことを、補助的有向グラフの新規分解を用いて証明する。
• 提案された logspace アルゴリズムのコアサブルーチンとして、無向グラフの到達可能性を扱う Reingold の logspace アルゴリズムを適用する。
• 潜在的な circular N 構造を符号化するため、色付き三重有向グラフ H++ を構築する。エッジの色（緑、青、茶）を用いて、禁止エッジパターンを追跡する。
• H++ における到達可能性解析を用いて、特定の頂点三重に制約された経路（茶色のエッジが青色のエッジより前に来ない）が存在するかを検出することで、circular N の存在を特定する。
• H++ における色制約付き経路の到達可能性をチェックすることで、circular N の検出を多項式時間で行うアルゴリズムを確立する。

実験結果

リサーチクエスチョン

• RQ1 有向グラフ H がどのような構造的条件下に、リストホモロジー問題 LHOM(H) が logspace で解けるか。
• RQ2 保守的 CSP の LHOM(H) の NL-ハードさを特徴づける禁止部分構造は存在するか。
• RQ3 H に circular N が存在するかを多項式時間で検出可能か。
• RQ4 H に circular N が存在しないことは、Hagemann-Mitschke 多様体の有限鎖の存在に同値か。
• RQ5 LHOM(H) の複雑さ分類は、P/NP-完全性を超えて、logspace と NL-ハードさを含むように精緻化可能か。

主な発見

• LHOM(H) は、H に circular N 構造が含まれない場合に限り、logspace に属する。
• H に circular N が含まれる場合、LHOM(H) は NL-ハードである。これにより、logspace と NL-ハードさの完全な二分岐が確立される。
• H に circular N が存在するかは、|V(H)| に多項式時間で検出可能であり、色付き三重有向グラフ H++ を用いる。
• H に circular N が存在しないことは、Hagemann-Mitschke 多様体の有限鎖の存在に同値であり、Larose と Tesson の代数的予想が裏付けられる。
• H に circular N が存在しない場合、LHOM(H) は一階論理で定義可能であり、さらに独立エッジとバイクルが存在しない場合、L に属する。
• circular N を用いた特徴づけは、保守的 CSP の文脈において、既存の禁止部分構造（DAT やバイクル）を統合・精緻化するものである。