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

Analyzing the limits of computation using large scale linear programming

Planned Research

Project AreaA multifaceted approach toward understanding the limitations of computation
Project/Area Number 24106006
Research Category

Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionKyoto University

Principal Investigator

Avis David  京都大学, 情報学研究科, 特定教授 (90584110)

Co-Investigator(Kenkyū-buntansha) 天野 一幸  群馬大学, その他部局等, 教授 (30282031)
上野 賢哉  京都大学, 学内共同利用施設等, 助教 (70586081)
Project Period (FY) 2012-06-28 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥20,410,000 (Direct Cost: ¥15,700,000、Indirect Cost: ¥4,710,000)
Fiscal Year 2016: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2015: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2014: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2013: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2012: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Keywords幾何計算 / 最適化 / 数理計画法への応用 / 最適化数 / 国際研究者交流:カナダ・チェコ・米国 / 数理計画 / 線形計画 / 整数計画 / 計算限界 / 国際研究者交流 / 多面体 / 国際研究者交流:カナダ・ベルギー・チェコ・ドイツ / 国際研究者交流(ベルギー・ドイツ)
Outline of Final Research Achievements

The mission of the B02 group was to use mathematical programming based methods to attack the P vs NP problem. The most powerful tool in mathematical programming is linear programming (LP), with which truly enormous problems can be solved to optimality in a reasonable amount of time.Therefore, studying the complexity of LP and LP formulations is a powerful tool in the study of the P vs NP problem. The two main tools we employed in our attack on this problem are extension complexity and communication complexity.With a team of 3 domestic and 6 international researchers we did research on 7 areas withing this field. This resulted in 20 papers of which 16 appear in refereed journals and 3 are under review.We also produced 8 papers which appear in conference proceedings.

Report

