×

CORAL: an exact algorithm for the multidimensional knapsack problem. (English) Zbl 1462.90109

Summary: The multidimensional knapsack problem (MKP) is a well-known, strongly NP-hard problem and one of the most challenging problems in the class of the knapsack problems. In the last few years, it has been a favorite playground for metaheuristics, but very few contributions have appeared on exact methods. In this paper we introduce an exact approach based on the optimal solution of subproblems limited to a subset of variables. Each subproblem is faced through a recursive variable-fixing process that continues until the number of variables decreases below a given threshold (restricted core problem). The solution space of the restricted core problem is split into subspaces, each containing solutions of a given cardinality. Each subspace is then explored with a branch-and-bound algorithm. Pruning conditions are introduced to improve the efficiency of the branch-and-bound routine. In all the tested instances, the proposed method was shown to be, on average, more efficient than the recent branch-and-bound method proposed by Y. Vimont et al. [J. Comb. Optim. 15, No. 2, 165–178 (2008; Zbl 1138.90014)] and CPLEX 10. We were able to improve the best-known solutions for some of the largest and most difficult instances of the OR-LIBRARY data set [P. C. Chu and J. E. Beasley, J. Heuristics 4, No. 1, 63–86 (1998; Zbl 0913.90218)].

MSC:

90C27 Combinatorial optimization
Full Text: DOI

References:

[1] Angelelli E., Mansini R., Speranza M. G.Kernel search: A general heuristic for the multi-dimensional knapsack problem. Comput. Oper. Res. (2010) 37(11):2017-2026CrossRef · Zbl 1188.90207
[2] Balas E., Zemel E.An algorithm for large zero-one knapsack problems. Oper. Res. (1980) 28(5):1130-1154Link · Zbl 0449.90064
[3] Boussier S., Vasquez M., Vimont Y., Hanafi S., Michelon P.Solving the 0-1 multidimensional knapsack problem with resolution search. VI ALIO/EURO Workshop Appl. Combin. Optim., Buenos Aires (2008) . Computing Research Repository Article abs/0905.0848 · Zbl 1185.90170
[4] Chu P. C., Beasley J. E.A genetic algorithm for the multidimensional knapsack problem. J. Heuristics (1998) 4(1):63-86 · Zbl 0913.90218
[5] Chvátal V.Resolution search. Discrete Appl. Math. (1997) 73(1):81-99 · Zbl 0869.90055
[6] Fayard D., Plateau G.An algorithm for the solution of the 0-1 knapsack problem. Computing (1982) 28:269-287CrossRef · Zbl 0468.90045
[7] Fréville A., Plateau G.An efficient preprocessing procedure for the multidimensional 0-1 knapsack problem. Discrete Appl. Math. (1994) 49(1-3):189-212CrossRef
[8] Gavish B., Pirkul H.Efficient algorithms for solving multiconstraint zero-one knapsack problems to optimality. Math. Programming (1985) 31(1):78-105CrossRef · Zbl 0571.90065
[9] Glover F., Kochenberger G. A., Osman I. H., Kelly J. P.Critical event tabu search for multidimensional knapsack problems. Meta-Heuristics: Theory and Applications (1996) (Kluwer Academic Publishers, Boston) 407-427CrossRef · Zbl 0877.90055
[10] Hanafi S., Wilbaut C.Improved convergent heuristics for the 0-1 multidimensional knapsack problem. Ann. Oper. Res. (2011) 183(1):125-142CrossRef · Zbl 1215.90045
[11] Huston S., Puchinger J., Stuckey P. J., Harland J., Manyem P.The core concept for 0/1 integer programming. Proc. 14th Comput.: Australasian Theory Sympos. (CRPIT 77) (2008) (Australian Computer Society, Sydney, NSW) 39-47
[12] Kaparis K., Letchford A. N.Local and global lifted cover inequalities for the 0-1 multidimensional knapsack problem. Eur. J. Oper. Res. (2008) 186(1):91-103CrossRef · Zbl 1138.90016
[13] Kellerer H., Pferschy U., Pisinger D.Knapsack Problems (2004) (Springer, Berlin) CrossRef
[14] Mansini R., Speranza M. G.A multidimensional knapsack model for asset-backed securitization. J. Oper. Res. Soc. (2002a) 53(8):822-832 · Zbl 1130.90391
[15] Mansini R., Speranza M. G.Multi-unit combinatorial auctions: An exact approach. Proc. 5th Internat. Conf. Electronic Commerce Res. (ICECR-5) (2002b) Montréal(HEC, University of Montréal, Montréal) . CD-ROM · Zbl 1462.90109
[16] Martello S., Toth P.Knapsack Problems: Algorithms and Computer Implementations (1990) (John Wiley & Sons, New York)
[17] Martello S., Toth P.An exact algorithm for the two-constraint 0-1 knapsack problem. Oper. Res. (2003) 51(5):826-835Link · Zbl 1165.90575
[18] Oliva C., Michelon P., Artigues C.Constraint and linear programming: Using reduced costs for solving the zero/one multiple knapsack problem. Proc. Workshop Cooperative Solvers Constraint Programming (CoSolv 01) (2001) Paphos, Cyprus:87-98
[19] Pisinger D.Core problems in knapsack algorithms. Oper. Res. (1999) 47(4):570-575Link · Zbl 0979.90091
[20] Puchinger J., Raidl G. R., Pferschy U.The multidimensional knapsack problem: Structure and algorithms. INFORMS J. Comput. (2010) 22(2):250-265Link · Zbl 1243.90190
[21] Shih W.A branch and bound method for the multiconstraint zero-one knapsack problem. J. Oper. Res. Soc. (1979) 30(4):369-378 · Zbl 0411.90050
[22] Vasquez M., Hao J. K.An hybrid approach for the 0-1 multidimensional knapsack problem. Proc. 17th Internat. Joint Conf. Artificial Intelligence (IJCAI-01) (2001) (Morgan Kaufmann, San Francisco) 328-333 · Zbl 1015.90056
[23] Vasquez M., Vimont Y.Improved results on the 0-1 multidimensional knapsack problem. Eur. J. Oper. Res. (2005) 165(1):70-81CrossRef · Zbl 1112.90366
[24] Vimont Y., Boussier S., Vasquez M.Reduced costs propagation in an efficient implicit enumeration for the 0-1 multidimensional knapsack problem. J. Combin. Optim. (2008) 15(2):165-178 · Zbl 1138.90014
[25] Wilbaut C., Hanafi S.New convergent heuristics for 0-1 mixed integer programming. Eur. J. Oper. Res. (2009) 195(1):62-74 · Zbl 1161.90448
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.