[論文レビュー] Computation of Hadwiger Number and Related Contraction Problems: Tight Lower Bounds

Fedor V. Fomin, Daniel Lokshtanov+3 more|arXiv (Cornell University)|Jan 1, 2020

Advanced Combinatorial Mathematics参考文献 13被引用数 3

ひとこと要約

この論文は、n頂点のグラフにおけるハドイガー数（最大クリークマイナーのサイズ）を計算するためのタイトな下界を確立し、指数時間仮説（ETH）が成立しない限り、$ n^{o(n)} $ 時間でそれらを計算するアルゴリズムは存在しないことを証明する。著者たちは、マッチングに関する難問から還元を行い、この技術を一般化することで、弦的、区間的、完全グラフなどの広範なクラスにまたがるエッジ収縮問題に対する効率的アルゴリズムの存在を排除する。

ABSTRACT

We prove that the Hadwiger number of an $n$-vertex graph $G$ (the maximum size of a clique minor in $G$) cannot be computed in time $n^{o(n)}$, unless the Exponential Time Hypothesis (ETH) fails. This resolves a well-known open question in the area of exact exponential algorithms. The technique developed for resolving the Hadwiger number problem has a wider applicability. We use it to rule out the existence of $n^{o(n)}$-time algorithms (up to ETH) for a large class of computational problems concerning edge contractions in graphs.

研究の動機と目的

• n頂点のグラフのハドイガー数が単一指数時間$ 2^{O(n)} $で計算可能かどうかという長年の未解決問題を解消すること。
• クリークマイナー計算および関連するエッジ収縮問題の計算複雑性に対するタイトな下界を確立すること。
• ハドイガー数を越えて、広範なグラフ収縮問題に適用可能な一般化された技術を開発すること。
• これらの問題に対して$ n^{o(n)} $時間アルゴリズムが存在するならば、指数時間仮説（ETH）が成立しないことになることを証明すること。

提案手法

• クロスマッチング問題から構造的クリーク収縮問題への還元により、後者のETHハード性を確立する。
• 入力グラフ$ G $と$ 4n $頂点のクリーク$ K $を組み合わせてグラフ$ H $を構築し、$ A $と$ C $、$ B $と$ D $の間に辺を追加することで、マッチング制約を符号化する。
• エッジ収縮を用いて$ G $内の完全マッチングをシミュレートし、結果として得られるグラフがクリークであるための必要十分条件を満たす。
• 任意の$ G $におけるサイズ$ h $のクリークマイナーが、$ |V(G)| - h $個のエッジ収縮に対応することを利用し、ハドイガー数からクリーク収縮問題への還元を可能にする。
• Clique Contractionを$ n^{o(n)} $時間で解ける任意のアルゴリズムが、クロスマッチング問題に対しても$ n^{o(n)} $時間アルゴリズムを提供することになり、ETHに反するため、そのようなアルゴリズムの存在を排除する。
• この技術を一般化し、ETHを仮定すると、弦的、区間的、スレッショルド、スプリット、完全グラフなどの複数のグラフクラスについて、F-Contractionは$ n^{o(n)} $時間で解けないことを示す。

実験結果

リサーチクエスチョン

• RQ1 n頂点のグラフのハドイガー数は$ n^{o(n)} $時間で計算可能か？
• RQ2 エッジ収縮問題に対して$ n^{o(n)} $時間アルゴリズムを除外する一般化可能な手法は存在するか？
• RQ3 エッジ収縮による最大クリークマイナーの探索の計算複雑性は、他のグラフ埋め込み問題（例：部分グラフ同型、グラフ準同型、位相的マイナー）と比べてどうか？
• RQ4 指数時間仮説（ETH）は、Clique Contractionおよび関連問題に対する効率的アルゴリズムの存在を排除するか？
• RQ5 ハドイガー数の還元技術を、F-Contractionフレームワークにおける他のグラフクラスへ拡張可能か？

主な発見

• 指数時間仮説（ETH）が成立しない限り、n頂点のグラフのハドイガー数は$ n^{o(n)} $時間で計算できない。
• 論文は、クロスマッチング問題からの還元により、ETHのもとでClique Contractionは$ n^{o(n)} $時間で解けないことを証明する。
• ハドイガー数の下界を証明する際に用いた技術は広く適用可能であり、弦的、区間的、スレッショルド、スプリット、完全グラフなどの複数のグラフクラスについて、F-Contractionは$ n^{o(n)} $時間で解けないことを示す。
• この結果により、エッジ収縮による最大クリークマイナーの探索は、部分グラフ同型、グラフ準同型、位相的マイナーなど、すべて$ n^{O(n)} $時間アルゴリズムを有する他の関連問題よりも計算的に難しいことが示された。
• ターゲットグラフが完全グラフであっても、ETHが成立しない限り、エッジ収縮問題に対して$ n^{o(n)} $時間アルゴリズムは存在しないことが確立された。
• クロスマッチング問題から構造的クリーク収縮問題への還元は、エッジ収縮が完全マッチングをシミュレートでき、収縮下でもクリーク構造を保持することを示している。