[論文レビュー] Discrete Decreasing Minimization, Part I: Base-polyhedra with Applications in Network Optimization

András Frank, Kazuo Murota|arXiv (Cornell University)|Aug 23, 2018

Complexity and Algorithms in Graphs参考文献 46被引用数 8

ひとこと要約

本稿は、M-凸集合上の離散的減少最小化のための統一的枠組みを導入し、基底多面体の減少的に最小（dec-min）な要素を特徴づけ、それらがマトロイド基底多面体の平行移動によって得られる特別なM-凸集合を形成することを証明する。強多項式時間アルゴリズムを構築し、部分型関数の最小化を用い、二乗和最小化のmin-max公式を導出する。応用としてネットワークフロー、グラフ向き付け、リソース配分問題が含まれる。

ABSTRACT

Borradaile et al. (2017) investigated orientations of an undirected graph in which the sequence of in-degrees of the nodes is lexicographically minimal, which we call decreasingly minimal (=dec-min). They proved that an orientation is dec-min if and only if there is no dipath from $s$ to $t$ with in-degrees $\varrho (t) \geq \varrho (s)+2$. They conjectured that an analogous statement holds for strongly connected dec-min orientations, as well. We prove not only this conjecture but its extension to $k$-edge-connected orientations, as well. We also provide a solution to a discrete version of Megiddo's lexicographically optimal (fractional) network flow problem (1974, 1977). Our main goal is to integrate these cases into a single framework. Namely, we characterize dec-min elements of an M-convex set (which is nothing but the set of integral points of an integral base-polyhedron), and prove that the set of dec-min elements is a special M-convex set arising from a matroid base-polyhedron by translation. The topic of our investigations may be interpreted as a discrete counter-part of the work by Fujishige (1980) on the (unique) lexicographically optimal base of a base-polyhedron. We also exhibit a canonical chain (and partition) associated with a base-polyhedron. We also show that dec-min elements of an M-convex set are exactly those which minimize the square-sum of components, and describe a new min-max formula for the minimum square-sum. Our approach gives rise to a strongly polynomial algorithm for computing a dec-min element, as well as the canonical chain. The algorithm relies on a submodular function minimizer oracle in the general case, which can, however, be replaced by more efficient classic flow- and matroid algorithms in the relevant special cases.

研究の動機と目的

• M-凸集合の減少的に最小（dec-min）な要素を特徴づけ、それらが基底多面体の整数点であることを明らかにすること。
• dec-min要素の集合が、マトロイド基底多面体の平行移動によって得られる特別なM-凸集合を形成することを確立すること。
• 部分型関数最小化オракルを用いて、dec-min要素を計算する強多項式時間アルゴリズムを提供すること。
• 結果を容量付き、k-辺連結、および入次数制約付きグラフ向き付け、さらにハイパーグラフ向き付けへと拡張すること。
• メギドの辞書的ネットワークフロー問題の離散版を解き、レヴィン・オンのシフトされたマトロイド最適化を一般化すること。

提案手法

• 基底多面体の構造から導かれる標準的チェーンおよび分割を用いて、M-凸集合のdec-min要素を特徴づける。
• dec-min要素が成分の二乗和を最小化することを証明し、最小二乗和に対するmin-max公式を導出する。
• ニュートン＝ディンケルバック法を用いて部分型関数値の比を最大化し、本質的な値列の効率的計算を可能にする。
• 向き付け補題を適用し、クロッシング超モジュラー関数をカバーする向き付けの入次数ベクトルがM-凸集合を形成することを示す。
• 部分型関数最小化オラクルを活用し、特殊な場合にはより高速なフローおよびマトロイドベースのアルゴリズムに置き換え可能である。
• k-辺連結および(k,ℓ)-辺連結向き付け、入次数制約付きおよびハイパーグラフ向き付けへと結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 M-凸集合における減少的に最小要素の集合はどのように特徴づけられ、どのように体系的に同定できるか？
• RQ2 基底多面体に関連する標準的チェーンおよび分割はどのように計算され、その構造的意味は何か？
• RQ3 dec-min要素と整数ベクトルの成分の二乗和の最小化との関係は何か？
• RQ4 この枠組みはk-辺連結および入次数制約付きグラフ向き付けへと拡張可能か？必要な十分条件は何か？
• RQ5 離散的減少最小化枠組みは連続的辞書的最適化およびネットワークフローとマトロイド理論における既知の結果とどのように関係するか？

主な発見

• M-凸集合のdec-min要素の集合自体がM-凸集合であり、具体的にはマトロイド基底多面体の平行移動である。
• dec-min要素は成分の二乗和を最小化し、最小二乗和に対するmin-max公式が導出された。
• dec-min要素を計算する強多項式時間アルゴリズムが開発され、部分型関数最小化オラクルに依存する。
• k-辺連結および入次数制約付き向き付けに対して、dec-min向き付けが存在するための必要十分条件は、任意のノードのペアs, tについて、ϱ(t) ≥ ϱ(s)+2、ϱ(t) > f(t)、ϱ(s) < g(s)、およびk+1本の弧に分けられたst-有向パスが存在しないことである。
• ハイパーグラフのk-辺連結および入次数制約付き向き付けの入次数ベクトルはM-凸集合を形成し、この設定においてdec-min最適化が可能である。
• 本枠組みは、半マッチング、ネットワークフロー、マトロイド最適化に関する先行研究を一般化・拡張し、メギドの辞書的フロー問題の離散版を含む。