[論文レビュー] Modifying Faugère's F5 Algorithm to ensure termination

Christian Eder, Justin Gash+1 more|arXiv (Cornell University)|Jun 2, 2010

Polynomial and algebraic computation参考文献 13被引用数 4

ひとこと要約

本稿では、FaügèreのF5アルゴリズムの変種であるF5+を提案する。F5+は、内在的なF5基準を用いて『必要』な臨界対と『余分』な臨界対を区別することで、外部のチェックを一切用いずに終了を保証する。F5+は必要臨界対の最高次数を追跡することで、外部のチェックを必要とせず正確な次数境界を計算する。F5とほぼ同等の性能を達成しながらも、終了を保証しており、F5Bなどの先行変種を速度と効率の両面で上回っている。

ABSTRACT

The structure of the F5 algorithm to compute Gröbner bases makes it very efficient. However, while it is believed to terminate for so-called regular sequences, it is not clear whether it terminates for all inputs. This paper has two major parts. In the first part, we describe in detail the difficulties related to a proof of termination. In the second part, we explore three variants that ensure termination. Two of these have appeared previously only in dissertations, and ensure termination by checking for a Gröbner basis using traditional criteria. The third variant, F5+, identifies a degree bound using a distinction between "necessary" and "redundant" critical pairs that follows from the analysis in the first part. Experimental evidence suggests this third approach is the most efficient of the three.

研究の動機と目的

• F5アルゴリズムの終了問題、特に証明のない正則列における終了問題を解決すること。
• 外部基準に依存せず、性能へのペナルティを最小限に抑える終了メカニズムを開発すること。
• 外部の後処理チェックではなく、アルゴリズムの内部論理に基づいて次数境界を特定すること。
• F5Bのような既存の変種を上回るために、F5のネイティブ基準に依存した終了メカニズムを構築すること。
• F5の速度を保ちながら、自己完結的で効率的かつ正しい終了メカニズムを提案すること。

提案手法

• 冗長多項式の構造的解析に基づき、『GB-臨界対』（Gröbner基底に必要なもの）と『F5-臨界対』（F5の正しさに必要なもの）の区別を導入する。
• 実行中にすべてのGB-臨界対の最大次数を追跡し、正確な終了ポイントを特定する。
• F5のネイティブ基準（例：Faugèreの基準、再書き換え基準）のみを用いて冗長な多項式を検出し、外部チェックを回避する。
• F5+を実装し、実行中に動的に次数境界を計算することで、計算オーバーヘッドを最小限に抑える。
• Gröbner基底に必要なすべてのデータが終了前に捕捉されていることを保証するために、正しさを証明する。
• アルゴリズムを設計し、必要臨界対がすべて処理された時点で、そのうち最高次数のものに基づいて終了が発生するようにする。

実験結果

リサーチクエスチョン

• RQ1 F5は、外部のGröbner基底基準に依存せずに、内在的基準のみを用いて終了を保証できるように変更可能か？
• RQ2 Gröbner基底に本質的である臨界対と、F5の内部正しさにのみ必要な臨界対の違いは何か？
• RQ3 F5のネイティブメカニズムのみを用いて、動的かつ正確に次数境界を計算できるか？
• RQ4 提案されたF5+変種は、元のF5アルゴリズムと比較して顕著な性能ペナルティを受けるか？
• RQ5 F5の基準によってすべてのGB-臨界対が拒否された時点で、すなわち次数$d_{FR}$においてF5を終了させることは可能か？

主な発見

• F5+は、必要（GB-臨界）対の最高次数を検出することで、外部チェックを一切用いずに終了を保証し、正しさを確保する。
• F5とほぼ同等の性能を達成しており、Katsura-9やCyclic-7を含むほとんどのベンチマークでF5+の実行時間がF5と一致する。
• 全テスト例において、F5+は$d_{FR}$（F5の基準によってすべてのGB-臨界対が拒否される次数）で予測された次数までまたはそれ以前に終了する。
• F5B（Buchbergerのlcm基準を使用）よりも、特にF-855やEco-11のような高次元系において、速度と終了次数の両面で優れている。
• F5+の性能ペナルティはほとんどない——Katsura-9やKatsura-10では、追加の終了論理を備えながらも、F5と同等の実行時間である。
• F5がすべてのGB-臨界対がF5の基準によって拒否された段階（すなわち$d_{FR}$）で終了可能であるという予想は未解決のままだが、実証的証拠によって支持されている。