| Project/Area Number |
18K03426
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 12040:Applied mathematics and statistics-related
|
|---|
| Research Institution | Tokyo University of Science |
|---|
Principal Investigator |
Sato Yosuke 東京理科大学, 理学部第一部応用数学科, 教授 (50257820)
|
|---|
| Project Period (FY) |
2018-04-01 – 2023-03-31
|
| Project Status |
Completed (Fiscal Year 2022)
|
| Budget Amount *help |
¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2020: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2019: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2018: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
|---|
| Keywords | CGS / 根の連続性 / パラメーター / Border基底 / 飽和イデアル / 限量子記号消去 / グレブナー基底 |
|---|
| Outline of Final Research Achievements |
I proved an important property concerning continuity of the roots of a parametric system of algebraic equations. By this result, we can make a partition of the parameter space necessary for the computation of the saturation by parametric polynomial ideals. It enables us have a simple representation of the saturation by parametric polynomial ideals. I further proved that we can have a simpler representation if we use a parametric border bases instead of comprehensive Groebner system. I also showed that we can have a simpler representation of a comprehensive Groebner system if we use the computation of the saturation ideal by disequalities. Based on those results, I developed efficient algorithms of quantifier elimination for both complex and real algebraic constraints.
|
| Academic Significance and Societal Importance of the Research Achievements |
国立情報学研究所の東ロボ君プロジェクトで扱うような大学入試の問題をそれと等価な限量子記号消去の問題として代数制約式に表現したとき、既存の数式処理システムの限量子記号消去プログラムを用いても大抵の場合処理が可能である。しかしながら、国際数学オリンピックで出題されるような、より難易度の高い問題は等式制約を多く含む複雑な代数制約式として表現され、 Mathematica や Maple 等の数式処理システムにおける既存の限量子記号消去プログラムでは処理できないものが多い。等式制約を多く含む代数制約式に対して有効な新しい限量子記号消去アルゴリズムを開発したことで処理できる問題の範囲が格段に広がった。
|
