2016/10/17 by Sven Mallach, Mallach, Sven
Mathematics · Engineering · Computer Science · #Advanced Optimization Algorithms Research #Optimization and Packing Problems #Advanced Graph Theory Research
paper · pdf · doi:10.48550/arxiv.1610.05375
We prove new necessary and sufficient conditions to carry out a compact\nlinearization approach for a general class of binary quadratic problems subject\nto assignment constraints as it has been proposed by Liberti in 2007. The new\nconditions resolve inconsistencies that can occur when the original method is\nused. We also present a mixed-integer linear program to compute a\nminimally-sized linearization. When all the assignment constraints have\nnon-overlapping variable support, this program is shown to have a totally\nunimodular constraint matrix. Finally, we give a polynomial-time combinatorial\nalgorithm that is exact in this case and can still be used as a heuristic\notherwise.\n