[論文レビュー] On some hard and some tractable cases of the maximum acyclic matching problem

Maximilian Fürst, Dieter Rautenbach|arXiv (Cornell University)|Oct 23, 2017

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

ひとこと要約

本稿は、最大非巡回マッチング問題の計算複雑性を調査し、最大次数が4の二部グラフに対しても、最大マッチングが非巡回であるかどうかを決定することはNP完全であることを証明する。さらに、$P_4$-freeおよび$2P_3$-freeグラフにおいて、最大重み非巡回マッチングを効率的に求められることを示し、すべての最大マッチングが非巡回であるようなグラフの特徴づけ—それらの成分が木または奇サイクルであるグラフ—も行う。

ABSTRACT

Three well-studied types of subgraph-restricted matchings are induced matchings, uniquely restricted matchings, and acyclic matchings. While it is hard to determine the maximum size of a matching of each of these types, whether some given graph has a maximum matching that is induced or has a maximum matching that is uniquely restricted, can both be decided efficiently. In contrast to that we show that deciding whether a given bipartite graph of maximum degree at most four has a maximum matching that is acyclic is NP-complete. Furthermore, we show that maximum weight acyclic matchings can be determined efficiently for $P_4$-free graphs and $2P_3$-free graphs, and we characterize the graphs for which every maximum matching is acyclic.

研究の動機と目的

• グラフにおける最大マッチングが非巡回であるかどうかを決定する計算複雑性を特定すること。
• 最大重み非巡回マッチング問題が効率的に解けるとされるグラフクラスを同定すること。
• すべての最大マッチングが非巡回であるようなグラフの族を特徴づけること。
• マッチング数と等しい非巡回マッチング、および誘導マッチングや一意制限マッチングの認識可能性との間の可解性の対比を明らかにすること。

提案手法

• 最大次数が4の二部グラフにおけるNP完全性の証明のため、制限付き3-SATへの還元。
• $P_4$-freeおよび$2P_3$-freeグラフにおける最大重み非巡回マッチングを計算する多項式時間アルゴリズムの設計。
• すべての最大マッチングが非巡回であるようなグラフの構造的解析—成分の種別（木および奇サイクル）に基づく。
• グラフ理論的性質の活用：非巡回マッチングは森である部分グラフに対応する；最大マッチングは頂点被覆および交互路を用いて分析される。
• 線グラフおよびその平方に関する既知の結果を活用し、独立集合およびフィードバック頂点集合との関係を探索する。
• 背理法による証明により、このようなグラフにおけるサイクルは奇サイクルであり、連結成分であることを示す。

実験結果

リサーチクエスチョン

• RQ1 最大次数が4の二部グラフにおいて、最大マッチングが非巡回であるかどうかを決定することはNP完全であるか？
• RQ2 $P_4$-freeおよび$2P_3$-freeグラフにおいて、最大重み非巡回マッチングを多項式時間で計算できるか？
• RQ3 すべての最大マッチングが非巡回であるようなグラフを特徴づける構造的性質は何か？
• RQ4 $\nu_{ac}(G) = \nu(G)$ を決定する複雑性は、誘導マッチングおよび一意制限マッチングのそれと比べてどう異なるか？
• RQ5 $P_5$-freeグラフにおいて最大非巡回マッチング問題は可解か？また、独立フィードバック頂点集合の技術を応用できるか？

主な発見

• 最大次数が4以下の二部グラフにおいて、$\nu_{ac}(G) = \nu(G)$ であるかどうかを決定することはNP完全である。
• $P_4$-freeグラフおよび$2P_3$-freeグラフにおいて、最大重み非巡回マッチングは多項式時間で計算可能である。
• すべての最大マッチングが非巡回であるようなグラフであるための必要十分条件は、すべての成分が木または奇サイクルであることである。
• この特徴づけは、偶サイクルを含むグラフ、または高次元の頂点を含む成分を有するグラフは、非巡回でない最大マッチングを含む可能性があることを示唆する。
• この結果は、すべての最大マッチングが誘導または一意制限であるかどうかを決定する問題の可解性とは対照的であり、非巡回マッチングの複雑性における根本的な違いを強調する。
• 本稿は、最大次数が3の二部グラフおよび$P_5$-freeグラフにおいて$\nu_{ac}(G) = \nu(G)$ を決定する複雑性を未解決として残しており、今後のアルゴリズム的進展の可能性を示唆している。