权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Study of innovative speeding-up of main-variables elimination of multivariate polynomial systems

多元多项式系统主变量消元创新加速研究

基本信息

批准号：
18K03389
负责人：
佐々木建昭
金额：
$ 1.83万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
起止时间：
2018-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

本研究の目的は，多変数多項式系の変数消去に関し，完璧だが計算が非常に重いグレブナー基底法に代る，実用的な算法を開発し有用性を示すことである。そのため，多変数多項式の再帰表現を用い，筆者が1992年に提案した『主項消去法』(二多項式系の主項同士を最小の乗数多項式で消去する)を採用した。算法は，具体的にはＧＣＤとＴＥＳ(Term Elimination Sequence)の計算の反復である。そして，前年度までに算法はほぼ完成の域に達した。●今年度(2022年度)は，第一に，算法そのものではなく，計算機内部での算法の実装方法を工夫した。ＴＥＳ計算に関しては，多項式の四則演算のみならず(再帰表現での)Ｍ簡約までも必要で，通常どおり実行したのでは随所で無駄な計算をすることになる。そこで，一つの指定された変数に関しては，その変数の指数部を指定された幅に収めて計算する多変数多項式算術を提案し，実装して有用性を確認した。●第二に，グレブナー基底算法では，主変数群が消去された終結式 R(u,v,..) が得られても，それと他の多項式たちとのＳ多項式を計算し続ける。すると，そのうちイデアルの最小元が計算される。同じことを二多項式系に対して主項消去を用いて行ったところ，予想だにしなかった見事な形で余計因子除去ができた。これは素晴らしい成果だと思う。●本研究で提案した変数消去法は種々の定理から成っている。それらの証明のミスを修正したり証明自体を抜本的に簡明化したりしながら，本研究全般に関する総合報告の形でまとめて，計算機代数に関するアメリカの専門誌(ACM Communications in Computer Algebra)に投稿した。昨年度末に論文受理の連絡を受けたが，その原稿自体の幾つかのミスを修正し，最新の成果もかなり書き込んだので，再審査に入っている。

はの purpose, this study - more number of polynomial is の - number of expunction に masato し, plague だが computing が very heavy にいグレブナーに generation る basal method, be open 発 by な algorithm をし usefulness を shown すことである. そのため, more number of variations polynomial のを use い帰 performance, the author がに 1992 proposal した "additional qualifications elimination method" (two polynomial の additional qualifications with minimum "をの乗 several polynomial で elimination する) を using した. The algorithm である, specifically にに GCDとTES(Term Elimination Sequence) <s:1> calculation <s:1> repeated である. Youdaoplaceholder0 そて, the までに algorithm in the previous year was completed at ほぼほぼ, and the <s:1> domain に reached たた. This year (2022), そ, first に, algorithm そ <s:1> <s:1> ででなくなくなく the actual installation method of the で algorithm <e:1> inside the computer を the time has increased by た. TES computing に masato しては, four operations are polynomial ののみならず (again 帰での) M contracted までもで necessary, usually どおり line be したのでは with nothing 駄でな computing をすることになる. そこで, a つの specified された - several に masato しては, その - few の index of を specified された picture に収めて computing する - several polynomial arithmetic proposed をし more, be installed して usefulness を confirm した. The second に, グレブナグレブナ basis algorithm でグレブナ, the main variable group が eliminates された terminal R(u,v,...). Youdaoplaceholder0 gives られてが, それと he <s:1> polynomials たちとたちと S polynomials を to calculate 続ける続ける. Youdaoplaceholder0, そそうちうちデアデアデアデアデア <s:1> minimum element が calculation される. With じことを two polynomial system にし seaborne て additional qualifications elimination を with いて line ったところ, to want to だにしなかったな see things form more than で meter factor remove ができた. Youdaoplaceholder2 れら su qing ら d 'a う results だと thoughts う. This study で proposes that the method of eliminating the number of changes た kinds of 々 the theorem of the sizing ら becomes ってるるる. それらの prove のミスを correction したり prove autologous をに concise of sorting the したりしながら, this study all に masato するの総 close report form でまとめて, Computer Algebra に masato するアメリカの専 door volunteers contribute (ACM Communications in Computer Algebra) にした. Yesterday at the end of the year に paper accepts the の contact を by けたが, そ autologous のの manuscript several つかのミスを modified し, latest の results もかなり book き込んだので, に review into the っている.