11,003 research outputs found
Sequential and Parallel Algorithms for Mixed Packing and Covering
Mixed packing and covering problems are problems that can be formulated as
linear programs using only non-negative coefficients. Examples include
multicommodity network flow, the Held-Karp lower bound on TSP, fractional
relaxations of set cover, bin-packing, knapsack, scheduling problems,
minimum-weight triangulation, etc. This paper gives approximation algorithms
for the general class of problems. The sequential algorithm is a simple greedy
algorithm that can be implemented to find an epsilon-approximate solution in
O(epsilon^-2 log m) linear-time iterations. The parallel algorithm does
comparable work but finishes in polylogarithmic time.
The results generalize previous work on pure packing and covering (the
special case when the constraints are all "less-than" or all "greater-than") by
Michael Luby and Noam Nisan (1993) and Naveen Garg and Jochen Konemann (1998)
Online Mixed Packing and Covering
In many problems, the inputs arrive over time, and must be dealt with
irrevocably when they arrive. Such problems are online problems. A common
method of solving online problems is to first solve the corresponding linear
program, and then round the fractional solution online to obtain an integral
solution.
We give algorithms for solving linear programs with mixed packing and
covering constraints online. We first consider mixed packing and covering
linear programs, where packing constraints are given offline and covering
constraints are received online. The objective is to minimize the maximum
multiplicative factor by which any packing constraint is violated, while
satisfying the covering constraints. No prior sublinear competitive algorithms
are known for this problem. We give the first such --- a
polylogarithmic-competitive algorithm for solving mixed packing and covering
linear programs online. We also show a nearly tight lower bound.
Our techniques for the upper bound use an exponential penalty function in
conjunction with multiplicative updates. While exponential penalty functions
are used previously to solve linear programs offline approximately, offline
algorithms know the constraints beforehand and can optimize greedily. In
contrast, when constraints arrive online, updates need to be more complex.
We apply our techniques to solve two online fixed-charge problems with
congestion. These problems are motivated by applications in machine scheduling
and facility location. The linear program for these problems is more
complicated than mixed packing and covering, and presents unique challenges. We
show that our techniques combined with a randomized rounding procedure give
polylogarithmic-competitive integral solutions. These problems generalize
online set-cover, for which there is a polylogarithmic lower bound. Hence, our
results are close to tight
Analysis of the Min-Sum Algorithm for Packing and Covering Problems via Linear Programming
Message-passing algorithms based on belief-propagation (BP) are successfully
used in many applications including decoding error correcting codes and solving
constraint satisfaction and inference problems. BP-based algorithms operate
over graph representations, called factor graphs, that are used to model the
input. Although in many cases BP-based algorithms exhibit impressive empirical
results, not much has been proved when the factor graphs have cycles.
This work deals with packing and covering integer programs in which the
constraint matrix is zero-one, the constraint vector is integral, and the
variables are subject to box constraints. We study the performance of the
min-sum algorithm when applied to the corresponding factor graph models of
packing and covering LPs.
We compare the solutions computed by the min-sum algorithm for packing and
covering problems to the optimal solutions of the corresponding linear
programming (LP) relaxations. In particular, we prove that if the LP has an
optimal fractional solution, then for each fractional component, the min-sum
algorithm either computes multiple solutions or the solution oscillates below
and above the fraction. This implies that the min-sum algorithm computes the
optimal integral solution only if the LP has a unique optimal solution that is
integral.
The converse is not true in general. For a special case of packing and
covering problems, we prove that if the LP has a unique optimal solution that
is integral and on the boundary of the box constraints, then the min-sum
algorithm computes the optimal solution in pseudo-polynomial time.
Our results unify and extend recent results for the maximum weight matching
problem by [Sanghavi et al.,'2011] and [Bayati et al., 2011] and for the
maximum weight independent set problem [Sanghavi et al.'2009]
The parallel approximability of a subclass of quadratic programming
In this paper we deal with the parallel approximability of a special class of Quadratic Programming (QP), called Smooth Positive Quadratic Programming. This subclass of QP is obtained by imposing restrictions on the coefficients of the QP instance. The Smoothness condition restricts the magnitudes of the coefficients while the positiveness requires that all the coefficients be non-negative. Interestingly, even with these restrictions several combinatorial problems can be modeled by Smooth QP. We show NC Approximation Schemes for the instances of Smooth Positive QP. This is done by reducing the instance of QP to an instance of Positive Linear Programming, finding in NC an approximate fractional solution to the obtained program, and then rounding the fractional solution to an integer approximate solution for the original problem. Then we show how to extend the result for positive instances of bounded degree to Smooth Integer Programming problems. Finally, we formulate several important combinatorial problems as Positive Quadratic Programs (or Positive Integer Programs) in packing/covering form and show that the techniques presented can be used to obtain NC Approximation Schemes for "dense" instances of such problems.Peer ReviewedPostprint (published version
Dynamic Algorithms for Packing-Covering LPs via Multiplicative Weight Updates
In the dynamic linear program (LP) problem, we are given an LP undergoing
updates and we need to maintain an approximately optimal solution. Recently,
significant attention (e.g., [Gupta et al. STOC'17; Arar et al. ICALP'18, Wajc
STOC'20]) has been devoted to the study of special cases of dynamic packing and
covering LPs, such as the dynamic fractional matching and set cover problems.
But until now, there is no non-trivial dynamic algorithm for general packing
and covering LPs.
In this paper, we settle the complexity of dynamic packing and covering LPs,
up to a polylogarithmic factor in update time. More precisely, in the partially
dynamic setting (where updates can either only relax or only restrict the
feasible region), we give near-optimal deterministic -approximation
algorithms with polylogarithmic amortized update time. Then, we show that both
partially dynamic updates and amortized update time are necessary; without any
of these conditions, the trivial algorithm that recomputes the solution from
scratch after every update is essentially the best possible, assuming SETH.
To obtain our results, we initiate a systematic study of the multiplicative
weights update (MWU) method in the dynamic setting. As by-products of our
techniques, we also obtain the first online -competitive
algorithms for both covering and packing LPs with polylogarithmic recourse, and
the first streaming algorithms for covering and packing LPs with linear space
and polylogarithmic passes
Online Weighted Degree-Bounded Steiner Networks via Novel Online Mixed Packing/Covering
We design the first online algorithm with poly-logarithmic competitive ratio for the edge-weighted degree-bounded Steiner forest (EW-DB-SF) problem and its generalized variant. We obtain our result by demonstrating a new generic approach for solving mixed packing/covering integer programs in the online paradigm. In EW-DB-SF, we are given an edge-weighted graph with a degree bound for every vertex. Given a root vertex in advance, we receive a sequence of terminal vertices in an online manner. Upon the arrival of a terminal, we need to augment our solution subgraph to connect the new terminal to the root. The goal is to minimize the total weight of the solution while respecting the degree bounds on the vertices. In the offline setting, edge-weighted degree-bounded Steiner tree (EW-DB-ST) and its many variations have been extensively studied since early eighties. Unfortunately, the recent advancements in the online network design problems are inherently difficult to adapt for degree-bounded problems. In particular, it is not known whether the fractional solution obtained by standard primal-dual techniques for mixed packing/covering LPs can be rounded online. In contrast, in this paper we obtain our result by using structural properties of the optimal solution, and reducing the EW-DB-SF problem to an exponential-size mixed packing/covering integer program in which every variable appears only once in covering constraints. We then design a generic integral algorithm for solving this restricted family of IPs.
As mentioned above, we demonstrate a new technique for solving mixed packing/covering integer programs. Define the covering frequency k of a program as the maximum number of covering constraints in which a variable can participate. Let m denote the number of packing constraints. We design an online deterministic integral algorithm with competitive ratio of O(k*log(m)) for the mixed packing/covering integer programs. We prove the tightness of our result by providing a matching lower bound for any randomized algorithm. We note that our solution solely depends on m and k. Indeed, there can be exponentially many variables. Furthermore, our algorithm directly provides an integral solution, even if the integrality gap of the program is unbounded. We believe this technique can be used as an interesting alternative for the standard primal-dual techniques in solving online problems
Approximation Algorithms for Covering/Packing Integer Programs
Given matrices A and B and vectors a, b, c and d, all with non-negative
entries, we consider the problem of computing min {c.x: x in Z^n_+, Ax > a, Bx
< b, x < d}. We give a bicriteria-approximation algorithm that, given epsilon
in (0, 1], finds a solution of cost O(ln(m)/epsilon^2) times optimal, meeting
the covering constraints (Ax > a) and multiplicity constraints (x < d), and
satisfying Bx < (1 + epsilon)b + beta, where beta is the vector of row sums
beta_i = sum_j B_ij. Here m denotes the number of rows of A.
This gives an O(ln m)-approximation algorithm for CIP -- minimum-cost
covering integer programs with multiplicity constraints, i.e., the special case
when there are no packing constraints Bx < b. The previous best approximation
ratio has been O(ln(max_j sum_i A_ij)) since 1982. CIP contains the set cover
problem as a special case, so O(ln m)-approximation is the best possible unless
P=NP.Comment: Preliminary version appeared in IEEE Symposium on Foundations of
Computer Science (2001). To appear in Journal of Computer and System Science
- …