2003 Fiscal Year Final Research Report Summary
Fundamental Research on Fast Algorithms for Large-Scale Discrete Optimization Problems Based on Submodularity Structures
| Project/Area Number |
13480113
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
社会システム工学
|
|---|
| Research Institution | KYOTO UNIVERSITY (2003)
Osaka University (2001-2002) |
|---|
Principal Investigator |
FUJISHIGE Satoru KYOTO UNIVERSITY, Research Institute for Mathematical Sciences, Professor, 数理解析研究所, 教授 (10092321)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TAMURA Akihisa KYOTO UNIVERSITY, Research Institute for Mathematical Sciences, Associate Professor, 数理解析研究所, 助教授 (50217189)
TAKABATAKE Takeshi Kochi Gauen College, Assistant Professor, 講師 (50324827)
MAKINO Kazuhisa Osaka University, Graduate School of Engineering Science, Associate Professor, 大学院・基礎工学研究科, 助教授 (60294162)
|
|---|
| Project Period (FY) |
2001 – 2003
|
| Keywords | Algorithms / Discrete Optimization / Combinatorial Optimization / Submodular Functions / Large-Seal Systems |
|---|
| Research Abstract |
Major research results we obtained are the following :
1. We proposed efficient algorithms for source location, problems with flow requirement, which was based on the submodularity of cut functions of the underlying flow network.
2. We presented new algorithms for maximum matchings in regular bipartite graphs and for maximum flows in directed networks by means of maximum-adjacency ordering.
3. We showed a new approach to submodular function minimization problem presenting an O(n^2) algorithm using the membership oracle for base polyhedra.
4. We revealed the equivalence between discrete convexity and the gross substitutes condition in economics, and using discrete concave utility functions, we extended the concept of stable marriage due to Gale and Shapley and showed the existence of stable solutions algorithmically.
5. We introduced the concept of polybasic polyhedron by generalizing that of base polyhedron, a fundamental submodularity structure, which lead us to a new general framework for polyhedral structure of submodularity.
6. We presented a sequential pseudo-polynomial algorithm for enumerating minimal integral solutions of monotone linear systems.
7. We showed the hardness of enumerating maximal frequent sets and the polynomial-time solvability of enumerating minimal non-frequent sets.
|
