[論文レビュー] Conflict-free graph orientations with parity and degree constraints

Sarah Cannon, Mashhood Ishaque+1 more|arXiv (Cornell University)|Mar 15, 2012

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿は、偶数のグラフ向き付けを、偶奇制約および衝突制約の下で求める計算複雑性を調査し、衝突集合のサイズが2以上である場合、そのような向き付けの存在を決定することはNP完全であることを証明する。衝突ペアが互いに素である場合には、効率的なアルゴリズムを提示し、特定の構造的制約の下で取り扱い可能な解法を提供する。

ABSTRACT

It is known that every multigraph with an even number of edges has an even orientation (i.e., all indegrees are even). We study parity constrained graph orientations under additional constraints. We consider two types of constraints for a multigraph G=(V,E): (1) an exact conflict constraint is an edge set C in E and a vertex v in V such that C should not equal the set of incoming edges at v; (2) a subset conflict constraint is an edge set C in E and a vertex v in V such that C should not be a subset of incoming edges at v. We show that it is NP-complete to decide whether G has an even orientation with exact or subset conflicts, for all conflict sets of size two or higher. We present efficient algorithms for computing parity constrained orientations with disjoint exact or subset conflict pairs.

研究の動機と目的

• 多重グラフが正確または部分集合の衝突制約の下で偶数の向き付けを許容するかどうかを決定する計算複雑性を特定すること。
• このような制約付き向き付けを効率的に計算できる条件を同定すること。
• 衝突ペアが互いに素である場合に、偶奇制約付きの向き付けを計算するためのアルゴリズムを開発すること。
• 衝突制約（正確および部分集合）が偶数の向き付けの可能性および複雑性に与える影響を分析すること。

提案手法

• 特定の頂点におけるエッジ集合が、その頂点の完全なインバックスセットまたは部分集合であってはならないように、衝突制約を形式化すること。
• 既知のNP完全問題を還元することで、サイズ≥2の衝突制約の下での偶数の向き付けの決定がNP完全であることを証明すること。
• 衝突ペアが互いに素である場合に、グラフ分解とフローに基づく技術を活用して、多項式時間で偶数の向き付けを計算するアルゴリズムを設計すること。
• 偶奇制約を用いて、すべての頂点で偶数のインデグリーを保証しながら、衝突制限を尊重すること。
• 組合せ的議論を用いて、互いに素な衝突ペアが効率的な向き付け構築を可能にすることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 サイズが2以上のエッジ集合に対して正確な衝突制約が課された場合、多重グラフが偶数の向き付けを持つかどうかを決定することはNP完全であるか？
• RQ2 サイズが2以上のエッジ集合に対して部分集合の衝突制約が適用された場合、問題は依然としてNP完全であるか？
• RQ3 衝突ペアが互いに素である場合に、偶数の向き付けを効率的に計算するアルゴリズムを設計できるか？
• RQ4 衝突集合にどのような構造的条件が存在すれば、制約付き偶数向き付け問題に対して取り扱い可能な解法が得られるか？

主な発見

• 正確または部分集合の衝突制約の下で偶数の向き付けの存在を決定することは、衝突集合のサイズが2以上である場合にNP完全である。
• すべての衝突集合のサイズが正確に2である場合でさえ、問題はNP完全のままである。
• 衝突ペアが互いに素である場合には、偶数の向き付けを計算するための効率的な多項式時間アルゴリズムが存在する。
• 互いに素な衝突ペアに対するアルゴリズムは、問題を偶奇制約付きのフローネットワークに変換することに依存している。
• 結果から、問題の複雑性は衝突集合の構造に極めて敏感であり、互いに素性が取り扱い可能な解法を可能にすることが示された。