[論文レビュー] Computing parametric rational generating functions with a primal Barvinok algorithm

Matthias Köppe, Sven Verdoolaege|arXiv (Cornell University)|May 24, 2007

Advanced Combinatorial Mathematics参考文献 11被引用数 4

ひとこと要約

本稿では、包含除算法を避けるために、半開多面体を用いて指標関数における線形恒等式を表現することで、整数点の多面体におけるパラメトリック有理生成関数を計算するプライマルBarvinokアルゴリズムを提示する。主な貢献は、パラメトリック数え上げを直接プライマル空間でする実用的で効率的な手法であり、区分的準多項式数え上げ関数の高速評価を可能にする。

ABSTRACT

Computations with Barvinok's short rational generating functions are traditionally being performed in the dual space, to avoid the combinatorial complexity of inclusion--exclusion formulas for the intersecting proper faces of cones. We prove that, on the level of indicator functions of polyhedra, there is no need for using inclusion--exclusion formulas to account for boundary effects: All linear identities in the space of indicator functions can be purely expressed using half-open variants of the full-dimensional polyhedra in the identity. This gives rise to a practically efficient, parametric Barvinok algorithm in the primal space.

研究の動機と目的

• 多面体における整数点のパラメトリック有理生成関数を効率的に計算するアルゴリズムを開発すること、特に右辺ベクトルでパラメータ化された多面体の族に対して。
• 従来の双対空間Barvinok手法で用いられる包含除算法の計算複雑性を克服するために、面の交差に対して包含除算法を用いずに、指標関数における線形恒等式を半開フル次元多面体のみで表現すること。
• 双対分解の複雑さに依存せずに、プライマル空間で動作することで、ベクトル分割関数などのパラメトリック数え上げ関数の実用的計算を可能にすること。
• 任意のパrameter値に対して効率的に評価可能な、区分的準多項式数え上げ関数を有理生成関数として構成的に表現する手法を提供すること。

提案手法

• 全次元多面体の半開版を用いて、指標関数空間における線形恒等式を表現し、交差する面における包含除算法の必要性を排除する。
• バーヴィノクの符号付き分解を適用して、頂点錐を符号付きの半開単体錐に三角形分割する。
• 各半開錐に対して、その生成子と符号に基づく閉形式の公式を用いて有理生成関数を計算する。
• 全パラメトリック多面体の生成関数は、これらの半開錐上の符号付き和として構成され、指標関数恒等式により正しさが保たれる。
• パラメトリック生成関数は、すべての変数を1に設定することで特殊化され、数え上げ関数の値が得られる。
• アルゴリズムは完全にプライマル空間で動作し、双対空間の三角形分割と包含除算法に起因する組合せ的オーバーヘッドを回避する。

実験結果

リサーチクエスチョン

• RQ1 包含除算法を用いずに、多面体の指標関数空間における線形恒等式を、半開フル次元多面体のみで完全に表現することは可能か？
• RQ2 双対空間の計算を回避し、パラメトリック数え上げ問題において計算的に効率的なプライマルBarvinokアルゴリズムを構築することは可能か？
• RQ3 正しさと区分的準多項式構造を保ちながら、プライマル空間でパラメトリック多面体の有理生成関数を効率的に計算する方法は何か？
• RQ4 半開分解は、多面体における整数点の生成関数表現を簡素化する役割を果たすか？
• RQ5 このプライマルアプローチは、計算オーバーヘッドが低く抑えられ、ベクトル分割関数やその他のパラメトリック数え上げ関数の計算に効果的に適用可能か？

主な発見

• 本稿では、多面体の指標関数空間におけるすべての線形恒等式が、包含除算法を用いずに、半開フル次元多面体のみで表現可能であることを証明する。
• 双対空間の計算を回避するプライマル空間で動作するBarvinokアルゴリズムが構築された。
• 頂点錐を符号付きの半開単体錐に分解することで、パラメトリック有理生成関数の効率的計算が可能になる。
• 得られたアルゴリズムは、生成関数を z = 1 で特殊化することで、区分的準多項式関数として数え上げ関数を計算する。
• このアプローチは実用的に効率的であり、双対空間Barvinokアルゴリズムにおける包含除算法に起因する計算ボトルネックを回避する。
• 固定次元におけるパラメトリック整数点数え上げのための構成的かつアルゴリズム的に実装可能なフレームワークを提供する。