[論文レビュー] Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming

Marcin Briański, Martin Koutecký+3 more|arXiv (Cornell University)|Jan 1, 2022

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿では、有界なグラーバー基底と深さパラメータを持つ行列の構造的特徴付けを導入し、グラーバー基底のℓ1ノルムが、回路の最大ℓ1ノルムの関数によって有界であることを示している。また、行列を、小さなプライマルまたはデュアルツリー・ディープネスとエントリ複雑度を有する行同値なスパース行列に変換するパrameterizedアルゴリズムを提示しており、これにより、回路のℓ1ノルムやグラーバー基底のℓ1ノルムといった新しいパラメータ化に基づく、固定パラメータ可 tractable な整数計画法が可能になる。

ABSTRACT

An intensive line of research on fixed parameter tractability of integer programming is focused on exploiting the relation between the sparsity of a constraint matrix $A$ and the norm of the elements of its Graver basis. In particular, integer programming is fixed parameter tractable when parameterized by the primal tree-depth and the entry complexity of $A$, and when parameterized by the dual tree-depth and the entry complexity of $A$; both these parameterization imply that $A$ is sparse, in particular, the number of its non-zero entries is linear in the number of columns or rows, respectively. We study preconditioners transforming a given matrix to a row-equivalent sparse matrix if it exists and provide structural results characterizing the existence of a sparse row-equivalent matrix in terms of the structural properties of the associated column matroid. In particular, our results imply that the $\ell_1$-norm of the Graver basis is bounded by a function of the maximum $\ell_1$-norm of a circuit of $A$. We use our results to design a parameterized algorithm that constructs a matrix row-equivalent to an input matrix $A$ that has small primal/dual tree-depth and entry complexity if such a row-equivalent matrix exists. Our results yield parameterized algorithms for integer programming when parameterized by the $\ell_1$-norm of the Graver basis of the constraint matrix, when parameterized by the $\ell_1$-norm of the circuits of the constraint matrix, when parameterized by the smallest primal tree-depth and entry complexity of a matrix row-equivalent to the constraint matrix, and when parameterized by the smallest dual tree-depth and entry complexity of a matrix row-equivalent to the constraint matrix.

研究の動機と目的

• 行列が、有界なプライマルまたはデュアルツリー・ディープネスとエントリ複雑度を有する行同値なスパース行列をもつ条件を特徴付けること。
• 行列のグラーバー基底のℓ1ノルムとその回路のℓ1ノルムとの関係を確立すること。
• 最小のツリー・ディープネスとエントリ複雑度を有する行同値行列を構成するパrameterizedアルゴリズムを開発すること。
• 従来のパラメータを超えて、回路のℓ1ノルムやグラーバー基底のℓ1ノルムに基づくパラメータ化による整数計画法の固定パラメータ可 tractability を拡張すること。
• 特に列マトロイドを用いたマトロイド理論的洞察を提供し、スパース性を保つ前処理（preconditioning）を決定すること。

提案手法

• 列マトロイドの性質を用いて、行同値なスパース行列の存在をマトロイド理論的に特徴付ける。
• グラーバー基底のℓ1ノルムが、行列内に存在する回路の最大ℓ1ノルムの関数によって有界であることを確立する。
• Hliněnýの収縮ツリーおよび主収縮∗ツリーに関する結果を応用し、回路長に基づいてツリー・ディープネスを有界化する。
• 与えられた行列Aに対して、小さなプライマルまたはデュアルツリー・ディープネスと有界なエントリ複雑度を有する行同値行列を計算するパrameterizedアルゴリズムを開発する。
• 基本的な行変形が整数計画法の妥当性と解構造を保つことを利用している。
• グラフ的マトロイドおよび列マトロイドにおけるツリー・ディープネスと収縮ディープネスの概念を用いて、構造的複雑度の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 行列が、有界なプライマルまたはデュアルツリー・ディープネスとエントリ複雑度を有する行同値なスパース行列をもつための構造的条件は何か？
• RQ2 行列のグラーバー基底のℓ1ノルムは、その回路のℓ1ノルムとどのように関係しているか？
• RQ3 列マトロイドのマトロイド理論的性質を用いて、スパースな行同値行列の存在を特徴付けられるか？
• RQ4 マトロイドの収縮ディープネスの、その最長回路長に関する最もタイトな上界は何か？
• RQ5 回路のℓ1ノルムやグラーバー基底のℓ1ノルムに基づくパラメータ化によって、固定パラメータ可 tractable な整数計画法が達成可能か？

主な発見

• グラーバー基底のℓ1ノルムは、行列内に存在するいかなる回路の最大ℓ1ノルムの関数によって有界である。
• 行列が、有界なプライマルまたはデュアルツリー・ディープネスとエントリ複雑度を有する行同値行列をもつための必要十分条件は、その列マトロイドが回路ノルムに関連する特定の構造的条件を満たすことである。
• マトロイドの主収縮∗ツリーの最小深さは、その最長回路長の2乗以内であり、この上限は定数倍の意味でタイトである。
• 構築されたグラフ系列のグラフ的マトロイドの収縮ディープネスはΩ(n²)の成長を示し、2乗の上界と一致するため、上限の最適性が証明される。
• 最小のツリー・ディープネスと有界なエントリ複雑度を有する行同値行列を計算するパrameterizedアルゴリズムが存在し、これにより新しいパラメータに基づく固定パラメータ可 tractable な整数計画法が可能になる。
• 整数計画法は、グラーバー基底のℓ1ノルム、回路のℓ1ノルム、または行同値行列の中での最小プライマル／デュアルツリー・ディープネスとエントリ複雑度をパラメータとして用いることで、固定パラメータ可 tractable になる。