[論文レビュー] Finding Optimal Solutions With Neighborly Help

Elisabet Burjons, Fabian Frei+3 more|arXiv (Cornell University)|Jan 1, 2019

Advanced Graph Theory Research被引用数 1

ひとこと要約

この論文は、NP困難なグラフ問題—特に彩色可能性（Colorability）と頂点被覆（Vertex Cover）—の最適解が、隣接するインスタンス（例えば、1辺削除または1辺追加された部分グラフ）の最適解を用いて、効率的に計算可能かどうかを調査するオракルモデルを導入する。最適彩色の計算は、すべての1辺削除部分グラフの最適彩色が与えられても依然としてNP困難であることが示され、一方で最適頂点被覆は、1辺追加超グラフへの2クエリのみで多項式時間で得られることを示し、2つの問題間に明確な構造的二分法を明らかにした。さらに、β-頂点臨界性に関する最初のΘp₂完全性結果を確立した。

ABSTRACT

Can we efficiently compute optimal solutions to instances of a hard problem from optimal solutions to neighboring (i.e., locally modified) instances? For example, can we efficiently compute an optimal coloring for a graph from optimal colorings for all one-edge-deleted subgraphs? Studying such questions not only gives detailed insight into the structure of the problem itself, but also into the complexity of related problems; most notably graph theory’s core notion of critical graphs (e.g., graphs whose chromatic number decreases under deletion of an arbitrary edge) and the complexity-theoretic notion of minimality problems (also called criticality problems, e.g., recognizing graphs that become 3-colorable when an arbitrary edge is deleted). We focus on two prototypical graph problems, Colorability and Vertex Cover. For example, we show that it is NP-hard to compute an optimal coloring for a graph from optimal colorings for all its one-vertex-deleted subgraphs, and that this remains true even when optimal solutions for all one-edge-deleted subgraphs are given. In contrast, computing an optimal coloring from all (or even just two) one-edge-added supergraphs is in P. We observe that Vertex Cover exhibits a remarkably different behavior, demonstrating the power of our model to delineate problems from each other more precisely on a structural level. Moreover, we provide a number of new complexity results for minimality and criticality problems. For example, we prove that Minimal-3-UnColorability is complete for DP (differences of NP sets), which was previously known only for the more amenable case of deleting vertices rather than edges. For Vertex Cover, we show that recognizing beta-vertex-critical graphs is complete for Theta_2^p (parallel access to NP), obtaining the first completeness result for a criticality problem for this class.

研究の動機と目的

• NP困難なグラフ問題の最適解が、局所的に変更された隣接インスタンスの最適解から、どのように効率的に再構成可能かを調査すること。
• 彩色可能性や頂点被覆といった基本的問題が、局所的変更の下で、構造的にどのように異なるかを明確にすること。
• 特に頂点被覆と彩色可能性について、最小性および臨界性問題の新しい複雑性結果を確立すること。
• 最適解の隣接インスタンスへのアドバイスとしてのパワーが、計算困難性を理解するためのツールとして果たす可能性を調査すること。

提案手法

• 著者たちは、1辺削除、1辺追加、1頂点削除、1頂点追加された部分グラフなどの隣接インスタンスの最適解をクエリとしてアクセスできるオラクルモデルを定義する。
• エッジ削除、エッジ追加、頂点削除、頂点追加の各クエリアクセスパターンにおける最適解の再構成の計算複雑性を分析する。
• 彩色可能性に関しては、すべての1辺削除部分グラフの最適彩色が与えられている場合でも、最適彩色の計算がNP困難であることを証明する。
• 頂点被覆に関しては、一般にNP困難であるにもかかわらず、1辺追加超グラフへの2クエリのみで最適頂点被覆を多項式時間で計算可能であることを示す。
• 既知のΘp₂完全およびDP完全問題からの還元を用いて、特にβ-頂点臨界性およびMinimal-3-UnColorabilityの困難性結果を証明する。
• 臨界性問題とブール階層の間にきわめて明確な関係を確立し、Minimal-3-UnColorabilityがDP完全であることを証明するとともに、β-頂点臨界性がΘp₂完全であることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての1辺削除部分グラフの最適彩色が与えられている場合、元のグラフの最適彩色が多項式時間で計算可能か？
• RQ2 すべての1辺削除部分グラフの最適頂点被覆が与えられている場合、元のグラフの最適頂点被覆を多項式時間で計算可能か？
• RQ3 エッジ削除部分グラフではなく、エッジ追加超グラフへのアクセスに限定された場合、最適解の再構成の複雑性はいかほどか？
• RQ4 エッジまたは頂点の削除・追加といった局所的変更の下で、彩色可能性と頂点被覆の構造的性質はどのように異なるか？
• RQ5 β-頂点臨界グラフを識別する問題の正確な複雑性クラスは何か？また、ブール階層とどのように関係しているか？

主な発見

• すべての1辺削除部分グラフの最適彩色がアドバイスとして与えられている場合でも、元のグラフの最適彩色の計算はNP困難である。
• これに対して、すべての1辺削除部分グラフの最適頂点被覆が与えられている場合、最適頂点被覆は多項式時間で計算可能である。
• 1辺追加超グラフへの2クエリのみで最適頂点被覆を多項式時間で計算可能であるため、このモデルにおいてエッジ削除とエッジ追加に根本的な非対称性があることが示された。
• グラフがβ-頂点臨界であるかどうかを判定する問題はΘp₂完全であることが示され、この複雑性クラスにおける臨界性問題の最初の完全性結果となった。
• Minimal-3-UnColorabilityがDP完全であることが証明され、従来の結果を拡張し、ブール階層における最小性問題の困難性を確認した。
• 本研究は、彩色可能性ではエッジ削除が困難性を維持する一方で、頂点被覆では最小限のクエリアクセスと組み合わせることで可解性をもたらす、明確な二分法を明らかにした。