[論文レビュー] Computing Twin-Width Parameterized by the Feedback Edge Number

Jakub Balabán, Robert Ganian+1 more|arXiv (Cornell University)|Oct 12, 2023

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿では、フィードバックエッジ数 k でパラメータ化された、近似的に最適な縮約列を計算する初めての固定パラメータアルゴリズムを提示する。2-縮約列に対して線形バイカーネルを達成し、最適な列の構造的洞察と (H,P)-グラフ上の簡約規則を活用することで、時間 2⇈O(k) · nO(1) で tww(G) + 1 以下の幅の縮約列を計算する近似固定パラメータアルゴリズムを実現する。

ABSTRACT

The problem of whether and how one can compute the twin-width of a graph - along with an accompanying contraction sequence - lies at the forefront of the area of algorithmic model theory. While significant effort has been aimed at obtaining a fixed-parameter approximation for the problem when parameterized by twin-width, here we approach the question from a different perspective and consider whether one can obtain (near-)optimal contraction sequences under a larger parameterization, notably the feedback edge number k. As our main contributions, under this parameterization we obtain (1) a linear bikernel for the problem of either computing a 2-contraction sequence or determining that none exists and (2) an approximate fixed-parameter algorithm which computes an 𝓁-contraction sequence (for an arbitrary specified 𝓁) or determines that the twin-width of the input graph is at least 𝓁. These algorithmic results rely on newly obtained insights into the structure of optimal contraction sequences, and as a byproduct of these we also slightly tighten the bound on the twin-width of graphs with small feedback edge number.

研究の動機と目的

• より大きな構造的パラメータでパラメータ化された場合の twin-width の (近似的に) 最適な縮約列を計算するという未解決問題に取り組む。
• 特に、フィードバックエッジ数 k というより強い構造的制約が、twin-width パラメータ化では失敗する固定パラメータ可 tractable アルゴリズムを可能にするかを検討する。
• twin-width をわずかな加法的誤差の範囲で保つ、証明可能に安全で多項式時間の簡約規則を開発する。
• twin-width 自身ではなく、他のパラメータ化に基づく、twin-width 計算に対する最初の非自明な固定パラメータアルゴリズムを提供する。

提案手法

• twin-width をわずかな誤差の範囲で保ちつつ、k の関数として有界なサイズの (H,P)-グラフ表現への変換を導入する。
• 構造的解析を可能にするために、すべての残存路が十分に長いことを保証するためのグリーディーなパス短縮手順を適用し、関数 fH′(ℓ) = (3t + 4t²)ℓ（t = |V(H′)|）を用いる。
• すべてのパスを fH*(2|V(H*)|²) に依存する長さに短縮することで、簡略化された (H*,P*)-グラフ G* を構築し、twin-width が有界であることを保証する。
• Knuth の矢印表記を用いて、G* のサイズを高さ O(k) の指数のタワーで抑え、最適な列の計算に 2⇈O(k) の実行時間が得られることを示す。
• 多項式時間での持ち上げ操作により、G* から元のグラフへの縮約列を復元し、幅を 1 の加法的誤差の範囲で保つ。
• 出力がトライグラフであるという事実と、簡約規則が安全かつ効率的であるという事実に依拠して、2-縮約列問題に対する線形バイカーネルを構築する。

実験結果

リサーチクエスチョン

• RQ1 フィードバックエッジ数 k でパラメータ化した場合に、縮約列を計算する固定パラメータアルゴリズムが得られるか。
• RQ2 k でパラメータ化した場合に、tww(G) + 1 以下の幅の縮約列を固定パラメータ時間で計算することは可能か。
• RQ3 フィードバックエッジ数パラメータ化のもとで、安全な簡約規則を設計するために、最適な縮約列の構造的性質をどのように活用できるか。
• RQ4 このパラメータ化のもとで、近似の加法的誤差 1 を排除することは可能か。

主な発見

• フィードバックエッジ数 k でパラメータ化した場合、twin-width が 2 以下であるかどうかを判定する問題は、線形バイカーネルを備える。実行時間は 2O(k·log k) + nO(1) である。
• tww(G) + 1 以下の幅の縮約列を、時間 2⇈O(k) · nO(1) で計算するアルゴリズムを提示する。指数のタワーの高さは O(k) である。
• 簡略化された (H*,P*)-グラフ G* のサイズは、高さ 4k + 3 の指数のタワーで抑えられ、最上位の指数は O(log k) である。
• 本稿の構造的解析の副産物として、フィードバックエッジ数 k を持つグラフの twin-width がわずかにタイトに抑えられる。
• 使用された簡約規則は、証明可能に安全で、効率的かつ多項式時間で実行可能であり、ヒューリスティック実装においても有用である可能性がある。
• 近似の加法的誤差 1 はおそらく回避可能であるが、著者らは treedepth や treewidth でパラメータ化するのと比べて、この方向性は低優先度であると考えている。