[論文レビュー] Complexity of the Minimum Cost Homomorphism Problem for Semicomplete Digraphs with Possible Loops

E. J. Kim, Gregory Gutin|ArXiv.org|Aug 19, 2007

Advanced Graph Theory Research参考文献 15被引用数 6

ひとこと要約

この論文は、可能なループを許す半完備有向グラフにおける最小コスト同型写像問題（MinHOM）の完全な二分類を提示し、ループのない半完備有向グラフに関する先行研究を拡張することで、未解決の問題を解決している。著者らは、MinHOM(H) が多項式時間で解けるのは、H が特定の構造的条件を満たす場合に限ることを確立している——特に、$̄{C}^*_3$ や $R$ などの特定の誘導部分有向グラフを含まない場合であり、それ以外の場合は構造的グラフ理論と禁止部分グラフに基づく還元を用いて、NP困難であることを証明している。

ABSTRACT

For digraphs $D$ and $H$, a mapping $f: V(D)\dom V(H)$ is a homomorphism of $D$ to $H$ if $uv\in A(D)$ implies $f(u)f(v)\in A(H).$ For a fixed digraph $H$, the homomorphism problem is to decide whether an input digraph $D$ admits a homomorphism to $H$ or not, and is denoted as HOM($H$). An optimization version of the homomorphism problem was motivated by a real-world problem in defence logistics and was introduced in \cite{gutinDAM154a}. If each vertex $u \in V(D)$ is associated with costs $c_i(u), i \in V(H)$, then the cost of the homomorphism $f$ is $\sum_{u\in V(D)}c_{f(u)}(u)$. For each fixed digraph $H$, we have the {\em minimum cost homomorphism problem for} $H$ and denote it as MinHOM($H$). The problem is to decide, for an input graph $D$ with costs $c_i(u),$ $u \in V(D), i\in V(H)$, whether there exists a homomorphism of $D$ to $H$ and, if one exists, to find one of minimum cost. Although a complete dichotomy classification of the complexity of MinHOM($H$) for a digraph $H$ remains an unsolved problem, complete dichotomy classifications for MinHOM($H$) were proved when $H$ is a semicomplete digraph \cite{gutinDAM154b}, and a semicomplete multipartite digraph \cite{gutinDAM}. In these studies, it is assumed that the digraph $H$ is loopless. In this paper, we present a full dichotomy classification for semicomplete digraphs with possible loops, which solves a problem in \cite{gutinRMS}.\footnote{This paper was submitted to SIAM J. Discrete Math. on October 27, 2006}

研究の動機と目的

• ループを許す半完備有向グラフにおける最小コスト同型写像問題（MinHOM）の完全な二分類を提供することで、計算複雑性における未解決問題を解決すること。
• ループのない半完備有向グラフに関する先行の二分類結果を、ループを許すより一般の状況に拡張することにより、構造的複雑性を著しく高める。
• ループを許す半完備有向グラフにおけるMinHOM(H)の多項式時間解法のケースを、禁止部分有向グラフ条件によって特徴付けること。
• 重み付き同型写像問題における最適化の理論的基盤を築き、物流やスケジューリングにおける実用的応用を支援すること。

提案手法

• 著者らは、ループを許す半完備有向グラフにおけるMinHOM(H)の tractability を決定づける禁止誘導部分有向グラフを分析するために、構造的グラフ理論を用いている。
• $̄{C}^*_3$（可能なループを含む有向3サイクル）、$R$、$W$、$R'$、およびループ付きの$̄{C}_3$ といった重要な有向グラフを導入・分析し、 tractable と NP 困難の境界を定義している。
• 中心的な技術として、半完備有向グラフ H が特定の部分有向グラフ（例：$̄{C}^*_3$ と $R$）を含まず、かつその対称部分が適切な区間グラフである場合、MinHOM(H) が多項式時間で解けることを証明している。
• 証明では、H の対称部分における最短路に基づく帰納法と最小性の議論を用いて、禁止構成要素の存在を除外している。
• 著者らは、特に禁止部分グラフ（かぎわい、ネット、テント、長さ≥4のサイクル）による特徴付けを含む、適切な区間グラフに関する既知の結果を活用し、H の構造を制限している。
• 問題を H の対称部分の解析に還元し、その連結性と区間性の性質に注目することで、MinHOM の複雑性を無向グラフの性質と結びつけている。

実験結果

リサーチクエスチョン

• RQ1 ループを許す半完備有向グラフ H に対して、最小コスト同型写像問題（MinHOM(H)）が多項式時間で解けるのはどのような場合か？
• RQ2 ループの有無と H の対称部分の構造が、MinHOM(H) の複雑度にどのように影響するか？
• RQ3 ループを許す半完備有向グラフにおける MinHOM(H) の NP 困難性を特徴づける最小禁止部分有向グラフは何か？
• RQ4 ループのない半完備有向グラフにおける二分類を、ループを許す場合に拡張できるか？もし可能であれば、どのような新しい構造的制約が生じるか？
• RQ5 MinHOM(H) の多項式解法と同値な構造的特徴づけ（例：Min-Max 順序付けまたは禁止部分グラフ条件）は、反射的半完備有向グラフの場合に存在するか？

主な発見

• ループを許す半完備有向グラフ H に対して、MinHOM(H) が多項式時間で解けるのは、H が $̄{C}^*_3$ または $R$ を誘導部分有向グラフとして含まず、かつその対称部分 $U(H^{sym})$ が適切な区間グラフである場合に限る。
• ループを許す半完備有向グラフの場合、$̄{C}^*_3$（可能なループを含む有向3サイクル）と $R$（特定の3頂点有向グラフ）の存在が、tractability の必要十分条件である。
• H が反射的半完備有向グラフであり、$U(H^{sym})$ が連結な適切な区間グラフである場合、MinHOM(H) は多項式時間で解ける。
• H が $W$、$R'$、または少なくとも1つのループを含む $̄{C}_3$ を誘導部分有向グラフとして含む場合、問題は NP 困難になる。
• ループを許す半完備有向グラフにおける複雑度分類は、ループのない場合よりも著しく複雑であり、これはループと循環構造の相互作用に起因する。
• 本研究の結果により、ループを許す半完備有向グラフにおける MinHOM(H) 問題が完全に分類されたことが確認され、[8] で提示された未解決問題が解決された。