• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Large scale parallelization for geometric computation and mathematical optimization

Research Project

Project/Area Number 16H02785
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Mathematical informatics
Research InstitutionKyoto University

Principal Investigator

Avis David  京都大学, 情報学研究科, 非常勤講師 (90584110)

Co-Investigator(Kenkyū-buntansha) ジョーダン チャールズハロルド  北海道大学, 情報科学研究院, 助教 (60647577)
Project Period (FY) 2016-04-01 – 2021-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥16,510,000 (Direct Cost: ¥12,700,000、Indirect Cost: ¥3,810,000)
Fiscal Year 2020: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2019: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2018: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2017: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2016: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Keywords幾何計算 / 大規模並列処理 / 数理計画法への応用 / 大規模並列化 / 計算機科学 / 並列計算 / 離散最適化 / 数理計画法
Outline of Final Research Achievements

Most research in algorithms since the 1970s has been for single processor machines, resulting in a vast amount of sophisticated and robust software. Unfortunately most of this software profits very little when run on the now prevalent multiprocessor hardware. The redesign and re-implementation for all of this software will be an extremely time consuming and expensive task. The purpose of this research is to efficiently parallelize algorithms without any essential change to their existing implementation. This is achieved by adding parallelization as a wrapper to the existing code. This technique will be applied in particular to certain tree search algorithms used in optimization, artificial intelligence and machine learning. International research collaboration is a major part of our project.

Academic Significance and Societal Importance of the Research Achievements

この期間中に、合計12の査読付き国際ジャーナル論文が発表されました。木検索方法の効率的な並列化を可能にするmtsパッケージを作成して配布しました。 lrslib多面体計算パッケージの範囲が大幅に拡張され、ほとんどの関数の並列化が含まれるようになりました。 lrslibは現在DebianLinuxの標準部分であり、研究者によって広く使用されています。特に、mplrsは現在、ほとんどの大規模な入力で利用できる最速の頂点列挙/凸包並列プログラムです。私たちのプログラムはすべてオープンソースです。

Report

(6 results)
  • 2021 Final Research Report ( PDF )
  • 2020 Annual Research Report
  • 2019 Annual Research Report
  • 2018 Annual Research Report
  • 2017 Annual Research Report
  • 2016 Annual Research Report
  • Research Products

    (43 results)

All 2021 2020 2019 2018 2017 2016 Other