(6 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Annual Research Report
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • Research Products

    (44 results)

All 2017 2016 2015 2014 2013 2012 Other

All Int'l Joint Research (1 results) Journal Article (20 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 20 results,  Acknowledgement Compliant: 7 results,  Open Access: 3 results) Presentation (17 results) (of which Int'l Joint Research: 5 results,  Invited: 6 results) Remarks (6 results)

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

    • Related Report
      2016 Annual Research Report
  • [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 2015 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] On XOR Lemma for Polynomial Threshold Weight and Length2016

    • Author(s)
      Kazuyuki Amano
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 9618 Pages: 259-269

    • DOI

      10.1007/978-3-319-30000-9_20

    • ISBN
      9783319299990, 9783319300009
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A generalization of extension complexity that captures P2015

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

      Inf. Process. Lett.

      Volume: 115(6-8) Issue: 6-8 Pages: 588-593

    • DOI

      10.1016/j.ipl.2015.02.005

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] George Dantzig: father of the simplex method2015

    • Author(s)
      David Avis
    • Journal Title

      Bulletin of the EATCS

      Volume: 116 Pages: 1-2

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Anti-Slide2015

    • Author(s)
      Kazuyuki Amano, Shin-ichi Nakano and Koichi Yamazaki
    • Journal Title

      Journal of Information Processing

      Volume: 23 Issue: 3 Pages: 252-257

    • DOI

      10.2197/ipsjjip.23.252

    • NAID

      130005070060

    • ISSN
      1882-6652
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Ground metric learning2014

    • Author(s)
      Marco Cuturi and David Avis
    • Journal Title

      J. of Machine Learning Research

      Volume: 15 Issue: 1 Pages: 533-64

    • DOI

      10.1007/s10107-014-0764-2

    • Related Report
      2015 Annual Research Report 2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Reputation games for undirected graphs2014

    • Author(s)
      David Avis, Kazuo Iwama, Daichi Paku
    • Journal Title

      Discrete Applied Mathematics

      Volume: 166 Pages: 1-13

    • DOI

      10.1016/j.dam.2013.09.022

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On Extremal k-CNF Formulas2014

    • Author(s)
      Kazuyuki Amano
    • Journal Title

      European Journal of Combinatorics

      Volume: 35 Pages: 39-50

    • DOI

      10.1016/j.ejc.2013.06.011

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Some Improved Bounds on Communication Complexity via New Decomposition of Cliques2014

    • Author(s)
      Kazuyuki Amano
    • Journal Title

      Discrete Applied Mathematics

      Volume: 166 Pages: 249-254

    • DOI

      10.1016/j.dam.2013.09.015

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Families of polytopal digraphs that do not satisfy the shelling property2013

    • Author(s)
      David Avis, Hiroyuki Miyata, Sonoko Moriyama
    • Journal Title

      Comput. Geom.

      Volume: 46(3) Issue: 3 Pages: 382-393

    • DOI

      10.1016/j.comgeo.2012.10.005

    • Related Report
      2013 Annual Research Report 2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the extension complexity of combinatorial polytopes2013

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

      Lecture Notes in Computer Science

      Volume: 8287 Pages: 414-29

    • DOI

      10.1007/978-3-642-39206-1_6

    • ISBN
      9783642392054, 9783642392061
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Portable Parallel Implementation of the lrs Vertex Enumeration Code2013

    • Author(s)
      David Avis, Gary Roumanis
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8287 Pages: 414-429

    • DOI

      10.1007/978-3-319-03780-6_36

    • ISBN
      9783319037790, 9783319037806
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds2013

    • Author(s)
      Kenya Ueno
    • Journal Title

      International Journal of Foundations of Computer Science

      Volume: 24 Issue: 08 Pages: 1339-1354

    • DOI

      10.1142/s0129054113500378

    • NAID

      110007483107

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 線形計画法と計算限界(小特集計算限界の解明への多面的アプローチ -P vs NP に向けた最前線-)2013

    • Author(s)
      上野賢哉
    • Journal Title

      電子情報通信学会会誌

      Volume: 96 Pages: 675-678

    • NAID

      110009660608

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] the extension complexity of combinatorial polytopes2013

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

      Lecture Notes in Computer Science

      Volume: 未定

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On Extremal k-CNF Formulas2013

    • Author(s)
      Kazuyuki Amano
    • Journal Title

      European Journal of Combinatorics

      Volume: 未定

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the existence of Hamiltonian paths for history based pivot rules on acyclic unique sink orientations of hypercubes2012

    • Author(s)
      Yoshikazu Aoshima, David Avis, Theresa Deering, Yoshitake Matsumoto, Sonoko Moriyama
    • Journal Title

      Discrete Applied Mathematics

      Volume: 160(15) Issue: 15 Pages: 2104-2115

    • DOI

      10.1016/j.dam.2012.05.023

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Formula Complexity of Ternary Majorities2012

    • Author(s)
      Kenya Ueno
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7434 Pages: 434-444

    • DOI

      10.1007/978-3-642-32241-9_37

    • ISBN
      9783642322402, 9783642322419
    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Presentation] Enumeration of Boolean Functions of Sensitivity Three and Inheritance of Nondegeneracy2017

    • Author(s)
      Kazuyuki Amano
    • Organizer
      2017 IEEE International Symposium on Information Theory, ISIT 2017
    • Place of Presentation
      Aachen, Germany
    • Year and Date
      2017-06-25
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Sensitivityが3の論理関数について2016

    • Author(s)
      天野 一幸
    • Organizer
      電子情報通信学会 コンピュテーション研究会
    • Place of Presentation
      広島大 (広島県東広島市)
    • Year and Date
      2016-12-21
    • Related Report
      2016 Annual Research Report
  • [Presentation] OrcO: a concurrency-first approach to objects2016

    • Author(s)
      Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook
    • Organizer
      OOPSLA 2016
    • Place of Presentation
      Amsterdam, Netherlands
    • Year and Date
      2016-10-30
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 論理関数のPTF表現のXOR補題について2016

    • Author(s)
      天野 一幸,舘 将馬
    • Organizer
      2016年夏のLAシンポジウム
    • Place of Presentation
      かんぽの宿大和平群 (奈良県生駒郡)
    • Year and Date
      2016-07-19
    • Related Report
      2016 Annual Research Report
  • [Presentation] Extension Complexity, MSO Logic, and Treewidth2016

    • Author(s)
      Petr Kolman, Martin Kouteck, Hans Raj Tiwary
    • Organizer
      15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016
    • Place of Presentation
      Reykjavik, Iceland
    • Year and Date
      2016-06-22
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On XOR Lemma for Polynomial Threshold Weight and Length2016

    • Author(s)
      Kazuyuki Amano
    • Organizer
      The 10th International Conference on Language and Automata Theory and Applications
    • Place of Presentation
      Prague (Czech Republic)
    • Year and Date
      2016-03-15
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Implicitly Distributing Pervasively Concurrent Programs2016

    • Author(s)
      John A. Thywissen, Arthur Michener Peters, William R. Cook
    • Organizer
      First Workshop on Programming Models and Languages for Distributed Computing
    • Place of Presentation
      Rome, Italy
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 多項式しきい値表現のXOR補題と整数計画のテンソル積2016

    • Author(s)
      天野 一幸
    • Organizer
      日本OR学会 最適化の基盤とフロンティア研究部会
    • Place of Presentation
      東京理科大 (東京都新宿区)
    • Related Report
      2016 Annual Research Report
    • Invited
  • [Presentation] Markhov decision problems(MDPs), linear programming and acyclic USOs2015

    • Author(s)
      David Avis
    • Organizer
      ELC Workshop on Exponential Lower Bounds for Pivoting Algorithms
    • Place of Presentation
      CLEC, Tokyo
    • Year and Date
      2015-03-24 – 2015-03-25
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] Polynomial size matching polytopes2014

    • Author(s)
      David Avis
    • Organizer
      Workshop on Extension Complexity: Update and Future Directions
    • Place of Presentation
      Kyoto University
    • Year and Date
      2014-06-09
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] Ordered Biclique Partition と通信計算量2014

    • Author(s)
      重田真那実, 天野一幸
    • Organizer
      冬のLAシンポジウム
    • Place of Presentation
      京都大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] Inapproximability of Linear Programs for the Universal Relation2014

    • Author(s)
      Kenya Ueno
    • Organizer
      ELC Workshop on Inapproximability
    • Place of Presentation
      The University of Electro-Communications
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] On the extension complexity of combinatorial polytopes2013

    • Author(s)
      David Avis, Hans Raj Tiwary
    • Organizer
      Proc. 40th International Colloquium on Automata, Languages and Programming (ICALP 2013)
    • Place of Presentation
      Riga, Latvia
    • Related Report
      2013 Annual Research Report
  • [Presentation] A Portable Parallel Implementation of the lrs Vertex Enumeration Code2013

    • Author(s)
      David Avis, Gary Roumanis
    • Organizer
      Proc. 7th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2013)
    • Place of Presentation
      Chengu, China
    • Related Report
      2013 Annual Research Report
  • [Presentation] 計算複雑さへの招待(3):数理計画法から攻める計算限界2013

    • Author(s)
      上野賢哉
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      奈良女子大学
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] 劣加法性で横断する最適化から計算限界2013

    • Author(s)
      上野賢哉
    • Organizer
      日本オペレーションズ・リサーチ学会 第25回RAMPシンポジウム
    • Place of Presentation
      鹿児島大学
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] Formula Complexity of Ternary Majorities2012

    • Author(s)
      Kenya Ueno
    • Organizer
      COCOON 2012
    • Place of Presentation
      Sydney, Australia
    • Year and Date
      2012-08-20
    • Related Report
      2012 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] Tutorial on Parallel Reverse Search using mts

    • URL

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

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

    • URL

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

    • Related Report
      2015 Annual Research Report
  • [Remarks] David Avis Online publications

    • URL

      http://cgm.cs.mcgill.ca/~avis/Kyoto/

    • Related Report
      2014 Annual Research Report

URL: 

Published: 2012-11-27   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi