Efficient local and tabu search strategies for large-scale general quadratic integer programming
摘要
This study investigates the area of general quadratic integer programming (QIP), encompassing both unconstrained (UQIP) and multi-constrained (CQIP) variants. These NP-hard problems have far-reaching applications, yet non-convex cases have received limited attention in the literature. To address this gap, we introduce a closed-form formula for single-variable changes, establishing novel necessary and sufficient conditions for 1-Opt local improvement in UQIP and CQIP. We develop a simple local and sophisticated tabu search with an oscillation strategy tailored for large-scale problems. Experimental results on instances with up to 8000 variables demonstrate the efficiency of these strategies, producing high-quality solutions within a short time.