|
Discrete Mathematics and Optimization Seminar
|
May. 29, 2009 MC 320, 10:30
Approximability of Sparse Integer Programs
David Pritchard
University of Waterloo
|
We give a pair of new approximation algorithms for sparse integer
programs. First, for covering integer programs of the form min cx: Ax
= b, 0 <= x <= d, where A has at most k nonzeroes per row, we give a
k-approximation algorithm. (We assume A, b, c, d are nonnegative.) For
any k >= 2 and eps > 0, if P != NP this ratio cannot be improved to
k-1-eps, and under the unique games conjecture this ratio cannot be
improved to k-eps. A new tool used in this result is the replacement
of constraints by others that are equivalent with respect to
nonnegative integral solutions; knapsack-cover inequalities are the
other important tool. Second, for packing integer programs of the form
max cx: Ax <= b, 0 <= x <= d where A has at most k nonzeroes per
aware this is the first polynomial-time approximation algorithm for
this problem with approximation ratio depending only on k, for any
k>1. Our approach starts from iterated LP relaxation, and then uses
probabilistic and greedy methods to recover a feasible solution.
|
|
|
|