[論文レビュー] A Dichotomy for Succinct Representations of Homomorphisms

Christoph Berkholz, Harry Vinall-Smeeth|arXiv (Cornell University)|Sep 29, 2022

Complexity and Algorithms in Graphs被引用数 2

ひとこと要約

この論文は、有限な関係的構造間の同型写像の要約的 d-表現に関する二分法を確立し、構造の類型が有限のアリティを持つ場合、多項式サイズの d-表現が存在するための必要十分条件が、左辺の構造の木幅が有界であることであることを証明する。主な貢献は、木幅が有界でない場合に、表現サイズが超多項式的になることを示すタイトな下界であり、これは新しい還元フレームワークと、k-クリークの同型写像に対するほぼ最適な下界を用いて達成される。

ABSTRACT

The task of computing homomorphisms between two finite relational structures $\mathcal{A}$ and $\mathcal{B}$ is a well-studied question with numerous applications. Since the set $\operatorname{Hom}(\mathcal{A},\mathcal{B})$ of all homomorphisms may be very large having a method of representing it in a succinct way, especially one which enables us to perform efficient enumeration and counting, could be extremely useful. One simple yet powerful way of doing so is to decompose $\operatorname{Hom}(\mathcal{A},\mathcal{B})$ using union and Cartesian product. Such data structures, called d-representations, have been introduced by Olteanu and Zavodny in the context of database theory. Their results also imply that if the treewidth of the left-hand side structure $\mathcal{A}$ is bounded, then a d-representation of polynomial size can be found in polynomial time. We show that for structures of bounded arity this is optimal: if the treewidth is unbounded then there are instances where the size of any d-representation is superpolynomial. Along the way we develop tools for proving lower bounds on the size of d-representations, in particular we define a notion of reduction suitable for this context and prove an almost tight lower bound on the size of d-representations of all $k$-cliques in a graph.

研究の動機と目的

• 構造 A から B への同型写像の集合が、要約的かつ多項式サイズの d-表現をもつ条件を同定すること。
• Hom(A, B) の表現の複雑さを、効率的な列挙とカウントを可能にする形で解明すること。
• 木幅とアリティに基づいて、d-表現の tractable と intractable なケースのタイトな二分法を確立すること。
• 特に還元と k-クリーク構成を用いた、d-表現のための新しい下界技術を開発すること。

提案手法

• d-表現を、和（∪）とカルテシアン積（×）を用いた回路として導入し、Hom(A, B) をコンパクトに符号化する。
• ∪-ゲートが互いに素な集合を結合する決定的 d-表現を定義し、効率的なカウントと列挙を可能にする。
• マイナー関係および準マイナー関係に基づいた、d-表現サイズに特化した新しい還元の概念を考案する。
• k-クリークの同型写像の d-表現に対して、ほぼタイトな下界 Ω(m^{(k+2)/4r} / log^{3k+2}/2r(m)) を証明する。
• 除外グリッド定理とマイナー論的議論を用いて、木幅と表現複雑度の関係を関係づける。
• Gid, Gk, K_{(k+2)/2} といったグラフクラスの階層を用い、クリークからの下界を一般構造へと転送する。

実験結果

リサーチクエスチョン

• RQ1 A から B への同型写像の集合が、多項式サイズの d-表現をもつのはいつか？
• RQ2 構造 A の左辺に木幅が有界であることは、多項式サイズの d-表現のための必要十分条件か？
• RQ3 木幅が無限大の場合、d-表現サイズの正確な下界は何か？
• RQ4 k-クリークの同型写像問題は、この文脈での下界を示すための完全問題として機能できるか？
• RQ5 マイナー関係および準マイナー関係は、d-表現のサイズとどのように関係するか？

主な発見

• アリティが有界な構造のクラスに対して、Hom(A, B) の多項式サイズの d-表現が存在するのは、A が有界な木幅を持つときかつそのときに限る。
• 木幅が無限大の場合、Hom(A, B) の任意の d-表現は、非決定的表現ですら超多項式サイズに必要となる。
• k-クリークの同型写像の d-表現に対して、Ω(m^{(k+2)/4r} / log^{3k+2}/2r(m)) の下界を確立し、既知の上界にほぼ一致する。
• 準マイナー関係に基づいた新しい還元フレームワークを導入し、G が H の準マイナーである場合、G に対する下界が H に対しても成立することを示した。
• k-クリーク表現の下界はほぼタイトであり、ギャップは対数因子の範囲に限られる。
• 結果として、有界アリティの範囲において、有界木幅が要約的 d-表現の最適性を示し、重要な複雑度ギャップを閉じた。