[論文レビュー] Submodularity on a tree: Unifying $L^ atural$-convex and bisubmodular functions

Vladimir Kolmogorov|arXiv (Cornell University)|Jul 7, 2010

Complexity and Algorithms in Graphs参考文献 31被引用数 4

ひとこと要約

本稿では、根付き2分木のノードを領域とする変数に対して、木構造から導かれる特定の演算 $\nabla$ と $\nabla$ を用いて定義される、強木準単調関数と呼ばれる新しい関数クラスを導入する。著者らは、$L^{\natural}$-凸関数に対する室田の急降下法と双準単調最小化技術を組み合わせた多項式時間アルゴリズムを提示し、このクラスにおける最小化が tractable であることを証明している。このクラスは、$L^{\natural}$-凸関数と双準単調関数を統合・一般化するものである。

ABSTRACT

We introduce a new class of functions that can be minimized in polynomial time in the value oracle model. These are functions $f$ satisfying $f(x)+f(y)\ge f(x \sqcap y)+f(x \sqcup y)$ where the domain of each variable $x_i$ corresponds to nodes of a rooted binary tree, and operations $\sqcap,\sqcup$ are defined with respect to this tree. Special cases include previously studied $L^ atural$-convex and bisubmodular functions, which can be obtained with particular choices of trees. We present a polynomial-time algorithm for minimizing functions in the new class. It combines Murota's steepest descent algorithm for $L^ atural$-convex functions with bisubmodular minimization algorithms.

研究の動機と目的

• 根付き2分木の構造を用いた変数のドメインに基づき、$L^{\natural}$-凸関数と双準単調関数を統一する共通の枠組みを構築すること。
• 根付き2分木のラベルを変数のドメインとする新しい関数クラス「強木準単調関数」を、演算 $\nabla$ と $\nabla$ を用いて定義すること。
• 値オラクルモデルにおいて、このような関数を最小化する多項式時間アルゴリズムを提示すること。
• 格子や鎖の範囲を超えた操作のスコープを拡張することで、既存の離散関数の tractable なクラスを一般化すること。

提案手法

• 各変数のドメインに対して根付き2分木を定義し、ノードをラベルとして持ち、先祖関係に基づく半順序を導入する。
• 2つのノード間の経路を用いて成分ごとの演算 $\nabla$ と $\nabla$ を定義する：$\nabla$ と $\nabla$ は、$a$ と $b$ の間の経路上の2つの中央ノード（またはその床・上限）であり、$\nabla$ は先祖側に位置する。
• 強木準単調性の条件を定式化する：すべての $\mathbf{x}, \mathbf{y}$ に対して $f(\mathbf{x}) + f(\mathbf{y}) \geq f(\mathbf{x} \nabla \mathbf{y}) + f(\mathbf{x} \nabla \mathbf{y})$ が成り立つこと。
• Murotaの $L^\natural$-凸関数向け急降下法を適応し、双準単調最小化技術と統合する。
• 得られたアルゴリズムが、$n$ および $\max_i |D_i|$ に関して多項式時間で強木準単調関数を最小化できることを証明する。
• meet ($\wedge$) と join ($\vee$) 演算を用いて弱木準単調関数に拡張し、特に図1(d) のような特定の木構造においても tractable であることを示す。

実験結果

リサーチクエスチョン

• RQ1 根付き2分木の構造と演算を用いて、$L^\natural$-凸関数と双準単調関数を統一する枠組みを構築できるか？
• RQ2 根付き2分木上での強木準単調性条件を満たす関数の最小化に、多項式時間アルゴリズムが存在するか？
• RQ3 木が非2分木（つまり、3つ以上の子を持つノードを含む）である場合、強木準単調関数の最小化の計算複雑度はいかなるものか？
• RQ4 鎖やダイヤモンド型の木（図1(c)）とは異なる追加の木構造において、弱木準単調関数を効率的に最小化できるか？
• RQ5 格子、木、およびそれらの組み合わせから導かれる演算に対して、最小化の tractability はどのように特徴づけられるか？

主な発見

• 強木準単調関数のクラスは、$L^\natural$-凸関数と双準単調関数を一般化しており、前者は鎖構造の木から、後者は特定の3ノード木から得られる。
• 強木準単調関数の最小化に向けた多項式時間アルゴリズムを提示し、Murotaの急降下法と双準単調最小化技術を統合した。
• アルゴリズムは $n$ および $\max_i |D_i|$ に関して多項式時間で実行され、新規クラスの tractability を確立している。
• 本稿では、強木準単調性が弱木準単調性を含意することを証明しており、用語の妥当性を裏付けている。
• 弱木準単調関数の場合は、各ノードが根と2つの葉（深さ $K$）を持つ新しい木構造（図1(d)）において、符号付き環族へのリフトを用いて tractability を示している。
• この枠組みは、他の木構造や格子に基づく演算に対しても tractable な最小化が拡張可能である可能性を示唆しているが、完全な特徴づけは未解決のままである。