Title :
Cutting analysis for MKP
Author :
Osorio, Maríia A. ; Hernandez, E.G.
Author_Institution :
Sch. of Comput. Sci., Univ. Autonoma de Puebla, Mexico
Abstract :
This work presents a comparative analysis of different types of logic cuts obtained using the dual surrogate properties of multidimensional knapsack problems. Constraint pairing and an initial integer solution are used to combine the dual surrogate constraint with the objective function and generate new constraints. These constraints are used to obtain different type of logic cuts and these cuts are included in the model before solving the problem to optimality with branch and bound. Computational tests were performed in the set of small problems and the first subset of big instances in the OR-library. It can be seen that the presence of logic cuts in the model improved the branch and bound performance lowering the number of nodes in the search tree.
Keywords :
constraint theory; formal logic; knapsack problems; tree searching; branch and bound performance; constraint pairing; cutting analysis; dual surrogate constraint; dual surrogate property; initial integer solution; logic cut; multidimensional knapsack problem; objective function; search tree; Algorithm design and analysis; Constraint theory; Genetic algorithms; Lagrangian functions; Linear programming; Logic; Multidimensional systems; Operations research; Performance evaluation; Testing;
Conference_Titel :
Computer Science, 2004. ENC 2004. Proceedings of the Fifth Mexican International Conference in
Print_ISBN :
0-7695-2160-6
DOI :
10.1109/ENC.2004.1342620