[論文レビュー] Quasi-polynomial-time algorithm for Independent Set in P t -free and C >t -free graphs via shrinking the space of connecting subgraphs.

Marcin Pilipczuk, Michał Pilipczuk+1 more|arXiv (Cornell University)|Sep 28, 2020

Complexity and Algorithms in Graphs被引用数 5

ひとこと要約

本稿では、$P_t$-freeおよび$C_{>t}$-freeグラフにおける最大重み独立集合問題に対して、接続部分グラフの構造的性質を活用することで、$P_t$-freeグラフでは$ n^{O(\log^2 n)} $、$C_{>t}$-freeグラフでは$ n^{O(\log^4 n)} $の実行時間となる、簡素化された準多項式時間アルゴリズムを提示する。主な洞察は、$P_t$-freeグラフにおいて、誘導パスに高い接続性を持つ頂点があると、探索空間を準多項式的に削減できるため、効率的な分岐が可能になることである。

ABSTRACT

In a recent work, Gartland and Lokshtanov [FOCS 2020] gave a quasi-polynomial-time algorithm for Maximum Weight Independent Set in $P_t$-free graphs, that is, graphs excluding a path on $t$ vertices as an induced subgraph. Their algorithm runs in time $n^{O(\log^3 n)}$, where $t$ is assumed to be a~constant. Inspired by their ideas, we present an arguably simpler algorithm with an improved running time bound of $n^{O(\log^2 n)}$. Our main insight is that a connected $P_t$-free graph always contains a vertex $w$ whose neighborhood intersects, for a constant fraction of pairs $\{u,v\} \in \binom{V(G)}{2}$, a constant fraction of induced $u-v$ paths. Since a $P_t$-free graph contains $O(n^{t-1})$ induced paths in total, branching on such a vertex and recursing independently on the connected components leads to a quasi-polynomial running time bound. In a subsequent and very recent work, Gartland and Lokshtanov [arXiv:2007.11402] extended their ideas to $C_{> t}$-free graphs: graphs that do not contain a cycle on more than $t$ vertices as an induced subgraph. They obtained an algorithm for Maximum Weight Independent Set in this graph class with running time $n^{O(\log^5 n)}$. We show that it is possible to combine their ideas with our new understanding, and thus obtain an algorithm that runs in time $n^{O(\log^4 n)}$. We also show how to use the same approach to obtain quasi-polynomial-time algorithms for related problems, including Maximum Weight Induced Matching and 3-Coloring, in $P_t$-free and $C_{>t}$-free~graphs.

研究の動機と目的

• GartlandとLokshtanov（2020年）の$ n^{O(\log^3 n)} $の境界を超えて、$P_t$-freeグラフにおける最大重み独立集合問題の準多項式時間アルゴリズムの実行時間を改善すること。
• この改善されたアプローチを、長さの長い誘導サイクルを含まない$C_{>t}$-freeグラフに拡張すること。この分野では、この問題に対する準多項式時間アルゴリズムは以前に存在しなかった。
• 従来の研究から得られた構造的洞察を統合・簡素化し、誘導パスへの接続性に基づく新しい頂点ベースの分岐戦略を用いること。
• 最大重み誘導マッチングや3色彩色といった関連問題に対しても、同じグラフクラスにおいて同様の手法を適応し、準多項式時間で解けるようにすること。
• 接続部分グラフの精密な解析を通じて、対数項の指数を低減することで、よりタイトな準多項式時間の境界を達成すること。

提案手法

• $P_t$-freeグラフにおいては、多くの頂点ペア$\{u,v\}$の間の誘導$u$-$v$パスの定数割合と重なるように、頂点$w$の近傍が交差するという構造的性質を活用する。
• この頂点$w$を分岐点として用いる：$w$を削除した後の連結成分に対して、再帰的に問題を解く。$P_t$-freeグラフは$O(n^{t-1})$個の誘導パスしか持たないため、この性質が有効に働く。
• 探索空間を各段階で定数倍に削減する再帰的分解戦略を適用し、結果として準多項式時間の境界が得られる。
• $C_{>t}$-freeグラフへの拡張は、GartlandとLokshtanovの最近のサイクルフリー誘導部分グラフに関する研究の構造的洞察と組み合わせることで実現する。
• 接続部分グラフの数を制限することで、$P_t$-freeおよび$C_{>t}$-freeの両設定において、準多項式時間の複雑性を維持するように分岐ルールを適応させる。
• 同様のグラフクラスにおける接続部分グラフの構造的制約を特定することで、他の問題に対してもこのアプローチを一般化する。

実験結果

リサーチクエスチョン

• RQ1 $P_t$-freeグラフにおける最大重み独立集合問題のアルゴリズムの実行時間を、$n^{O(\log^3 n)}$の境界を超えて改善できるか？
• RQ2 長さの長い誘導サイクルを含まない$C_{>t}$-freeグラフに対しても、改善されたアルゴリズムフレームワークを拡張可能か？
• RQ3 高接続性を持つ頂点に関する構造的洞察を形式化し、探索空間を効率的に削減する方法として用いることで、より良い準多項式時間の指数を得られるか？
• RQ4 この手法は、$P_t$-freeおよび$C_{>t}$-freeグラフにおける他のNP困難問題へどの程度一般化可能か？
• RQ5 これらのグラフクラスにおいて準多項式時間アルゴリズムを達成するために、接続部分グラフが満たすべき最小限の構造的性質は何か？

主な発見

• 本稿では、$P_t$-freeグラフにおける最大重み独立集合問題に対して、$n^{O(\log^2 n)}$の実行時間で解けることを達成した。これは、従来の$ n^{O(\log^3 n)} $の境界を改善したものである。
• $C_{>t}$-freeグラフでは、$n^{O(\log^4 n)}$の実行時間でアルゴリズムが動作し、GartlandとLokshtanov（2020年）の$ n^{O(\log^5 n)} $の境界を改善した。
• 主なイノベーションは、$P_t$-freeグラフにおいて、誘導$u$-$v$パスの定数割合と重なるような頂点$w$を同定し、これにより効率的な分岐が可能になることである。
• 誘導パスへの近傍の接続性に注目することで、従来の手法を簡素化・一般化し、アルゴリズムの複雑性を低減した。
• フレームワークは、$P_t$-freeおよび$C_{>t}$-freeグラフにおける最大重み誘導マッチングおよび3色彩色問題に対しても、準多項式時間で解けるように拡張された。
• 本手法は、スパarsなグラフクラスにおいて、接続部分グラフの構造的制約を活用することで、より良い準多項式時間の境界を達成できることを示している。