• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2020 年度 実績報告書

幾何計算のための大規模並列化と数理計画法への応用

研究課題

研究課題/領域番号 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.

  • 研究成果

    (8件)

すべて 2021 2020 その他

すべて 国際共同研究 (2件) 雑誌論文 (4件) (うち国際共著 4件、 査読あり 4件) 備考 (2件)

  • [国際共同研究] McGill University(カナダ)

    • 国名
      カナダ
    • 外国機関名
      McGill University
  • [国際共同研究] University of Waterloo(カナダ)

    • 国名
      カナダ
    • 外国機関名
      University of Waterloo
  • [雑誌論文] Algorithmic enumeration of surrounding polygons2021

    • 著者名/発表者名
      Katsuhisa Yamanaka, David Avis, Takashi Horiyama, Yoshio Okamoto, Ryuhei Uehara, Tanami Yamauchi
    • 雑誌名

      Discrete Applied Mathematics

      巻: 303 ページ: 305-313

    • DOI

      10.1016/j.dam.2020.03.034

    • 査読あり / 国際共著
  • [雑誌論文] mts: a light framework for parallelizing tree search codes2021

    • 著者名/発表者名
      David Avis, Charles Jordan
    • 雑誌名

      Optimization methods and software

      巻: 36 ページ: 279-300

    • DOI

      10.1080/10556788.2019.1692344

    • 査読あり / 国際共著
  • [雑誌論文] Sparktope: linear programs from algorithms2021

    • 著者名/発表者名
      David Avis, David Bremner
    • 雑誌名

      Optimization Methods and Software

      巻: online ページ: 1-28

    • DOI

      10.1080/10556788.2020.1864370

    • 査読あり / 国際共著
  • [雑誌論文] An analysis of budgeted parallel search on conditional Galton Watson trees2020

    • 著者名/発表者名
      David Avis, Luc Devroye
    • 雑誌名

      Algorithmica

      巻: 82 ページ: 1329-45

    • DOI

      10.1007/s00453-019-00645-x

    • 査読あり / 国際共著
  • [備考] lrslib : v 7.2 release, March 31 2022

    • URL

      http://cgm.cs.mcgill.ca/~avis/C/lrs.html

  • [備考] lrsarith-010 release, January 29, 2021

    • URL

      http://cgm.cs.mcgill.ca/~avis/C/lrs.html

URL: 

公開日: 2022-12-28  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi