×

Lifted cover inequalities for 0-1 integer programs: complexity. (English) Zbl 1092.90527

Summary: We investigate several complexity issues related to branch-and-cut algorithms for 0-1 integer programming based on lifted-cover inequalities (LCIs). We show that given a fractional point, determining a violated LCI over all minimal covers is NP-hard. The main result is that there exists a class of 0-1 knapsack instances for which any branch-and-cut algorithm based on LCIs has to evaluate an exponential number of nodes to prove optimality.

MSC:

90C09 Boolean programming
90C60 Abstract computational complexity for mathematical programming problems

Software:

MINTO