[論文レビュー] A canonical form for some piecewise defined functions

Jacques Carette|ArXiv.org|Feb 1, 2007

Mathematical functions and polynomials参考文献 8被引用数 4

ひとこと要約

本稿では、線形順序ドメイン（例：ℝ）上の区分的関数に対して、決定変数（条件評価用）と値式（算術計算用）を分離することで、区間分割に基づく標準形を導入する。区分的関数を範囲の分割に基づいて構造化し、効率的な正規化アルゴリズムを用いることで、折りたたみの数に対して線形時間計算量を達成し、従来の指数時間的手法と比べて顕著に改善される。このアプローチにより、Maple などのコンピュータ代数システムにおける実用的利用が可能になる。

ABSTRACT

We define a canonical form for piecewise defined functions. We show that this has a wider range of application as well as better complexity properties than previous work.

研究の動機と目的

• 線形順序ドメイン（例：ℝ）上での区分的関数に対して、効率的な計算と正規化を可能にする標準形を形式化すること。
• von Mohrenschildt の指数時間アルゴリズムの限界を克服し、折りたたみの数に対して線形時間にまで計算量を低減すること。
• 決定論理（条件評価）と算術式（値計算）を分離することで、モジュラーかつ効率的なアルゴリズム設計を可能にすること。
• 部分関数や未定義値を扱えるようにし、形式的計算における全関数の範囲を超えて適用性を拡張すること。
• 将来の拡張に向けて、半代数的集合や暗黙的特徴関数を含むより複雑なドメインを扱う基盤を提供すること。

提案手法

• 区分的関数を、折りたたみによってドメインを区間へ分割する範囲の分割から、式の集合への写像として定義する。
• 各パーツを、折りたたみによって定義される条件と値式のペアとして表現し、構造的正規化を可能にする。
• 重複するか隣接する条件を統合することで、ネストされた区分的構造を1つの標準形に平坦化するためのアンネスティングアルゴリズムを用いる。
• 値式に対して、等価性の決定手続き（$=_{V}$）と範囲ドメイン上の正規化関数を用いて正規化手順を適用する。
• ドメインの線形構造を活用し、加算や乗算などの演算を折りたたみの数に比例する線形時間で行う。
• 折りたたみと式を線形時間で処理する標準形アルゴリズム（アルゴリズム28）を導入し、計算量を $O(dM(n))$ とする。ここで $d$ は折りたたみの数、$M(n)$ は値式の正規化コストを表す。

実験結果

リサーチクエスチョン

• RQ1 効率的な正規化と単純化を可能にする区分的関数の標準形をどのように定義できるか？
• RQ2 区分的関数の正規化における計算量は何か？ そして、折りたたみの数に対して指数的から線形にまで低減できるか？
• RQ3 決定変数（条件用）と値式（算術計算用）の分離は、より単純かつ効率的なアルゴリズムをもたらすか？
• RQ4 この標準形は、部分関数、未定義値、および拡張ドメイン（例：ℝ̄）までどの程度まで対応できるか？
• RQ5 このアプローチは、半代数的集合や floor や trunc のような暗黙的特徴関数を含むより複雑なドメインへ一般化可能か？

主な発見

• 提案された標準形は、$d$ を折りたたみの数、$M(n)$ を値式の正規化コストとする $O(dM(n))$ の計算量を達成し、von Mohrenschildt の $O(2^d M(n))$ 手法と比べて顕著な改善を示す。
• この手法により、Maple 7 以降のバージョンで実装されているコンピュータ代数システムにおいて、区分的関数の効率的な単純化と正規化が可能になる。
• 決定論理と値計算を分離することで、アルゴリズムの簡素化が可能となり、不等式の半決定手続き（$\neq_V$）を用いて部分関数や未定義値を扱える。
• 標準形は有限ドメイン、線形順序ドメインの有限和集合に対しても適用可能であり、半代数的集合のようなアルゴリズム的結合性を持つドメインへも拡張可能である（例：ℝⁿ 内の半代数的集合）。
• 本研究は、従来の研究よりも広い関数クラスをカバーでき、非多項式関数を含む関数にも適用可能であり、将来、floor や trunc のような暗黙的特徴関数へも拡張可能である。
• 本アプローチは、独立して検証され、最適化分野への応用もなされているが、本稿が線形順序空間上の区分的関数の理論的基盤を初めて形式的に提示している。