1,525 research outputs found
Polynomial-Time Space-Optimal Silent Self-Stabilizing Minimum-Degree Spanning Tree Construction
Motivated by applications to sensor networks, as well as to many other areas,
this paper studies the construction of minimum-degree spanning trees. We
consider the classical node-register state model, with a weakly fair scheduler,
and we present a space-optimal \emph{silent} self-stabilizing construction of
minimum-degree spanning trees in this model. Computing a spanning tree with
minimum degree is NP-hard. Therefore, we actually focus on constructing a
spanning tree whose degree is within one from the optimal. Our algorithm uses
registers on bits, converges in a polynomial number of rounds, and
performs polynomial-time computation at each node. Specifically, the algorithm
constructs and stabilizes on a special class of spanning trees, with degree at
most . Indeed, we prove that, unless NP coNP, there are no
proof-labeling schemes involving polynomial-time computation at each node for
the whole family of spanning trees with degree at most . Up to our
knowledge, this is the first example of the design of a compact silent
self-stabilizing algorithm constructing, and stabilizing on a subset of optimal
solutions to a natural problem for which there are no time-efficient
proof-labeling schemes. On our way to design our algorithm, we establish a set
of independent results that may have interest on their own. In particular, we
describe a new space-optimal silent self-stabilizing spanning tree
construction, stabilizing on \emph{any} spanning tree, in rounds, and
using just \emph{one} additional bit compared to the size of the labels used to
certify trees. We also design a silent loop-free self-stabilizing algorithm for
transforming a tree into another tree. Last but not least, we provide a silent
self-stabilizing algorithm for computing and certifying the labels of a
NCA-labeling scheme
Globally and Locally Minimal Weight Spanning Tree Networks
The competition between local and global driving forces is significant in a
wide variety of naturally occurring branched networks. We have investigated the
impact of a global minimization criterion versus a local one on the structure
of spanning trees. To do so, we consider two spanning tree structures - the
generalized minimal spanning tree (GMST) defined by Dror et al. [1] and an
analogous structure based on the invasion percolation network, which we term
the generalized invasive spanning tree or GIST. In general, these two
structures represent extremes of global and local optimality, respectively.
Structural characteristics are compared between the GMST and GIST for a fixed
lattice. In addition, we demonstrate a method for creating a series of
structures which enable one to span the range between these two extremes. Two
structural characterizations, the occupied edge density (i.e., the fraction of
edges in the graph that are included in the tree) and the tortuosity of the
arcs in the trees, are shown to correlate well with the degree to which an
intermediate structure resembles the GMST or GIST. Both characterizations are
straightforward to determine from an image and are potentially useful tools in
the analysis of the formation of network structures.Comment: 23 pages, 5 figures, 2 tables, typographical error correcte
An Active Set Algorithm for Robust Combinatorial Optimization Based on Separation Oracles
We address combinatorial optimization problems with uncertain coefficients
varying over ellipsoidal uncertainty sets. The robust counterpart of such a
problem can be rewritten as a second-oder cone program (SOCP) with integrality
constraints. We propose a branch-and-bound algorithm where dual bounds are
computed by means of an active set algorithm. The latter is applied to the
Lagrangian dual of the continuous relaxation, where the feasible set of the
combinatorial problem is supposed to be given by a separation oracle. The
method benefits from the closed form solution of the active set subproblems and
from a smart update of pseudo-inverse matrices. We present numerical
experiments on randomly generated instances and on instances from different
combinatorial problems, including the shortest path and the traveling salesman
problem, showing that our new algorithm consistently outperforms the
state-of-the art mixed-integer SOCP solver of Gurobi
The Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree
In this paper we study the Steiner tree problem over a dynamic set of
terminals. We consider the model where we are given an -vertex graph
with positive real edge weights, and our goal is to maintain a tree
which is a good approximation of the minimum Steiner tree spanning a terminal
set , which changes over time. The changes applied to the
terminal set are either terminal additions (incremental scenario), terminal
removals (decremental scenario), or both (fully dynamic scenario). Our task
here is twofold. We want to support updates in sublinear time, and keep
the approximation factor of the algorithm as small as possible. We show that we
can maintain a -approximate Steiner tree of a general graph in
time per terminal addition or removal. Here,
denotes the stretch of the metric induced by . For planar graphs we achieve
the same running time and the approximation ratio of .
Moreover, we show faster algorithms for incremental and decremental scenarios.
Finally, we show that if we allow higher approximation ratio, even more
efficient algorithms are possible. In particular we show a polylogarithmic time
-approximate algorithm for planar graphs.
One of the main building blocks of our algorithms are dynamic distance
oracles for vertex-labeled graphs, which are of independent interest. We also
improve and use the online algorithms for the Steiner tree problem.Comment: Full version of the paper accepted to STOC'1
Energy Scaling Laws for Distributed Inference in Random Fusion Networks
The energy scaling laws of multihop data fusion networks for distributed
inference are considered. The fusion network consists of randomly located
sensors distributed i.i.d. according to a general spatial distribution in an
expanding region. Among the class of data fusion schemes that enable optimal
inference at the fusion center for Markov random field (MRF) hypotheses, the
scheme with minimum average energy consumption is bounded below by average
energy of fusion along the minimum spanning tree, and above by a suboptimal
scheme, referred to as Data Fusion for Markov Random Fields (DFMRF). Scaling
laws are derived for the optimal and suboptimal fusion policies. It is shown
that the average asymptotic energy of the DFMRF scheme is finite for a class of
MRF models.Comment: IEEE JSAC on Stochastic Geometry and Random Graphs for Wireless
Network
Energy-Latency Tradeoff for In-Network Function Computation in Random Networks
The problem of designing policies for in-network function computation with
minimum energy consumption subject to a latency constraint is considered. The
scaling behavior of the energy consumption under the latency constraint is
analyzed for random networks, where the nodes are uniformly placed in growing
regions and the number of nodes goes to infinity. The special case of sum
function computation and its delivery to a designated root node is considered
first. A policy which achieves order-optimal average energy consumption in
random networks subject to the given latency constraint is proposed. The
scaling behavior of the optimal energy consumption depends on the path-loss
exponent of wireless transmissions and the dimension of the Euclidean region
where the nodes are placed. The policy is then extended to computation of a
general class of functions which decompose according to maximal cliques of a
proximity graph such as the -nearest neighbor graph or the geometric random
graph. The modified policy achieves order-optimal energy consumption albeit for
a limited range of latency constraints.Comment: A shorter version appears in Proc. of IEEE INFOCOM 201
Non-Local Probes Do Not Help with Graph Problems
This work bridges the gap between distributed and centralised models of
computing in the context of sublinear-time graph algorithms. A priori, typical
centralised models of computing (e.g., parallel decision trees or centralised
local algorithms) seem to be much more powerful than distributed
message-passing algorithms: centralised algorithms can directly probe any part
of the input, while in distributed algorithms nodes can only communicate with
their immediate neighbours. We show that for a large class of graph problems,
this extra freedom does not help centralised algorithms at all: for example,
efficient stateless deterministic centralised local algorithms can be simulated
with efficient distributed message-passing algorithms. In particular, this
enables us to transfer existing lower bound results from distributed algorithms
to centralised local algorithms
- âŠ