2006 Fiscal Year Final Research Report Summary
An analysis and restructuring of branch-and-bound algorithms for nonlinear nonconvex programs
| Project/Area Number |
17560050
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Engineering fundamentals
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
KUNO Takahito University of Tsukuba, Graduate School of Systems and Information Engineering, Associate Professor, 大学院システム情報工学研究科, 助教授 (00205113)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
YOSHISE Akiko University of Tsukuba, Graduate School of Systems and Information Engineering, Associate Professor, 大学院システム情報工学研究科, 助教授 (50234472)
|
|---|
| Project Period (FY) |
2005 – 2006
|
| Keywords | mathematical programming / global optimization / nonlinear programming / algorithm / branch-and-bound |
|---|
| Research Abstract |
We mainly studied two classes of nonconvex optimization problems : concave minimization and reverse convex minimization problems. The former minimizes a concave function over a polyhedron, and the latter minimizes a linear function but the feasible set is the difference of two convex sets. Therefore, each problem has multiple locally optimal solutions, many of which fail to be globally optimal. To solve them rigorously, we usually apply branch-and-bound algorithms, which implicitly enumerate locally optimal solutions. Unfortunately, however, those algorithms have two serious drawbacks and cannot solve problems of utility-scale in a practical amount of time. First, the algorithms partition the feasible set into simplices or cones, and estimate lower bounds on each partition set by solving a linearized problem. Although real-world problems often possess favorable structures, those are destroyed if the feasible sets are partitioned. Second, the algorithms easily suffers from combinatorial
… More
explosion, far before yielding expected solutions.
Based on the above observations, we proposed novel branch-and-bound algorithms conscious of special structures. The main idea is simply to stop partitioning the feasible sets. This approach, however, deteriorates the lower bounds considerably. To tighten them, we devised an inexpensive procedure using a Lagrangian relaxation. We confirmed that it works well on instances of concave minimization, reverse convex minimization problems, and production-transportation problems with network structure. In dealing with combinatorial explosion, we proposed a combinatorial branch-and-bound algorithm to solve a reverse convex minimization problem whose feasible set is the difference of a polytope and a convex set. This algorithm searches locally optimal solutions along edges of the polytope using reverse Bland's pivoting operations. We proved that it visits each locally optimal solution just one time and besides needs no list of visiting locally optimal solutions. Therefore, the algorithm yields a globally optimal solution in finite time with polynomial-space complexity. Less
|
Research Products
(14 results)
