Several versions of the devour digest tidy-up heuristic for unconstrained binary quadratic problems

Said Hanafi (1) , Ahmed-Riadh Rebai (2) , Michel Vasquez (3)

1 LAMIH - Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
2 Electrical & Computer Engineering Program
3 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production

The unconstrained binary quadratic minimization problem is known to be NP-hard and due to its computational challenge and application capability, it becomes more and more considered and involved by the recent research studies, including both exact and heuristic solution approaches. Our work is in line with what was suggested by Glover et al. (in Eur. J. Oper. Res. 137, 272-287, 2002) who proposed one pass heuristics as alternatives to the well-known Devour Digest Tidy-up procedure (DDT) of Boros et al. (in RRR 39-89, 1989). The "devour" step sets a term of the current representation to 0 or 1, and the "tidy-up" step substitutes the logical consequences derived from the "digest" step into the current quadratic function.We propose several versions of the DDT constructive heuristic based on the alternative representation of the quadratic function. We also present an efficient implementation of local search using one-flip and two-flip moves that simultaneously change the values of one or two binary variables. Computational experiments performed on instances up to 7000 variables show the efficiency of our implementation in terms of quality improvement and CPU use enhancement.

Mots clés: "Unconstrained quadratic programming"; "Constructive heuristic"; "Local search"; "r-flip move"

Domaines: Recherche opérationnelle [math.OC]

Said Hanafi, Ahmed-Riadh Rebai, Michel Vasquez. Several versions of the devour digest tidy-up heuristic for unconstrained binary quadratic problems. Journal of Heuristics, 2013, 19 (4), pp.645-677. ⟨10.1007/s10732-011-9169-z⟩. ⟨hal-00814716⟩