DeepAI AI Chat
Log In Sign Up

Fractional Decomposition Tree Algorithm: A tool for studying the integrality gap of Integer Programs

06/12/2020
by   Robert D. Carr, et al.
Sandia National Laboratories
Carnegie Mellon University
University of New Mexico
0

We present a new algorithm, Fractional Decomposition Tree (FDT) for finding a feasible solution for an integer program (IP) where all variables are binary. FDT runs in polynomial time and is guaranteed to find a feasible integer solution provided the integrality gap is bounded. The algorithm gives a construction for Carr and Vempala's theorem that any feasible solution to the IP's linear-programming relaxation, when scaled by the instance integrality gap, dominates a convex combination of feasible solutions. FDT is also a tool for studying the integrality gap of IP formulations. We demonstrate that with experiments studying the integrality gap of two problems: optimally augmenting a tree to a 2-edge-connected graph and finding a minimum-cost 2-edge-connected multi-subgraph (2EC). We also give a simplified algorithm, Dom2IP, that more quickly determines if an instance has an unbounded integrality gap. We show that FDT's speed and approximation quality compare well to that of feasibility pump on moderate-sized instances of the vertex cover problem. For a particular set of hard-to-decompose fractional 2EC solutions, FDT always gave a better integer solution than the best previous approximation algorithm (Christofides).

READ FULL TEXT

page 1

page 2

page 3

page 4

07/25/2019

Integrality Gap of the Vertex Cover Linear Programming Relaxation

We give a characterization result for the integrality gap of the natural...
12/05/2018

A Linear Programming Based Approach to the Steiner Tree Problem with a Fixed Number of Terminals

We present a set of integer programs (IPs) for the Steiner tree problem ...
02/08/2020

A Simulated Annealing Algorithm for the Directed Steiner Tree Problem

In <cit.> the authors present a set of integer programs (IPs) for the St...
12/15/2020

On the Integrality Gap of Binary Integer Programs with Gaussian Data

For a binary integer program (IP) max c^𝖳 x, Ax ≤ b, x ∈{0,1}^n, where A...
12/28/2016

Automated timetabling for small colleges and high schools using huge integer programs

We formulate an integer program to solve a highly constrained academic t...
07/03/2019

Towards improving Christofides algorithm for half-integer TSP

We study the traveling salesman problem (TSP) in the case when the objec...
04/16/2020

Maximizing Determinants under Matroid Constraints

Given vectors v_1,…,v_n∈ℝ^d and a matroid M=([n],I), we study the proble...