[論文レビュー] Duality for Min-Max Orderings and Dichotomy for Min Cost Homomorphisms

Arash Rafiey, Pavol Hell|ArXiv.org|Jul 17, 2009

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

ひとこと要約

本稿では、対称的に反転可能なペアを用いて、Min-Max順序付き有向グラフの禁止構造特徴付けを確立し、多項式時間認識アルゴリズムを導出する。有向グラフにおける最小コスト同型写像問題のための二分岐を証明する：MinHOM(H) は、H が拡張された Min-Max順序を許容する場合に限り、多項式時間で解ける。それ以外の場合は NP-完全である。

ABSTRACT

Min-Max orderings correspond to conservative lattice polymorphisms. Digraphs with Min-Max orderings have polynomial time solvable minimum cost homomorphism problems. They can also be viewed as digraph analogues of proper interval graphs and bigraphs. We give a forbidden structure characterization of digraphs with a Min-Max ordering which implies a polynomial time recognition algorithm. We also similarly characterize digraphs with an extended Min-Max ordering, and we apply this characterization to prove a conjectured form of dichotomy for minimum cost homomorphism problems.

研究の動機と目的

• Min-Max順序付き有向グラフを特徴付けるために、新しい禁止構造として対称的に反転可能なペアを用いる。
• 最小コスト同型写像問題に関連する拡張された Min-Max順序付き有向グラフへの特徴付けを拡張する。
• 一般の有向グラフにおける MinHOM(H) の二分岐に関する予想を解決する。具体的には、H が拡張された Min-Max順序を許容しない限り、NP-完全であることを証明する。
• Min-Max順序付き有向グラフのための多項式時間認識アルゴリズムを提供する。
• 最小コスト同型写像の文脈において、従来の同型写像問題の二分岐結果を統合・一般化する。

提案手法

• Min-Max順序を、適切な区間グラフやバイグラフの一般化として有向グラフに導入する。
• 対称的に反転可能なペアを、Min-Max順序の欠如を特徴付ける禁止構造として定義する。
• 対称的に反転可能なペアの不在を双対条件として用い、Min-Max順序付き有向グラフを特徴付ける。
• Min-Max順序の拡張を含む特徴付けを拡張し、MinHOM(H) の多項式時間解法に不可欠な構造を含める。
• 構造的グラフ理論とウォークに基づく構成（例：無限ウォーク、合同ウォーク）を用い、禁止構造が存在する場合の NP-完全性を証明する。
• 同型写像の性質と有向サイクルにおける閉路ウォークのネット長分析を活用し、二分岐を確立する。

実験結果

リサーチクエスチョン

• RQ1 Min-Max順序を許容する有向グラフを特徴付ける構造的条件は何か？
• RQ2 拡張された Min-Max順序はどのように特徴付けられ、最小コスト同型写像問題の複雑さにどのような役割を果たすか？
• RQ3 一般の有向グラフにおいて、MinHOM(H) が H が拡張された Min-Max順序を許容しない限り NP-完全であるという予想は真か？
• RQ4 Min-Max順序付き有向グラフのための多項式時間認識アルゴリズムを構築できるか？
• RQ5 Min-Max順序と有向グラフにおける保存的ラティス多様写像の存在との関係は何か？

主な発見

• Min-Max順序を許容する有向グラフは、対称的に反転可能なペアの不在によって特徴付けられ、禁止構造特徴付けが得られる。
• 対称的に反転可能なペアの不在を検出することに基づく、Min-Max順序付き有向グラフの多項式時間認識アルゴリズムが存在する。
• 有向グラフ H に拡張された Min-Max順序が存在することは、MinHOM(H) が多項式時間で解けるための必要十分条件である。
• H に対称的に k-反転可能なペアが存在する、またはネット長が k で割り切れない有向サイクルを含む誘導部分グラフが存在する場合、MinHOM(H) は NP-完全である。
• [18] における一般の有向グラフに対する MinHOM(H) の二分岐に関する予想が証明された：MinHOM(H) は、H が拡張された Min-Max順序を許容する場合に限り、多項式時間で解ける。
• 証明は、合同ウォークの構築と、禁止構造が存在する場合の問題の既知の NP-完全ケースへの還元に、同型写像の性質を活用している。