×

Linear programming for the \(0-1\) quadratic knapsack problem. (English) Zbl 0912.90221

Summary: We consider the quadratic knapsack problem which consists in maximizing a positive quadratic pseudo-Boolean function subject to a linear capacity constraint. We propose a new method for computing an upper bound. This method is based on the solution of a continuous linear program constructed by adding to a classical linearization of the problem some constraints redundant in 0-1 variables but nonredundant in continuous variables. The obtained upper bound is better than the bounds given by other known methods. We also propose an algorithm for computing a good feasible solution. This algorithm is an elaboration of the heuristic methods proposed by Chaillou, Hansen and Mahieu and by Gallo, Hammer and Simeone. The relative error between this feasible solution and the optimum solution is generally less than 1%. We show how these upper and lower bounds can be efficiently used to determine the values of some variables at the optimum. Finally we propose a branch-and-bound algorithm for solving the quadratic knapsack problem and report extensive computational tests.

MSC:

90C09 Boolean programming
90C10 Integer programming
90C20 Quadratic programming
90C05 Linear programming
Full Text: DOI

References:

[1] Adams, W. P.; Sherali, H. D., A tight linearization and an algorithm for zero-one quadratic programming problems, Management Science, 32, 10, 1274-1290 (1986) · Zbl 0623.90054
[2] Barahona, F.; Jünger, M.; Reinelt, G., Experiments in quadratic 0-1 programming, Mathematical Programming, 44, 127-137 (1989) · Zbl 0677.90046
[3] Billionnet, A.; Sutter, A., Minimization of a quadratic pseudo-Boolean function, European Journal of Operational Research, 78, 106-115 (1994) · Zbl 0812.90117
[4] Billionnet, A.; Costa, M.-C.; Sutter, A., Les problèmes de placement dans les systèmes distribués, Technique et Sciences Informatiques, 8, 4, 307-337 (1989)
[5] Carter, M. W., The indefinite zero-one quadratic problem, Discrete Applied Mathematics, 7, 23-44 (1984) · Zbl 0524.90061
[6] Chaillou, P.; Hansen, P.; Mahieu, Y., Best network flow bound for the Quadratic Knapsack Problem, (presented at NETFLOW 83 International Workshop. presented at NETFLOW 83 International Workshop, Pisa, Italy (1983)) · Zbl 0678.90061
[7] Chardaire, P.; Sutter, A., A decomposition method for quadratic 0-1 programming, Management Science, 41, 4, 704-712 (1995) · Zbl 0836.90121
[8] Gallo, G.; Simeone, B., On the Supermodular Knapsack Problem, Mathematical Programming, 45, 295-309 (1988) · Zbl 0682.90063
[9] Gallo, G.; Grigoriadis, M. D.; Tarjan, R. E., A fast parametric maximum flow algorithm and application, SIAM Journal on Computing, 18, 1, 30-35 (1989) · Zbl 0679.68080
[10] Gallo, G.; Hammer, P. L.; Simeone, B., Quadratic Knapsack Problems, Mathematical Programming, 12, 132-149 (1980) · Zbl 0462.90068
[11] Hammer, P. L.; Hansen, P.; Simeone, B., Roof duality, complementation and persistency in quadratic 0-1 optimization, Mathematical Programming, 28, 121-155 (1984) · Zbl 0574.90066
[12] Hansen, P., Methods of non-linear 0-1 programming, Annals of Discrete Mathematics, 5, 53-70 (1979) · Zbl 0426.90063
[13] Körner, F., A new bound for the quadratic knapsack problem and its use in a branch and bound algorithm, Optimization, 17, 643-648 (1986) · Zbl 0617.90067
[14] Laughhunn, D. J., Quadratic binary programming with applications to capital budgeting problems, Operations Research, 18, 454-461 (1970) · Zbl 0193.20209
[15] Michelon, P.; Maculan, N., Lagrangean methods for 0-1 quadratic programming, Discrete Applied Mathematics, 42, 2-3, 257-269 (1993) · Zbl 0780.90068
[16] Michelon, P.; Veuilleux, L., Lagrangean methods for the 0-1 Quadratic Knapsack Problem, (Publication #779, D.I.R.O. (1991), Université de Montréal)
[17] Pardalos, P. M.; Rodgers, G., Computational aspects of a branch and bound algorithm for quadratic zero-one programming, Computing, 45, 131-144 (1990) · Zbl 0721.65034
[18] Rao, G. S.; Stone, H. S.; Hu, T. C., Assignment of tasks in a distributed processor system with limited memory, IEEE Transactions on Computers, 28, 4, 291-299 (1979) · Zbl 0397.68024
[19] Williams, A. C., Quadratic zero-one programming using the roof dual with computational results, (Rutcor Research Report (1985), Rutgers University), 8-85
[20] Witzgall, C., Mathematical methods of site selection for Electronic Message System (EMS), NBS Internal Report (1975)
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.