[論文レビュー] An Algorithmic Framework for Locally Constrained Homomorphisms

Laurent Bulteau, Konrad K. Dabrowski|arXiv (Cornell University)|Jan 1, 2022

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿では、局所的に制約のある準同型写像—局所的に単射（LBHom）、局所的に単射（LIHom）、局所的に全射（LSHom）準同型写像—のパrameterized複雑性を扱う、新しい整数線形プログラミング（ILP）に基づくアルゴリズム的枠組みを提案する。この枠組みは、小さな成分への削除集合と次数制約を活用することで、固定パrameter可 tractable（FPT）な結果を達成し、新たなFPT、W[1]-hard、およびpara-NP-completeな結果を確立する。さらに、この枠組みを応用して、LSHomと密接に関連する社会的ネットワーク理論における主要な問題であるロール割り当て問題についてもFPT結果を示す。

ABSTRACT

A homomorphism $f$ from a guest graph $G$ to a host graph $H$ is locally bijective, injective or surjective if for every $u\in V(G)$, the restriction of $f$ to the neighbourhood of $u$ is bijective, injective or surjective, respectively. The corresponding decision problems, LBHOM, LIHOM and LSHOM, are well studied both on general graphs and on special graph classes. Apart from complexity results when the problems are parameterized by the treewidth and maximum degree of the guest graph, the three problems still lack a thorough study of their parameterized complexity. This paper fills this gap: we prove a number of new FPT, W[1]-hard and para-NP-complete results by considering a hierarchy of parameters of the guest graph $G$. For our FPT results, we do this through the development of a new algorithmic framework that involves a general ILP model. To illustrate the applicability of the new framework, we also use it to prove FPT results for the Role Assignment problem, which originates from social network theory and is closely related to locally surjective homomorphisms.

研究の動機と目的

• ゲストグラフの木幅と最大次数でパラメータ化された際の、局所的に制約のある準同型写像（LBHom、LIHom、LSHom）のパrameterized複雑性分析におけるギャップを埋めること。
• 小さな構造的パラメータを有する幅広い種類のグラフ準同型写像変種を扱える一般化されたアルゴリズム的枠組みの開発。
• 3つの局所的に制約のある準同型写像問題に対する、新たな固定パラメータ可 tractable（FPT）、W[1]-hard、およびpara-NP-completeな結果の確立。
• 準同型写像の枠組みを越えて応用可能なことを示すために、LSHomと密接に関連するロール割り当て問題についてもFPT結果を示すこと。

提案手法

• この枠組みの核となるのは、局所的に制約のある準同型写像の制約を符号化する一般化された整数線形プログラミング（ILP）モデルである。
• ゲストグラフを管理可能な部分に分解できるように、小さな成分への削除集合を主要なパラメータとして用いる。
• 木深さの有界性やフィードバック頂点集合番号といった構造的性質を活用して、ILPインスタンスのサイズを制限する。
• 均等な分割と次数リファインメント行列を組み合わせて、問題インスタンスの分析と削減を実施する。
• グラフパラメータと準同型制約の相互作用を活用することで、LBHom、LSHom、LIHomのFPT結果を証明する。
• ロール割り当て問題への応用では、それを局所的に全射的準同型写像の一種としてモデル化する。

実験結果

リサーチクエスチョン

• RQ1 複数のグラフパラメータでパラメータ化された際の、局所的に制約のある準同型写像のパrameterized複雑性を扱える統一的なアルゴリズム的枠組みを開発できるか？
• RQ2 ゲストグラフの木幅と最大次数でパラメータ化された際の、LBHom、LIHom、LSHomのパrameterized複雑性は何か？
• RQ3 提案されたILPベースの枠組みを、準近似カバー（quasi-covers）や擬似カバー（pseudo-covers）などの他の準同型写像変種へ拡張できるか？
• RQ4 ロール割り当て問題は、木幅や最大次数といった構造的グラフパラメータでパラメータ化された際、固定パラメータ可 tractable（FPT）か？
• RQ5 どのような条件下で、局所的に全射的準同型写像が局所的に単射的準同型写像を意味するようになり、それがアルゴリズム的にどのように利用できるか？

主な発見

• 本稿では、ゲストグラフのフィードバック頂点集合番号が3以下で、ホストグラフが1以下である場合でさえ、LBHomとLSHomがNP完全であることを証明している。
• 小さな成分への削除集合をパラメータとして用いることで、LBHom、LSHom、LIHomのFPT結果を枠組みが確立しており、広範な適用可能性を示している。
• GからHへの局所的に単射的準同型写像が存在するための必要十分条件は、GとHの次数リファインメント行列が等しいことであると示している。
• ロール割り当て問題を局所的に全射的準同型写像問題としてモデル化することで、この枠組みはFPT結果を成功裏に証明した。
• 3つの局所的に制約のある準同型写像問題について、FPT、W[1]-hard、およびpara-NP-completeな領域を特定する包括的な複雑性の図を提供している。
• 本研究では、木幅と最大次数の和でパラメータ化された際のLBHomとLSHomのFPT状態についての未解決の問題を解消したが、その結論は依然として未解決のままであると示唆している。