記号代数的最適化:CADをベースとするQE
多項式を用いた不等式制約下での多項式・有理関数の最適化はG.Collinsにより提案されたCAD(Cylindrical Algebraic Decomposition)を利用したQE(Quantifier Elimination)を実行することで,「正確」に解くことができる。この方法や基本原理やその応用を解説する。ここでは,基礎となる計算機代数の理論・アルゴリズムからはじめて,本方法の利点・欠点をあきらかにし,応用に関して今後の可能性を説明する。
記号代数的最適化:CAD をベースとするQE
多項式を用いた不等式制約下での多項式・有理関数の最適化はG.Collins により提案されたCAD(Cylindrical
Algebraic Decomposition) を利用したQE(Quantifier Elimination) を実行することで、「正確」に解くこと
ができる。この方法の基本原理やその応用を解説する。ここでは、基礎となる計算機代数の理論・アルゴリ
ズムからはじめて、本方法の利点・欠点をあきらかにし、応用に関して今後の可能性を説明する。
穴井宏和・横山和弘著;CAD とQE の概要,数学セミナー連載記事(2007/8)を参照。
未定