[論文レビュー] Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases

David J. D. Wilson, Russell Bradford+1 more|arXiv (Cornell University)|May 29, 2012

Polynomial and algebraic computation参考文献 11被引用数 14

ひとこと要約

本稿では、等式および不等式の多項式系をグレブナー基底を用いて事前処理することで、円柱代数的分解（CAD）の高速化を提案している。グレブナー還元による等式の簡略化は、CADの複雑さと処理時間を顕著に低減することが示され、等式に基づいて不等式を簡略化することは一貫して効果的であり、性能の低下を伴わずにより高速かつ効率的な分解を実現する。

ABSTRACT

Gröbner Bases and Cylindrical Algebraic Decomposition are generally thought of as two, rather different, methods of looking at systems of equations and, in the case of Cylindrical Algebraic Decomposition, inequalities. However, even for a mixed system of equalities and inequalities, it is possible to apply Gröbner bases to the (conjoined) equalities before invoking CAD. We see that this is, quite often but not always, a beneficial preconditioning of the CAD problem. It is also possible to precondition the (conjoined) inequalities with respect to the equalities, and this can also be useful in many cases.

研究の動機と目的

• グレブナー基底による事前処理が、多項式等式および不等式の系に対する円柱代数的分解（CAD）を高速化できるかどうかを調査すること。
• グレブナー還元がCAD問題の等式および不等式の両成分に与える影響を評価すること。
• グレブナー基底とCADを組み合わせることで、多様な代数的問題において一貫した性能向上が得られるかどうかを特定すること。
• CAD実行前の最適な事前処理戦略を選択するための有効なヒューリスティクスを同定すること。

提案手法

• CAD問題に含まれる多項式等式の集合に対してグレブナー基底計算を適用し、分解の前段階でシステムを簡略化する。
• 等式制約に基づいて変数を削除または次数を低減することで、不等式をグレブナー還元により簡略化する。
• 複数のベンチマークを用いて、TNoI（不一致セルの総数）と実行時間の両方を用いて性能向上を測定する。
• 標準的なCADおよび部分CADによる量化子除去などの他の手法と比較して、ハイブリッド手法（グレブナー + CAD）の性能を評価する。
• すべての手法を制御された条件下でMaple 16とQEPCAD Bを用いて実装およびベンチマークする。
• セル数および時間のメトリクスを通じて、変数の順序付けと分解の複雑さの影響を分析する。

実験結果

リサーチクエスチョン

• RQ1 グレブナー基底を用いてCAD問題の等式を事前処理することで、実行時間およびセル数に顕著な低減が見られるか？
• RQ2 等式のグレブナー基底に基づいて不等式を還元することで、CADの効率がさらに向上するか？
• RQ3 グレブナー事前処理がCADの性能を悪化させる場合があるのか、それとも常に有益なのか？
• RQ4 TNoIメトリクスは、実際のCAD性能とどの程度相関しており、最適な事前処理選択を導く手がかりとして有効か？
• RQ5 グレブナー計算の相対的コストとCADの改善効果のバランスはどのようになっており、いつそのトレードオフが正当化されるか？

主な発見

• 等式のグレブナーベース事前処理は、CADにおける実行時間およびセル数の両方を一貫して低減させ、一部のケースでは最大70％の低減が達成された。
• 等式のグレブナーベースに基づく不等式の還元は、性能を悪化させたことはなく、特に複雑な系では顕著な高速化をもたらした。
• 2つの球体とシリンダーの例では、グレブナーリダクションを適用したことでTNoIが8から4に低下し、実行時間は8654msから270msに減少した。
• [CMMXY09]の循環的4次例では、ハイブリッド手法により実行時間が1000秒を超えていたのを5877msにまで短縮し、顕著な改善が得られた。
• TNoIメトリクスは、[DSS04]で提案された従来のメトリクスよりも、特にフォーミュレーション選択においてCAD性能の予測に優れていた。
• グレブナーベース計算のコストは、CAD実行時間に比べて一般的に低く抑えられており、事前処理が非常に効果的な最適化戦略であることが示された。