Alternating control tree search for knapsack/covering problems

The Multidimensional Knapsack/Covering Problem (KCP) is a 0–1 Integer Programming Problem containing both knapsack and weighted covering constraints, subsuming the well-known Multidimensional Knapsack Problem (MKP) and the Generalized (weighted) Covering Problem. We propose an Alternating Control Tree Search (ACT) method for these problems that iteratively transfers control between the following three components: (1) ACT-1, a process that solves an LP relaxation of the current form of the KCP. (2) ACT-2, a method that partitions the variables according to 0, 1, and fractional values to create sub-problems that can be solved with relatively high efficiency. (3) ACT-3, an updating procedure that adjoins inequalities to produce successively more constrained versions of KCP, and in conjunction with the solution processes of ACT-1 and ACT-2, ensures finite convergence to optimality. The ACT method can also be used as a heuristic approach using early termination rules. Computational results show that the ACT-framework successfully enhances the performance of three widely different heuristics for the KCP. Our ACT-method involving scatter search performs better than any other known method on a large set of KCP-instances from the literature. The ACT-based methods are also found to be highly effective on the MKP.

[1]  Samuel P. Marin,et al.  Balancing and optimizing a portfolio of R&D projects , 2001 .

[2]  Martin W. P. Savelsbergh,et al.  Preprocessing and Probing Techniques for Mixed Integer Programming Problems , 1994, INFORMS J. Comput..

[3]  Wei Shih,et al.  A Branch and Bound Method for the Multiconstraint Zero-One Knapsack Problem , 1979 .

[4]  Günther R. Raidl,et al.  Combining Metaheuristics and Exact Algorithms in Combinatorial Optimization: A Survey and Classification , 2005, IWINAC.

[5]  Paola Cappanera,et al.  A Local-Search-Based Heuristic for the Demand-Constrained Multidimensional Knapsack Problem , 2001, INFORMS J. Comput..

[6]  Lars Magnus Hvattum,et al.  Adaptive memory search for multidemand multidimensional knapsack problems , 2006, Comput. Oper. Res..

[7]  Claude Le Pape,et al.  Exploring relaxation induced neighborhoods to improve MIP solutions , 2005, Math. Program..

[8]  Rafael Martí,et al.  Scatter Search: Diseño Básico y Estrategias avanzadas , 2002, Inteligencia Artif..

[9]  Francesco Maffioli,et al.  Discrete facility location and routing of obnoxious activities , 2003, Discret. Appl. Math..

[10]  Jin-Kao Hao,et al.  A hybrid approach for the 0-1 multidimensional knapsack problem , 2001, IJCAI 2001.

[11]  A. L. Soyster,et al.  Zero-one programming with many variables and few constraints , 1978 .

[12]  F. Glover HEURISTICS FOR INTEGER PROGRAMMING USING SURROGATE CONSTRAINTS , 1977 .

[13]  Hasan Pirkul,et al.  ALLOCATION OF DATA BASES AND PROCESSORS IN A DISTRIBUTED COMPUTING SYSTEM. , 1982 .

[14]  Frank Plastria,et al.  Static competitive facility location: An overview of optimisation approaches , 2001, Eur. J. Oper. Res..

[15]  Di Yuan,et al.  A Lagrangian Heuristic Based Branch-and-Bound Approach for the Capacitated Network Design Problem , 2000, Oper. Res..

[16]  Meinolf Sellmann,et al.  Lagrangian Cardinality Cuts and Variable Fixing for Capacitated Network Design , 2002, ESA.

[17]  L. J. Savage,et al.  Three Problems in Rationing Capital , 1955 .

[18]  Willem Jan van Hoeve,et al.  The Power of Semidefinite Programming Relaxations for MAX-SAT , 2006, CPAIOR.

[19]  Matteo Fischetti,et al.  Local branching , 2003, Math. Program..

[20]  Eduardo Conde,et al.  Semi-obnoxious location models: A global optimization approach , 1997 .

[21]  Tobias Achterberg,et al.  Conflict analysis in mixed integer programming , 2007, Discret. Optim..

[22]  A. S. Manne,et al.  On the Solution of Discrete Programming Problems , 1956 .

[23]  Michel Gendreau,et al.  Metaheuristics: Progress in Complex Systems Optimization , 2007 .

[24]  Lars Magnus Hvattum,et al.  Experiments Using Scatter Search for the Multidemand Multidimensional Knapsack Problem , 2007, Metaheuristics.

[25]  Ralph E. Gomory,et al.  The Theory and Computation of Knapsack Functions , 1966, Oper. Res..

[26]  Michel Vasquez,et al.  Improved results on the 0-1 multidimensional knapsack problem , 2005, Eur. J. Oper. Res..

[27]  Meinolf Sellmann,et al.  Streamlined Constraint Reasoning , 2004, CP.

[28]  John E. Beasley,et al.  A Genetic Algorithm for the Multidimensional Knapsack Problem , 1998, J. Heuristics.