252 research outputs found
Approximation Algorithms for the Capacitated Domination Problem
We consider the {\em Capacitated Domination} problem, which models a
service-requirement assignment scenario and is also a generalization of the
well-known {\em Dominating Set} problem. In this problem, given a graph with
three parameters defined on each vertex, namely cost, capacity, and demand, we
want to find an assignment of demands to vertices of least cost such that the
demand of each vertex is satisfied subject to the capacity constraint of each
vertex providing the service. In terms of polynomial time approximations, we
present logarithmic approximation algorithms with respect to different demand
assignment models for this problem on general graphs, which also establishes
the corresponding approximation results to the well-known approximations of the
traditional {\em Dominating Set} problem. Together with our previous work, this
closes the problem of generally approximating the optimal solution. On the
other hand, from the perspective of parameterization, we prove that this
problem is {\it W[1]}-hard when parameterized by a structure of the graph
called treewidth. Based on this hardness result, we present exact
fixed-parameter tractable algorithms when parameterized by treewidth and
maximum capacity of the vertices. This algorithm is further extended to obtain
pseudo-polynomial time approximation schemes for planar graphs
Tight Kernel Bounds for Problems on Graphs with Small Degeneracy
In this paper we consider kernelization for problems on d-degenerate graphs,
i.e. graphs such that any subgraph contains a vertex of degree at most .
This graph class generalizes many classes of graphs for which effective
kernelization is known to exist, e.g. planar graphs, H-minor free graphs, and
H-topological-minor free graphs. We show that for several natural problems on
d-degenerate graphs the best known kernelization upper bounds are essentially
tight.Comment: Full version of ESA 201
Parameterized Approximation Schemes using Graph Widths
Combining the techniques of approximation algorithms and parameterized
complexity has long been considered a promising research area, but relatively
few results are currently known. In this paper we study the parameterized
approximability of a number of problems which are known to be hard to solve
exactly when parameterized by treewidth or clique-width. Our main contribution
is to present a natural randomized rounding technique that extends well-known
ideas and can be used for both of these widths. Applying this very generic
technique we obtain approximation schemes for a number of problems, evading
both polynomial-time inapproximability and parameterized intractability bounds
A node-capacitated Okamura-Seymour theorem
The classical Okamura-Seymour theorem states that for an edge-capacitated,
multi-commodity flow instance in which all terminals lie on a single face of a
planar graph, there exists a feasible concurrent flow if and only if the cut
conditions are satisfied. Simple examples show that a similar theorem is
impossible in the node-capacitated setting. Nevertheless, we prove that an
approximate flow/cut theorem does hold: For some universal c > 0, if the node
cut conditions are satisfied, then one can simultaneously route a c-fraction of
all the demands. This answers an open question of Chekuri and Kawarabayashi.
More generally, we show that this holds in the setting of multi-commodity
polymatroid networks introduced by Chekuri, et. al. Our approach employs a new
type of random metric embedding in order to round the convex programs
corresponding to these more general flow problems.Comment: 30 pages, 5 figure
Packing and Covering with Non-Piercing Regions
In this paper, we design the first polynomial time approximation schemes for the Set Cover and Dominating Set problems when the underlying sets are non-piercing regions (which include pseudodisks). We show that the local
search algorithm that yields PTASs when the regions are disks [Aschner/Katz/Morgenstern/Yuditsky, WALCOM 2013; Gibson/Pirwani, 2005; Mustafa/Raman/Ray, 2015] can be extended to work for non-piercing regions. While such an extension is intuitive and natural, attempts to settle this question have failed even for pseudodisks. The techniques used for analysis when the regions are disks rely heavily on the underlying geometry, and do not extend to topologically defined settings such as pseudodisks. In order to prove our results, we introduce novel techniques that we believe will find applications in other problems.
We then consider the Capacitated Region Packing problem. Here, the input consists of a set of points with capacities, and a set of regions. The objective is to pick a maximum cardinality subset of regions so that no point is covered by more regions than its capacity. We show that this problem admits a PTAS when the regions are k-admissible regions (pseudodisks are 2-admissible), and the capacities are bounded. Our result settles a conjecture of Har-Peled (see Conclusion of [Har-Peled, SoCG 2014]) in the affirmative. The conjecture was for a weaker version of the problem, namely when the regions are pseudodisks, the capacities are uniform, and the point set consists of all points in the plane.
Finally, we consider the Capacitated Point Packing problem. In this setting, the regions have capacities, and our
objective is to find a maximum cardinality subset of points such that no region has more points than its capacity. We show that this problem admits a PTAS when the capacity is unity, extending one of the results of Ene et al. [Ene/Har-Peled/Raichel, SoCG 2012]
- …