703 research outputs found
Local Approximation Schemes for Ad Hoc and Sensor Networks
We present two local approaches that yield polynomial-time approximation schemes (PTAS) for the Maximum Independent Set and Minimum Dominating Set problem in unit disk graphs. The algorithms run locally in each node and compute a (1+ε)-approximation to the problems at hand for any given ε > 0. The time complexity of both algorithms is O(TMIS + log*! n/εO(1)), where TMIS is the time required to compute a maximal independent set in the graph, and n denotes the number of nodes. We then extend these results to a more general class of graphs in which the maximum number of pair-wise independent nodes in every r-neighborhood is at most polynomial in r. Such graphs of polynomially bounded growth are introduced as a more realistic model for wireless networks and they generalize existing models, such as unit disk graphs or coverage area graphs
Polynomial-Time Approximation Schemes for Independent Packing Problems on Fractionally Tree-Independence-Number-Fragile Graphs
We investigate a relaxation of the notion of treewidth-fragility, namely tree-independence-number-fragility. In particular, we obtain polynomial-time approximation schemes for independent packing problems on fractionally tree-independence-number-fragile graph classes. Our approach unifies and extends several known polynomial-time approximation schemes on seemingly unrelated graph classes, such as classes of intersection graphs of fat objects in a fixed dimension or proper minor-closed classes. We also study the related notion of layered tree-independence number, a relaxation of layered treewidth
Spanning Trees With Edge Conflicts and Wireless Connectivity
We introduce the problem of finding a spanning tree along with a partition of the tree edges into fewest number of feasible sets, where constraints on the edges define feasibility. The motivation comes from wireless networking, where we seek to model the irregularities seen in actual wireless environments. Not all node pairs may be able to communicate, even if geographically close - thus, the available pairs are specified with a link graph {L}=(V,E). Also, signal attenuation need not follow a nice geometric formula - hence, interference is modeled by a conflict (hyper)graph {C}=(E,F) on the links. The objective is to maximize the efficiency of the communication, or equivalently, to minimize the length of a schedule of the tree edges in the form of a coloring.
We find that in spite of all this generality, the problem can be approximated linearly in terms of a versatile parameter, the inductive independence of the interference graph. Specifically, we give a simple algorithm that attains a O(rho log n)-approximation, where n is the number of nodes and rho is the inductive independence, and show that near-linear dependence on rho is also necessary. We also treat an extension to Steiner trees, modeling multicasting, and obtain a comparable result.
Our results suggest that several canonical assumptions of geometry, regularity and "niceness" in wireless settings can sometimes be relaxed without a significant hit in algorithm performance
Hyperbolic intersection graphs and (quasi)-polynomial time
We study unit ball graphs (and, more generally, so-called noisy uniform ball
graphs) in -dimensional hyperbolic space, which we denote by .
Using a new separator theorem, we show that unit ball graphs in
enjoy similar properties as their Euclidean counterparts, but in one dimension
lower: many standard graph problems, such as Independent Set, Dominating Set,
Steiner Tree, and Hamiltonian Cycle can be solved in
time for any fixed , while the same problems need
time in . We also show that these algorithms in
are optimal up to constant factors in the exponent under ETH.
This drop in dimension has the largest impact in , where we
introduce a new technique to bound the treewidth of noisy uniform disk graphs.
The bounds yield quasi-polynomial () algorithms for all of the
studied problems, while in the case of Hamiltonian Cycle and -Coloring we
even get polynomial time algorithms. Furthermore, if the underlying noisy disks
in have constant maximum degree, then all studied problems can
be solved in polynomial time. This contrasts with the fact that these problems
require time under ETH in constant maximum degree
Euclidean unit disk graphs.
Finally, we complement our quasi-polynomial algorithm for Independent Set in
noisy uniform disk graphs with a matching lower bound
under ETH. This shows that the hyperbolic plane is a potential source of
NP-intermediate problems.Comment: Short version appears in SODA 202
Recommended from our members
Algorithms to Exploit Data Sparsity
While data in the real world is very high-dimensional, it generally has some underlying structure; for instance, if we think of an image as a set of pixels with associated color values, most possible settings of color values correspond to something more like random noise than what we typically think of as a picture. With an appropriate transformation of basis, this underlying structure can often be converted into sparsity in data, giving an equivalent representation of the data where the magnitude is large in only a few directions relative to the ambient dimension. This motivates a variety of theoretical questions around designing algorithms that can exploit this data sparsity to achieve better performance than what would be possible naively, and in this thesis we tackle several such questions.We first examine the question of simply approximating the level of sparsity of a signal under several different measurement models, a natural first step if the sparsity is to be exploited by other algorithms. Second, we look at a particular sparse signal recovery problem called nonadaptive probabilistic group testing, and investigate the question of exactly how sparse the signal needs to be before the methods used for recovering sparse signals outperform those used for non-sparse signals. Third, we prove novel upper bounds on the number of measurements needed to recover a sparse signal in the universal one-bit compressed sensing model of sparse signal recovery. Fourth, we give some approximations of an information-theoretic quantity called the index coding rate of a network modeled by a graph, in the special case that the graph is sparse or otherwise highly structured. For each of the problems considered, we also discuss some remaining open questions and conjectures, as well as possible directions towards their solutions
Defective Coloring on Classes of Perfect Graphs
In Defective Coloring we are given a graph and two integers ,
and are asked if we can -color so that the maximum
degree induced by any color class is at most . We show that this
natural generalization of Coloring is much harder on several basic graph
classes. In particular, we show that it is NP-hard on split graphs, even when
one of the two parameters , is set to the smallest possible
fixed value that does not trivialize the problem ( or ). Together with a simple treewidth-based DP algorithm this completely
determines the complexity of the problem also on chordal graphs. We then
consider the case of cographs and show that, somewhat surprisingly, Defective
Coloring turns out to be one of the few natural problems which are NP-hard on
this class. We complement this negative result by showing that Defective
Coloring is in P for cographs if either or is fixed; that
it is in P for trivially perfect graphs; and that it admits a sub-exponential
time algorithm for cographs when both and are unbounded
Universal Framework for Wireless Scheduling Problems
An overarching issue in resource management of wireless networks is assessing their capacity: How much communication can be achieved in a network, utilizing all the tools available: power control, scheduling, routing, channel assignment and rate adjustment? We propose the first framework for approximation algorithms in the physical model that addresses these questions in full, including rate control. The approximations obtained are doubly logarithmic in the link length and rate diversity. Where previous bounds are known, this gives an exponential improvement.
A key contribution is showing that the complex interference relationship of the physical model can be simplified into a novel type of amenable conflict graphs, at a small cost. We also show that the approximation obtained is provably the best possible for any conflict graph formulation
- …