All Int'l Joint Research (9 results) Journal Article (15 results) (of which Int'l Joint Research: 15 results,  Peer Reviewed: 13 results,  Open Access: 10 results,  Acknowledgement Compliant: 4 results) Presentation (1 results) (of which Int'l Joint Research: 1 results,  Invited: 1 results) Remarks (16 results) Funded Workshop (2 results)

  • [Int'l Joint Research] McGill University(カナダ)

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] University of Waterloo(カナダ)

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] McGill University/University of New Brunswick(カナダ)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] John Hopkins University(米国)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] Charles University(チェコ)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] McGill University/University of New Brunswick(カナダ)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] John Hopkins University(米国)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Charles University(チェコ)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] School of Computer Science/McGill University(Canada)

    • Related Report
      2016 Annual Research Report
  • [Journal Article] Sparktope: linear programs from algorithms2021

    • Author(s)
      David Avis, David Bremner
    • Journal Title

      Optimization Methods and Software

      Volume: online Issue: 3 Pages: 1-28

    • DOI

      10.1080/10556788.2020.1864370

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Algorithmic Enumeration of Surrounding Polygons2020

    • Author(s)
      K. Yamanaka, D. Avis, T. Horiyama, Yoshio Okamoto, R. Uehara and T. Yamauchi
    • Journal Title

      Discrete Applied Mathematics

      Volume: online Pages: 1-19

    • DOI

      10.1016/j.dam.2020.03.034

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] An analysis of budgeted parallel search on conditional Galton Watson trees2020

    • Author(s)
      David Avis, Luc Devroye
    • Journal Title

      Algorithmica

      Volume: 82 Issue: 5 Pages: 1329-45

    • DOI

      10.1007/s00453-019-00645-x

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] An Analysis of Budgeted Parallel Search on Conditional Galton-Watson Trees2020

    • Author(s)
      D. Avis and L. Devroye
    • Journal Title

      Algorithmica

      Volume: 82 Pages: 1329-1345

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] mts: a light framework for parallelizing tree search codes2019

    • Author(s)
      David Avis, Charles Jordan
    • Journal Title

      Optimization Methods and Software

      Volume: online Issue: 2-3 Pages: 1-22

    • DOI

      10.1080/10556788.2019.1692344

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Compact linear programs for 2SAT2019

    • Author(s)
      David Avis and Hans Raj Tiwary
    • Journal Title

      European Journal of Combinatorics

      Volume: 80 Pages: 17-22

    • DOI

      10.1016/j.ejc.2018.02.011

    • Related Report
      2019 Annual Research Report 2017 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Polynomial size linear programs for problems in P2019

    • Author(s)
      David Avis, David Bremner, Hans Tiwary and Osamu Watanabe
    • Journal Title

      Discrete Applied Mathematics

      Volume: online Pages: 22-39

    • DOI

      10.1016/j.dam.2019.03.016

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] mts: A light framework for parallelizing tree search codes2019

    • Author(s)
      David Avis and Charles Jordan
    • Journal Title

      arXiv:1709.07605v2 (revision of earlier paper)

      Volume: 1709.07605v2 Pages: 1-19

    • NAID

      120006896756

    • Related Report
      2018 Annual Research Report
    • Open Access / Int'l Joint Research
  • [Journal Article] Parallel Enumeration of Triangulations2018

    • Author(s)
      Charles Jordan, Michael Joswig and Lars Kastner
    • Journal Title

      The Electronic Journal of Combinatorics

      Volume: 25 Pages: 1-27

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] mplrs: A scalable parallel vertex/facet enumeration code2017

    • Author(s)
      Avis David、Jordan Charles
    • Journal Title

      Mathematical Programming Computation

      Volume: ー Issue: 2 Pages: 1-36

    • DOI

      10.1007/s12532-017-0129-y

    • Related Report
      2018 Annual Research Report 2017 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Parallel Enumeration of Triangulations2017

    • Author(s)
      Jordan Charles, Joswig Michael , Kastner Lars
    • Journal Title

      arXiv:1709.04746

      Volume: 1 Pages: 1-27

    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Journal Article] On the H-free Extension Complexity of the TSP2017

    • Author(s)
      D. Avis and H. Tiwary
    • Journal Title

      Optimization Letters

      Volume: 11 Issue: 3 Pages: 445-455

    • DOI

      10.1007/s11590-016-1029-1

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] An Exponential Lower Bound for Cunningham's Rule2017

    • Author(s)
      D. Avis and O. Friedmann
    • Journal Title

      Mathematical Programming

      Volume: 161 Issue: 1-2 Pages: 271-305

    • DOI

      10.1007/s10107-016-1008-4

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] On the Directed Cut Cone and Polytope2016

    • Author(s)
      David Avis and Conor Meagher
    • Journal Title

      Journal of Combinatorial Optimization

      Volume: 31 Issue: 4 Pages: 1685-1708

    • DOI

      10.1007/s10878-015-9863-0

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] The Kahr-Moore-Wang Class Contains Untestable Properties2016

    • Author(s)
      Charles Jordan and Thomas Zeugmann
    • Journal Title

      Baltic Journal of Modern Computing

      Volume: 4 Issue: 4 Pages: 736-752

    • DOI

      10.22364/bjmc.2016.4.4.11

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Presentation] Parallel vertex and facet enumeration with mplrs2017

    • Author(s)
      Charles Jordan
    • Organizer
      Algebraic Statistics and Symbolic Computation
    • Place of Presentation
      RIMS, Kyoto University
    • Year and Date
      2017-07-25
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research / Invited
  • [Remarks] lrslib : v 7.2 release, March 31 2022

    • URL

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

    • Related Report
      2020 Annual Research Report
  • [Remarks] lrsarith-010 release, January 29, 2021

    • URL

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

    • Related Report
      2020 Annual Research Report
  • [Remarks] lrs home page

    • URL

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

    • Related Report
      2019 Annual Research Report
  • [Remarks] Sparktope home page

    • URL

      https://gitlab.com/sparktope/sparktope

    • Related Report
      2019 Annual Research Report 2018 Annual Research Report
  • [Remarks] mts home page

    • URL

      https://www-alg.ist.hokudai.ac.jp/~skip/mts/

    • Related Report
      2019 Annual Research Report 2018 Annual Research Report
  • [Remarks] lrs home page

    • URL

      http://cgm.cs.mcgill.ca/%7Eavis/C/lrs.html

    • Related Report
      2018 Annual Research Report
  • [Remarks] mptopcom home page

    • URL

      https://polymake.org/doku.php/mptopcom

    • Related Report
      2018 Annual Research Report
  • [Remarks] Parallel enumeration of triangulations

    • URL

      https://www.polymake.org/mptopcom

    • Related Report
      2017 Annual Research Report
  • [Remarks] lrs vertex enumeration library

    • URL

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

    • Related Report
      2017 Annual Research Report
  • [Remarks] Sparktope: an algorithm to polytope compiler

    • URL

      https://gitlab.com/sparktope/sparktope

    • Related Report
      2017 Annual Research Report
  • [Remarks] mts: multithreaded tree search

    • URL

      http://cgm.cs.mcgill.ca/~avis/doc/tutorial.html

    • Related Report
      2017 Annual Research Report
  • [Remarks] An analysis of budgeted search on G-W trees

    • URL

      https://arxiv.org/abs/1703.10731

    • Related Report
      2016 Annual Research Report
  • [Remarks] A Parallel Framework for Reverse Search Using mts

    • URL

      https://arxiv.org/abs/1610.07735

    • Related Report
      2016 Annual Research Report
  • [Remarks] Compact Linear Programs for 2SAT

    • URL

      https://arxiv.org/abs/1702.06723

    • Related Report
      2016 Annual Research Report
  • [Remarks] Machine Learning with Guarantees ...

    • URL

      https://arxiv.org/abs/1609.02664

    • Related Report
      2016 Annual Research Report
  • [Remarks] Tutorial on Parallel Reverse Search using mts

    • URL

      http://cgm.cs.mcgill.ca/~avis/doc/tutorial.html

    • Related Report
      2016 Annual Research Report
  • [Funded Workshop] Workshop on Graphs and Geometric Algorithms2019

    • Related Report
      2019 Annual Research Report
  • [Funded Workshop] Workshop on Graphs and Geometric Algorithms2018

    • Related Report
      2018 Annual Research Report

URL: 

Published: 2016-04-21   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi