arrow
Return

Faster integer-feasibility in mixed-integer linear programs by branching to force change

delete2011-08-01
delete22
delete
OA
AI
J
Jennifer Pryor
J
John W. Chinneck *
DOI:10.1016/j.cor.2010.10.025delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods for making those two decisions either independently or together with the goal of reaching the first integer-feasible solution quickly. These new methods are based on estimating the probability of satisfying a constraint at the child node given a variable/direction pair. The surprising result is that the first integer-feasible solution is usually found much more quickly when the variable/direction pair with the smallest probability of satisfying the constraint is chosen. This is because this selection forces change in many candidate variables simultaneously, leading to an integer-feasible solution sooner. Extensive empirical results are given. (C) 2010 Elsevier Ltd. All rights reserved.
Keywords:
Mixed-integer programming
Branching
Integer feasibility
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

C
Computers and Operations Research
IF:
4.3
Papers:
6.5K
Citations:
1.8W

Organization

C
carleton university
Scholars:
7.5K
Papers: 8.3K
Citations: 5