| 研究課題/領域番号 |
16H02785
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
Avis David 京都大学, 情報学研究科, 非常勤講師 (90584110)
|
|---|
| 研究分担者 |
ジョーダン チャールズハロルド 北海道大学, 情報科学研究院, 助教 (60647577)
|
|---|
| 研究期間 (年度) |
2016-04-01 – 2021-03-31
|
| キーワード | 幾何計算 / 大規模並列化 / 数理計画法への応用 |
|---|
| 研究実績の概要 |
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.
|
| 現在までの達成度 (段落) |
令和2年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
令和2年度が最終年度であるため、記入しない。
|
| 備考 |
(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.
|
