2019 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 involves 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 the value of two person games played on these trees, and the number of nodes that need to be searched in order to find the value. Our paper on budgeted GW trees appeared in Algorithmica. Devroye visited me in Japan for joint research from Dec 12-20. 2(Jordan) We revised the lrs/mplrs codes to greatly improve performance and will release the new version shortly. Our mts paper appeared in Optimization Methods and Software. 3.(Bremner, Tiwary) We continued our development of the Sparktope compiler and its applications. A paper has been prepared and submitted for journal publication.A new version of Sparktope was released. 4(Cook) Cook visited from May 16-25, and Dec 12-20 to discuss 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.1 of lrslib is now in final testing and will be released shortly. In collaboration with Ken-ichi Kawarabayashi we held an international Workshop on Graphs and Geometric Algorithms(WOGGA) in Tokyo, Dec 15-18.
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
Version 7.1 of lrslib exceeds the specifications we gave in our initial proposal.
It now contains a parallel version of redund, a program for removing redundant inequalities from a linear system. The Sparktope application to matching and makespan and related paper are about one year ahead of schedule.
|
| Strategy for Future Research Activity |
We will continue all 5 projects along the lines outlined in the grant application. Specific goals for the upcoming fiscal year are as follows: 1(Devroye)We will continue are study of Galton-Watson trees and apply them to model the spread of viruses. 2(Jordan) We will continue to develop mts to parallelize applications in reverse search, branch and bound and QBF formulae. 3.(Tiwary) We will try to find new compact extended formulations for problems in P with high extension complexity comparing them to polytopes generated by the Sparktope compiler. 4(Cook,Tiwary) We will also study new methods of estimation for parallel tree search. Cook will in autumn 2019 if possible. 5(all members)Laboratory for Parallel Geometric Computation (LPGC). We will continue the development of the lrslib, mts and sparktope software projects.
|
| Remarks |
All software distributed freely with GNU Public License
|
