[論文レビュー] Beyond Baker's Technique.

Yi‐Kai Wang|arXiv (Cornell University)|Dec 1, 2014

Complexity and Algorithms in Graphs参考文献 85被引用数 1

ひとこと要約

本論文は、機械学習、ビジョン、統計物理学の最適化問題をグラフに付随する関数を用いて統一的にモデル化するフレームワークを導入し、平面的・H-マイナー自由・有界密度の幾何的グラフを含む多様なグラフクラスにおけるMAX 2-CSPの多項式時間近似スキーム（PTAS）を可能にする。この手法により、d次元格子上の強磁性エドワーズ＝アンドリュースモデルの基底状態に対する初のPTASが得られる。

ABSTRACT

The theoretical models providing mathematical abstractions for several significant optimization problems in machine learning, combinatorial optimization, computer vision and statistical physics have intrinsic similarities. We propose a unified framework to model these computation tasks where the structures of these optimization problems are encoded by functions attached on the vertices and edges of a graph. We show that computing MAX 2-CSP admits polynomial-time approximation scheme (PTAS) on planar graphs, graphs with bounded local treewidth, $H$-minor-free graphs, geometric graphs with bounded density and graphs embeddable with bounded number of crossings per edge. This implies computing MAX-CUT, MAX-DICUT and MAX $k$-CUT admits PTASs on all these classes of graphs. Our method also gives the first PTAS for computing the ground state of ferromagnetic Edwards-Anderson model without external magnetic field on $d$-dimensional lattice graphs. These results are widely applicable in vision, graphics and machine learning.

研究の動機と目的

• 機械学習、組合せ最適化、統計物理学の分野における最適化問題の数学的モデル化を統一すること。
• スパースかつ構造的グラフクラスにおけるMAX 2-CSPの近似のための一般化手法を開発すること。
• 近似スキームの適用範囲を伝統的なグラフクラスにとどまらず、有界局所木幅および有界交差数を持つグラフにまで拡張すること。
• d次元格子上の強磁性エドワーズ＝アンドリュースモデルの基底状態に対する初の多項式時間近似スキーム（PTAS）を提供すること。

提案手法

• 最適化タスクをグラフの頂点および辺に割り当てられた関数を用いてモデル化し、分野を越えた構造的制約を捉える。
• 有界局所木幅や有界エッジ交差数といった構造的性質を活用し、動的計画法に基づく近似を可能にする。
• スパースかつマイナー閉じたグラフ族に一般化されたベイカーの技法を適用し、平面グラフにとどまらない範囲にその適用を拡張する。
• 再帰的分解およびレイヤリング技術を用いて、有界密度および有界交差数を持つグラフを処理する。
• 幾何的および位相的制約を近似フレームワークに統合し、多項式時間実行を維持する。
• 提案されたフレームワーク下でMAX-CUTおよびMAX-k-CUT問題をMAX 2-CSPに還元し、これらの問題に対してもPTASを可能にする。

実験結果

リサーチクエスチョン

• RQ1 機械学習、ビジョン、統計物理学の多様な最適化問題をグラフに付随する関数を用いて統一的にモデル化できるフレームワークを開発できるか？
• RQ2 提案手法により、H-マイナー自由および有界密度の幾何的グラフにおけるMAX 2-CSPのPTASが可能になるか？
• RQ3 このフレームワークは平面グラフにとどまらず、有界局所木幅および有界エッジ交差数を持つグラフにまで拡張可能か？
• RQ4 d次元格子上の強磁性エドワーズ＝アンドリュースモデルの基底状態に対してPTASを達成することは可能か？
• RQ5 有界局所木幅や有界交差数といったグラフの構造的性質は、効率的な近似アルゴリズムの設計にどのように影響を与えるか？

主な発見

• 平面グラフにおいてMAX 2-CSPのPTASが達成され、有界局所木幅およびH-マイナー自由グラフへと拡張可能である。
• 本フレームワークは、有界密度の幾何的グラフおよび1辺あたりのエッジ交差数が有界なグラフにおいてもMAX 2-CSPのPTASをサポートする。
• 本手法により、d次元格子グラフ上の強磁性エドワーズ＝アンドリュースモデルの基底状態を計算する初のPTASが得られる。
• MAX-CUT、MAX-DICUT、MAX-k-CUTは、本フレームワーク下でMAX 2-CSPが近似可能となるすべてのグラフクラスにおいてPTASを有する。
• 本アプローチにより、ベイカーの技法が平面グラフにとどまらず、より広範なスパースかつ構造的グラフ族へと一般化され、近似が可能になる。