[論文レビュー] The Complexity of Homomorphism Reconstructibility

Jan Böker, Louis Härtel+3 more|arXiv (Cornell University)|Oct 13, 2023

Machine Learning and Algorithms被引用数 1

ひとこと要約

この論文は、与えられたホモモーフィズムカウントのベクトルが有限グラフ G に対応するかどうかを特定するホモモーフィズム再構成可能性問題の計算複雑性を調査する。問題は、有界なツリーウェイドスや有限な入力グラフ集合といった制限付き設定ですら NP#P-ハードであることが示され、特定のパラメータ化されたバージョン（単一グラフおよび部分グラフカウント問題）に対しては固定パラメータ可 tractable (FPT) アルゴリズムが提供される。

ABSTRACT

Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where one would like to answer queries or classify graphs solely based on the representation of a graph $G$ as a finite vector of homomorphism counts from some fixed finite set of graphs to $G$. We study the computational complexity of the arguably most fundamental computational problem associated to these representations, the homomorphism reconstructability problem: given a finite sequence of graphs and a corresponding vector of natural numbers, decide whether there exists a graph $G$ that realises the given vector as the homomorphism counts from the given graphs. We show that this problem yields a natural example of an $\mathsf{NP}^{#\mathsf{P}}$-hard problem, which still can be $\mathsf{NP}$-hard when restricted to a fixed number of input graphs of bounded treewidth and a fixed input vector of natural numbers, or alternatively, when restricted to a finite input set of graphs. We further show that, when restricted to a finite input set of graphs and given an upper bound on the order of the graph $G$ as additional input, the problem cannot be $\mathsf{NP}$-hard unless $\mathsf{P} = \mathsf{NP}$. For this regime, we obtain partial positive results. We also investigate the problem's parameterised complexity and provide fpt-algorithms for the case that a single graph is given and that multiple graphs of the same order with subgraph instead of homomorphism counts are given.

研究の動機と目的

• ホモモーフィズム再構成可能性問題の形式的定義と計算複雑性の分析：与えられたグラフ G がホモモーフィズムカウントのベクトルから再構成可能かどうかを特定する。
• 与えられた有限なグラフの列と関連する自然数のカウントが、あるグラフ G のホモモーフィズムカウントとして実現可能かどうかを特定する。
• 特に入力グラフ集合が有限であるか、グラフの順序に制約が課された場合に、効率的なアルゴリズムが存在する可能性があるパラメータ化された複雑性の枠組みを探索する。
• この問題における算術的手法（数論的推論を用いる）と構成的手法（G を明示的に構築する）の間の計算的差異を明確にし、その計算可能性を評価する。
• 単一グラフ入力や固定順序の部分グラフカウント変種といった特殊ケースに対して FPT アルゴリズムを提供する。

提案手法

• グラフ F₁,…,Fₘ とカウント h₁,…,hₘ が与えられたとき、すべての i に対して hom(Fᵢ, G) = hᵢ を満たすグラフ G が存在するかを判定する意思決定問題としてホモモーフィズム再構成可能性問題（HomRec(F, G)）を形式化する。
• 既知の難解なカウント問題への還元を用いて NP#P-ハード性を証明し、有界なツリーウェイドスや有限な入力集合の下でも計算の難しさが維持されることを示す。
• 包含除算と次数に基づく組合せ的恒等式を用いて、特に三角形や3頂点集合に関して部分グラフカウントとホモモーフィズムカウントの関係を確立する。
• FPT 技法を用いてパラメータ化されたバージョンを解く：単一グラフの場合、および同じ順序の複数のグラフに対して部分グラフカウントをホモモーフィズムカウントの代わりに用いる場合。
• 特に p-IntegerLinearEquations の FPT 可解性を活用して整数線形計画法の結果を固定パラメータ可 tractability に応用する。
• 木とその補グラフを用いた明示的なグラフ族を構築し、中間的なホモモーフィズムカウントを実現し、達成可能な値のギャップを埋める。

実験結果

リサーチクエスチョン

• RQ1 ホモモーフィズム再構成可能性問題は、有界なツリーウェイドスや有限な入力グラフ集合といった制限付き入力条件下でも NP#P-ハードであるか？
• RQ2 入力グラフ集合が有限であり、G の順序に上限が与えられた場合、問題は固定パラメータ可 tractable (FPT) 時間で解けるか？
• RQ3 この文脈において、算術的アルゴリズム（数論的推論を用いる）と構成的アルゴリズム（G を明示的に構築する）の間の計算的差異は何か？
• RQ4 どのようなパラメータ化された制限（例：単一グラフ入力、固定順序の複数グラフ）の下で、問題は効率的な FPT アルゴリズムを備えているか？
• RQ5 実現可能なホモモーフィズムカウントベクトルの集合は完全に特徴付け可能か？そのようなベクトルに課される構造的制約は何か？

主な発見

• ホモモーフィズム再構成可能性問題は、有界なツリーウェイドスおよび固定された自然数の入力ベクトルを持つ固定数の入力グラフに制限されても NP#P-ハードである。
• 入力グラフ集合が有限であり、G の順序に上限が与えられた場合、問題は NP-ハードにはなり得ない（P = NP でない限り）。
• 単一の入力グラフの場合、問題は入力グラフのサイズをパラメータとする FPT アルゴリズムを備える。
• 同じ順序の複数のグラフに対して部分グラフカウントが与えられた場合、ホモモーフィズムカウントではなく、p-IntegerLinearEquations の FPT 可解性を活用した FPT アルゴリズムが存在する。
• 本論文では、木とその補グラフを用いた明示的なグラフ族を構築し、すべての三角形部分グラフカウントの間隔値を実現し、$\binom{n}{3}$ までの範囲で完全性を証明する。
• 重要な恒等式が確立された：$\text{sub}(\bullet, G) = \binom{n}{3} - \text{sub}(\bullet, G)(n-2) + \sum_{v \in V(G)} \binom{\deg_G(v)}{2} - \text{sub}(\bullet, G)$、この恒等式により達成可能なカウントを精密に制御可能となる。