[論文レビュー] Minimum Cost Homomorphisms to Locally Semicomplete and Quasi-Transitive Digraphs

Arvind Gupta, Gregory Gutin+3 more|ArXiv.org|Dec 5, 2007

Advanced Graph Theory Research参考文献 25被引用数 3

ひとこと要約

この論文は、局所的半完全および準順序的有向グラフにおける最小コスト同型写像問題（MinHOM）の完全な二分岐を確立する。これらのクラスの構造的グラフ理論を活用して、Hの各連結成分が無閉路または有向サイクル（局所的半完全の場合）であるか、特定の構造的制約（C₃の拡張、または適切な区間二部グラフをもつ無閉路構造で、Oᵢの誘導部分構造を含まないもの）を満たす場合、MinHOM(H)は多項式時間で解けると証明する。それ以外の場合は、問題はNP困難である。

ABSTRACT

For digraphs $G$ and $H$, a homomorphism of $G$ to $H$ is a mapping $f:\ V(G)\dom V(H)$ such that $uv\in A(G)$ implies $f(u)f(v)\in A(H)$. If, moreover, each vertex $u \in V(G)$ is associated with costs $c_i(u), i \in V(H)$, then the cost of a homomorphism $f$ is $\sum_{u\in V(G)}c_{f(u)}(u)$. For each fixed digraph $H$, the minimum cost homomorphism problem for $H$, denoted MinHOM($H$), can be formulated as follows: Given an input digraph $G$, together with costs $c_i(u)$, $u\in V(G)$, $i\in V(H)$, decide whether there exists a homomorphism of $G$ to $H$ and, if one exists, to find one of minimum cost. Minimum cost homomorphism problems encompass (or are related to) many well studied optimization problems such as the minimum cost chromatic partition and repair analysis problems. We focus on the minimum cost homomorphism problem for locally semicomplete digraphs and quasi-transitive digraphs which are two well-known generalizations of tournaments. Using graph-theoretic characterization results for the two digraph classes, we obtain a full dichotomy classification of the complexity of minimum cost homomorphism problems for both classes.

研究の動機と目的

• 局所的半完全および準順序的有向グラフにおける最小コスト同型写像問題（MinHOM）の計算複雑性を分類すること。
• トーナメントを一般化するより広いクラスの有向グラフに、既存の半完全および半完全マルチパーティット有向グラフにおける二分岐結果を拡張すること。
• MinHOM(H) が多項式時間で解けるかNP困難かを決定するHの正確な構造的条件を同定すること。
• 局所的半完全および準順序的有向グラフのグラフ論的特徴付けを用いて、複雑性の二分岐を導出すること。

提案手法

• 特にサイクル、連結性、隣接関係のパターンに注目して、局所的半完全および準順序的有向グラフを特徴付ける構造的グラフ理論の応用。
• Oᵢの誘導部分構造（i=1,2,3,4）を含む禁止部分グラフ特徴付けを用いて、解法可能性の必要十分条件を定義。
• 誘導部分有向グラフ同型写像（例：H₁, H₂）を用いた還元により、NP困難性を証明。
• 準順序性と局所的半完全性を活用して、頂点の隣接関係を制約し、非自明な場合に矛盾を導く。
• 成分構造の分析を通じて二分岐を証明：無閉路、有向サイクル、または特定の下位二部グラフを持つC₃の拡張。
• 補題とケース解析を用いて、可解クラスから逸脱する任意の構造的変更が、既知の困難なインスタンスへの還元を通じてNP困難性を引き起こすことを示す。

実験結果

リサーチクエスチョン

• RQ1 どの局所的半完全有向グラフHに対して、最小コスト同型写像問題が多項式時間で解けるか？
• RQ2 準順序的有向グラフHのどの構造的性質が、MinHOM(H)の可解性を決定づけるか？
• RQ3 これらの有向グラフクラスにおけるMinHOM(H)のNP困難インスタンスを特徴付ける禁止部分グラフは存在するか？
• RQ4 構造的グラフ理論を用いて、局所的半完全および準順序的有向グラフにおけるMinHOM(H)の複雑性を完全に分類できるか？

主な発見

• 局所的半完全有向グラフHに対して、MinHOM(H)は、各連結成分が無閉路またはk ≥ 2の有向サイクルCₖである場合に限り、多項式時間で解ける。
• 準順序的有向グラフの場合、MinHOM(H)は、各連結成分H′がC₂、C₃の拡張、または無閉路であり、B(H′)が適切な区間二部グラフで、H′がOᵢ（i=1,2,3,4）を誘導部分構造として含まない場合に限り、多項式時間で解ける。
• これらの構造的条件から逸脱する任意の構造的変更は、H₁およびH₂という既知の困難な部分有向グラフへの還元により、MinHOM(H)のNP困難性を示す。
• Oᵢの誘導部分構造（i=1,2,3,4）は、準順序的ケースにおいて重要な禁止部分グラフであり、その存在はNP困難性を意味する。
• 証明は、準順序性と局所的半完全性が頂点の隣接関係をあまりに厳密に制約するため、唯一特定の構成しか可解な解を許さないという事実に依存している。