2015 Fiscal Year Annual Research Report
幾何計算アプローチによる計算困難な最適化問題の求解：理論的基盤と実装
| Project/Area Number |
24300002
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
Avis David 京都大学, 情報学研究科, 教授 (90584110)
|
|---|
| Project Period (FY) |
2012-04-01 – 2016-03-31
|
| Keywords | 幾何計算 / 大規模並列化 / 数理計画法への応用 |
|---|
| Outline of Annual Research Achievements |
International collaboration: William Cook (Waterloo) May 12-27. We worked on various alternate formulations for the traveling salesman polytope using the compiler developed with David Bremner. Danny Solow(Case Western Institute) May 31-June 15. We discussed improved expositions of basic algorithms in combinatorial optimization. Natasha Devroye(U. Illinois at Chicago) Sep 28-Oct 31. We discussed various aspects of network information theory. All three visitors gave invited seminars.
Four journal papers were published during the last year and two new papers were written with Charles Jordan (Hokkaido U.) and uploaded to the arXiv. The first paper presented numerical results for the mplrs parallel vertex enumeration software code written with Jordan. This code was released in July 2015. The second paper was a technical discussion of the new techniques of parallel tree search that are contained in mplrs.This paper has been submitted to an international journal for publication. We made further improvements to mplrs during the year resulting in a new release in November 2015. Additional code was written for finding Nash equilibrium. This code was developed with Terje Lensberg (NHH,Norway).
|
| Research Progress Status |
27年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
27年度が最終年度であるため、記入しない。
|
| Causes of Carryover |
27年度が最終年度であるため、記入しない。
|
| Expenditure Plan for Carryover Budget |
27年度が最終年度であるため、記入しない。
|
| Remarks |
Release of lrslib-060 in July 2015 and lrslib-061 in November 2015. These contained the new parallel implementation, mplrs, of the vertex enumeration software called lrs.
|
