[論文レビュー] On Triangle Counting Parameterized by Twin-Width

Stefan Kratsch, Florian Nelles+1 more|arXiv (Cornell University)|Feb 14, 2022

Advanced Graph Theory Research被引用数 4

ひとこと要約

本稿では、グラフにおける三角形カウントの効率的なパラメータ化されたアルゴリズムを提示する。実行時間は $\mathcal{O}(d^2n + m)$ であり、$d$ はツイン幅、$n$ と $m$ は頂点数と辺数を表す。この手法は、コンactな $d$-収縮列に対して動的計画法を用い、収縮ステップ全体にわたって三角形を数えるための補助値を維持する。これにより、ツイン幅が有界なグラフにおいて、未パラメータ化された組合せ的アルゴリズムよりも顕著な改善が達成される。

ABSTRACT

In this report we present an algorithm solving Triangle Counting in time $O(d^2n+m)$, where n and m, respectively, denote the number of vertices and edges of a graph G and d denotes its twin-width, a recently introduced graph parameter. We assume that a compact representation of a d-contraction sequence of G is given.

研究の動機と目的

• ツイン幅パラメータとして最近導入されたツイン幅を活用した、グラフにおける三角形カウントの高速なパラメータ化アルゴリズムの設計。
• ツイン幅 $d$ に適応する実行時間を達成し、既存の最良の未パラメータ化された組合せ的アルゴリズムを上回ること。
• 頂点の収縮列を通じて三角形カウントを効率的に追跡する動的計画法の提案。
• ツイン幅が有界なグラフクラス、例えばコグラフ、ユニットインターバル、およびマイナー閉包グラフなどにおいて、三角形カウントが効率的に解けることを示すこと。
• ツイン幅をパラメータとする他の問題へこのアプローチを拡張する基盤を築くこと。

提案手法

• アルゴリズムは、赤次数が常に $d$ 以下を保つように頂点が順次収縮される、$d$-収縮列のコンパクトな表現を基に動作する。
• 各収縮ステップで、現在のトライグラフ内の各頂点に対して、黒および赤の隣接頂点数を追跡する補助値を維持・更新する動的計画法を用いる。
• 各収縮ステップにおいて、赤次数の有界性を活用し、隣接構造および補助データを $\mathcal{O}(d)$ 時間で更新する。
• 三角形カウントは、収縮過程におけるトライグラフ表現におけるエッジの色（黒または赤）に基づく状態遷移を追跡することで蓄積される。
• 各コールで定数時間または線形時間で処理される、関数 TriCountOneNeighbor および TriCountTwoNeighbors を用い、それぞれ現在のトライグラフにおいて1本または2本の黒エッジを含む三角形を数える。
• 全体の実行時間は $\mathcal{O}(d^2n + m)$ で抑えられ、これは $n$ 回の収縮がそれぞれ $\mathcal{O}(d^2)$ 時間を要することに起因する。これは、隣接頂点のチェックと更新に起因する。

実験結果

リサーチクエスチョン

• RQ1 ツイン幅 $d$ をパラメータとする場合、三角形カウントを $\mathcal{O}(d^2n + m)$ 時間で解けるか？
• RQ2 収縮列上で動的計画法を用いることで、$\mathcal{O}(d^2n + m)$ 実行時間を維持しつつ、三角形カウントを効率的に追跡できるか？
• RQ3 本アルゴリズムの性能は、ツイン幅が小さいグラフにおいて、未パラメータ化された組合せ的アルゴリズムと比べてどのように異なるか？
• RQ4 本アプローチは、ツイン幅をパラメータとする他の問題へ一般化可能か？
• RQ5 高速行列乗算を活用することで、$\mathcal{O}(\operatorname{tww}^{\omega-1}n + m)$ 時間のアルゴリズムを達成できるか？

主な発見

• アルゴリズムの実行時間は $\mathcal{O}(d^2n + m)$ であり、$d$ はツイン幅、$n$ と $m$ は頂点数と辺数を表す。
• 本手法は、コンパクトな $d$-収縮列が与えられているものと仮定しており、これはツイン幅に基づくアルゴリズムにおいて一般的な仮定である。
• 各収縮ステップごとに $\mathcal{O}(d)$ 時間で更新される補助値を各頂点に対して維持することで、全体の効率的性能が保証される。
• 収縮列の進行に伴い、トライグラフ表現における状態遷移を追跡することで、三角形カウントが正しく計算され、各三角形が正確に一度だけ数え上げられる。
• 本アルゴリズムは適応的であり、ツイン幅が小さいグラフにおいて、既存の最良の未パラメータ化された組合せ的アルゴリズムを上回る性能を発揮する。
• 本アプローチは、独立集合や最短経路など、ツイン幅をパラメータとする他の問題に対する効率的アルゴリズムの設計への道を開く。