2020 Fiscal Year Annual Research Report
Large scale parallelization for geometric computation and mathematical optimization
Project/Area Number |
16H02785
|
Research Institution | Kyoto University |
Principal Investigator |
Avis David 京都大学, 情報学研究科, 非常勤講師 (90584110)
|
Co-Investigator(Kenkyū-buntansha) |
ジョーダン チャールズハロルド 北海道大学, 情報科学研究院, 助教 (60647577)
|
Project Period (FY) |
2016-04-01 – 2021-03-31
|
Keywords | 幾何計算 / 大規模並列化 / 数理計画法への応用 |
Outline of Annual Research Achievements |
Our research plan involved 5 overlapping projects each involving myself and a subgroup of the team.I am involved in all projects.1(Devroye)We continued our development of a theoretic basis for parallel tree search on random Galton-Watson(GW) trees. During this fiscal year we studied possible applications of GW trees to identify the origin of viruses. Our paper on budgeted GW trees appeared in Algorithmica.I visited Devroye at McGill University from July-September 2021. 2(Jordan) We revised the lrs/mplrs codes to add parallel redundancy removal and parallel Fourier-Motzin elimination. We also separated and released the hybrid exact arithmetic packgage as lrsarith-010. This allows a very simple interface to lrslib's multiprecision arithmetic. 3.(Bremner) We completed our development of the Sparktope compiler and its applications. A paper describing the work recently appeared in Optimization and Software methods. 4(Cook) Cook was unable to visit Kyoto due to Covid-19 restrictions but I was able to meet him in Montreal during my McGill visit. We continued our work on parallel branch and bound for edge verification in very large scale traveling salesman problems. 5(all members)Laboratory for Parallel Geometric Computation (LPGC).We continued the development and expansion of the various software packages that are distributed by our group. Version 7.2 of lrslib was released on March 31, 2022.
|
Research Progress Status |
令和2年度が最終年度であるため、記入しない。
|
Strategy for Future Research Activity |
令和2年度が最終年度であるため、記入しない。
|
Remarks |
(1) Latest version of lrslib library containing parallel redundancy removal and Fourier-Motzin elimination. (2) Stand-alone hybrid arithmetic package using 64bit/128bit/gmp arithmetic.
|