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

Developing New Algorithms for Enumerating Feasible Solutions in Linear Programming and Combinatorial Optimization

Research Project

Project/Area Number 03832008
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field 社会システム工学
Research InstitutionUniversity of Tsukuba

Principal Investigator

FUKUDA Komei  University of Tsukuba, GSSM, Associate Professor, 社会工学系, 助教授 (40156782)

Project Period (FY) 1991 – 1992
Project Status Completed (Fiscal Year 1992)
Budget Amount *help
¥1,600,000 (Direct Cost: ¥1,600,000)
Fiscal Year 1992: ¥400,000 (Direct Cost: ¥400,000)
Fiscal Year 1991: ¥1,200,000 (Direct Cost: ¥1,200,000)
KeywordsLinear Programming / Combinatorial Optimization / Enumerating Algorithms / Computational Geometry / 並列アルゴリズム
Research Abstract

The purpose of this research project was to study new enumeration algorithms in linear programming and combinatorial optimization and to implement them on computers. The main results of this two year research can be summerized as follows:
1. We have made a Mathematica implementation of the Avis-Fukuda algorithm for enumerating all vertices of a convex polytype, and made it publicly available.
2. We have developed the notion of reverse search, which is a new general framework of enumeration. We have shown that this technique can be applied to solve various enumeration problems efficiently.
3. A Mathematica implementation of the reverse search algorithm has been developed as a unified platform for enumerating several different objects, including the connected induced subgraphs in a graph, the cells in an arrangement of hyperplanes in R^n and the triangulations of a finite set of points in the plane.
4. New (Non-reverse-search) algorithms have been developed for two problems,namely, the enumeration of common bases of two matroids and the combinatorial face enumeration in convex polytypes.

Report

(3 results)
  • 1992 Annual Research Report   Final Research Report Summary
  • 1991 Annual Research Report
  • Research Products

    (14 results)

All Other

All Publications (14 results)

  • [Publications] D.Avis and K.FUKUDA: "A pivoting algorithem for convex hulls and vertex enumeration of arrangements and polyhedra" Discrete and Computational Geometry. 8. 253-312 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 藤重 悟(偏): "離散構造とアルゴリズムII" 近代科学社, (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] D. Avis and K. Fukuda: ""A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra,"Proceedings of the 7th ACM Symposium on Computational Geometry, North Conway,New Hampshire (1991)" 98-104

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] D. Avis and K. Fukuda: "A basis enumeration algorithm for linear systems with geometric applications" Applied Mathematics Letters. Vol. 4.No. 5. 39-42 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] D. Avis and K. Fukuda: "A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra" Discrete and Computational Geometry 8 (1992). 295-313

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] K. Fukuda: "Reverse search with applications (in Japanese)" in Discrete Structures and Algorithms II. Kindaikagaku-Sha.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] D. Avis and K. Fukuda: ""Reverse search for enumeration," Research Report No. 92-5, Graduate School of Systems Management, University of Tsukuba, Tokyo(1992)."

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] K. Fukuda and V. Rosta: ""Combinatorial face enumeration in convex polytypes," Research Report No.93-1, Graduate School of Systems Management, University of Tsukuba (1993)."

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] K. Fukuda and M. Namiki: ""Finding all common bases of two matroids," Technical Report, Department of Information Sciences, Tokyo Institute of Technology(1993)."

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] D.Avis and K.Fukuda: "A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra" Discrete and Computational Geometry. 8. 253-312 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 藤重 悟 (編): "離散構造とアルゴリズムII" 近代科学社, (1993)

    • Related Report
      1992 Annual Research Report
  • [Publications] D.Avis and K.Fukuda: "A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra" Proceedings of the 7th ACM Symposium on Computional Geometry,North Conway,New Hampshire. 98-104 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] D.Avis and K.Fukuda: "A basis enumeration algorithm for linear systems with geometric applications" Applied Mathematics Letters. 4. 39-42 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] K.Fukuda and M.Namiki: "Two extremal behaviors of the crissーcross method for linear programming" Research Reports on Information Sciences Tokyo Institute of Technology. Bー241. 1-9 (1991)

    • Related Report
      1991 Annual Research Report

URL: 

Published: 1991-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi