[論文レビュー] On the Computation of Hilbert Bases and Extreme Rays of Cones

Raymond Hemmecke|ArXiv.org|Mar 12, 2002

Commutative Algebra and Its Applications参考文献 7被引用数 5

ひとこと要約

本稿では、任意の整数格子 $\Lambda \subseteq \mathbb{Z}^n$ に対して、モノイド $\Lambda \cap \mathbb{R}^n_+$ の最小生成集合（ヒルベルト基底）を計算するための新規なプロジェクト・アンド・リフトアルゴリズムを提示する。さらに、この手法を有理数錐の極端な方向（extreme rays）の計算へと拡張している。本手法は次第に次元を低く投影しながら解を構築し、元に戻すことで、不要な変数を避けて早期のプルーニングを可能にし、従来の手法よりもはるかに小さなスーパーセットを生成する。主な貢献は、変数を一切使用せず、ヒルベルト基底や極端な方向の計算という問題において、計算効率とスケーラビリティに優れた効率的で、変数フリーのアルゴリズムを提供することにある。

ABSTRACT

In this paper we present a novel project-and-lift approach to compute the set of minimal generators of the semigroup $(Λ\cap\R^n_+,+)$ for lattices $Λ\subseteq\Z^n$. This problem class includes the computation of Hilbert bases of cones $\{z:Az=0,z\in\R^n_+\}$ for integer matrices $A$. A similar approach can be used to compute only the extreme rays of such cones. Finally, some combinatorial applications and computational experience are presented.

研究の動機と目的

• 任意の格子 $\Lambda \subseteq \mathbb{Z}^n$ に対して、モノイド $\Lambda \cap \mathbb{R}^n_+$ の最小生成集合（ヒルベルト基底）を効率的に計算するアルゴリズムの開発。
• 行列 $A$ を用いて定義される鋭い有理錐 $\{z : Az = 0, z \in \mathbb{R}^n_+\}$ の極端な方向を計算する手法の提供。
• 補助変数を避けることで計算効率を向上させるとともに、計算中に冗長なベクトルを早期に除外する手法の導入。
• トレuncatedグラーバー基底を介して整数プログラミングや、マジックアレイや t-デザインの数え上げといった組合せ問題への応用。

提案手法

• アルゴリズムはプロジェクト・アンド・リフト戦略を用い、最初の $j$ 個の座標への射影に対する最小生成集合 $H^+_j$ を再帰的に計算する。
• 各ステップ $j$ において、$H^+_j$ と格子生成子から得られる適切に選択された入力集合 $F$ を用いて、完成手続き（completion procedure）により $H^+_{j+1}$ を計算する。
• $j < s$ の場合、射影が単射でないことを考慮し、次の格子生成子とその負のベクトルの射影を入力集合 $F$ に含める。
• 完成手続きにおける $S$-ベクトルの選択戦略を導入し、収束速度を顕著に向上させた。
• 追加の変数を導入せず、計算の初期段階で非最小または非妥当なベクトルをプルーニング可能である。
• 本アルゴリズムはC言語で実装され、MLPソフトウェアとして公開されており、完全なヒルベルト基底とトレuncatedヒルベルト基底の両方の計算をサポートしている。

実験結果

リサーチクエスチョン

• RQ1 補助変数を導入せずに、既存の手法よりも効率的に $\Lambda \cap \mathbb{R}^n_+$ のヒルベルト基底を計算できるプロジェクト・アンド・リフトアルゴリズムは存在するか？
• RQ2 同様のリフト戦略を用いて、有理錐 $\{z : Az = 0, z \in \mathbb{R}^n_+\}$ の極端な方向をどのように計算できるか？
• RQ3 完成手続きにおける最小生成集合の計算に、賢明な $S$-ベクトル選択戦略が与える影響は何か？
• RQ4 冗長または非妥当なベクトルの早期プルーニングによって、ヒルベルト基底計算における中間的スーパーセットのサイズはどの程度小さくなるか？
• RQ5 このアルゴリズムは、マジックアレイの数え上げや t-デザインといった組合せ問題に効果的に応用可能か？

主な発見

• プロジェクト・アンド・リフトアルゴリズムは、補助変数を一切導入せず、$\Lambda \subseteq \mathbb{Z}^n$ に対する $\Lambda \cap \mathbb{R}^n_+$ のヒルベルト基底を計算可能であり、計算のオーバーヘッドを低減する。
• 本アルゴリズムは6×6のマジック・スクエアのヒルベルト基底を正常に計算し、最小生成元が522,347個に達する結果を得た。この計算は1GHzのPC（4GB RAM）で約10日間を要した。
• 完成手続きにおける選択的 $S$-ベクトル戦略の導入により、収束時間に顕著な高速化が達成された。
• 本手法は、整数プログラミングや組合せ的列挙に有用なトレuncatedヒルベルト基底の効率的計算を可能にする。
• 実装されたソフトウェアMLPは公開されており、マジックアレイの数え上げや関連問題の非自明なインスタンスの解決に使用されている。
• 本アルゴリズムは、元の錐の面法線に対応する双対錐の極端な方向を効率的に計算する手段を提供する。