741 research outputs found
Time vs. Information Tradeoffs for Leader Election in Anonymous Trees
The leader election task calls for all nodes of a network to agree on a
single node. If the nodes of the network are anonymous, the task of leader
election is formulated as follows: every node of the network must output a
simple path, coded as a sequence of port numbers, such that all these paths end
at a common node, the leader. In this paper, we study deterministic leader
election in anonymous trees.
Our aim is to establish tradeoffs between the allocated time and the
amount of information that has to be given to the nodes to
enable leader election in time in all trees for which leader election in
this time is at all possible. Following the framework of , this information (a single binary string) is provided to all
nodes at the start by an oracle knowing the entire tree. The length of this
string is called the . For an allocated time ,
we give upper and lower bounds on the minimum size of advice sufficient to
perform leader election in time .
We consider -node trees of diameter . While leader election
in time can be performed without any advice, for time we give
tight upper and lower bounds of . For time we give
tight upper and lower bounds of for even values of ,
and tight upper and lower bounds of for odd values of .
For the time interval for constant ,
we prove an upper bound of and a lower bound of
, the latter being valid whenever is odd or when
the time is at most . Finally, for time for any
constant (except for the case of very small diameters), we give
tight upper and lower bounds of
Topology recognition with advice
In topology recognition, each node of an anonymous network has to
deterministically produce an isomorphic copy of the underlying graph, with all
ports correctly marked. This task is usually unfeasible without any a priori
information. Such information can be provided to nodes as advice. An oracle
knowing the network can give a (possibly different) string of bits to each
node, and all nodes must reconstruct the network using this advice, after a
given number of rounds of communication. During each round each node can
exchange arbitrary messages with all its neighbors and perform arbitrary local
computations. The time of completing topology recognition is the number of
rounds it takes, and the size of advice is the maximum length of a string given
to nodes.
We investigate tradeoffs between the time in which topology recognition is
accomplished and the minimum size of advice that has to be given to nodes. We
provide upper and lower bounds on the minimum size of advice that is sufficient
to perform topology recognition in a given time, in the class of all graphs of
size and diameter , for any constant . In most
cases, our bounds are asymptotically tight
Deterministic Graph Exploration with Advice
We consider the task of graph exploration. An -node graph has unlabeled
nodes, and all ports at any node of degree are arbitrarily numbered
. A mobile agent has to visit all nodes and stop. The exploration
time is the number of edge traversals. We consider the problem of how much
knowledge the agent has to have a priori, in order to explore the graph in a
given time, using a deterministic algorithm. This a priori information (advice)
is provided to the agent by an oracle, in the form of a binary string, whose
length is called the size of advice. We consider two types of oracles. The
instance oracle knows the entire instance of the exploration problem, i.e., the
port-numbered map of the graph and the starting node of the agent in this map.
The map oracle knows the port-numbered map of the graph but does not know the
starting node of the agent.
We first consider exploration in polynomial time, and determine the exact
minimum size of advice to achieve it. This size is ,
for both types of oracles.
When advice is large, there are two natural time thresholds:
for a map oracle, and for an instance oracle, that can be achieved
with sufficiently large advice. We show that, with a map oracle, time
cannot be improved in general, regardless of the size of advice.
We also show that the smallest size of advice to achieve this time is larger
than , for any .
For an instance oracle, advice of size is enough to achieve time
. We show that, with any advice of size , the time of
exploration must be at least , for any , and with any
advice of size , the time must be .
We also investigate minimum advice sufficient for fast exploration of
hamiltonian graphs
Fast Space Optimal Leader Election in Population Protocols
The model of population protocols refers to the growing in popularity
theoretical framework suitable for studying pairwise interactions within a
large collection of simple indistinguishable entities, frequently called
agents. In this paper the emphasis is on the space complexity in fast leader
election via population protocols governed by the random scheduler, which
uniformly at random selects pairwise interactions within the population of n
agents.
The main result of this paper is a new fast and space optimal leader election
protocol. The new protocol utilises O(log^2 n) parallel time (which is
equivalent to O(n log^2 n) sequential pairwise interactions), and each agent
operates on O(log log n) states. This double logarithmic space usage matches
asymptotically the lower bound 1/2 log log n on the minimal number of states
required by agents in any leader election algorithm with the running time
o(n/polylog n).
Our solution takes an advantage of the concept of phase clocks, a fundamental
synchronisation and coordination tool in distributed computing. We propose a
new fast and robust population protocol for initialisation of phase clocks to
be run simultaneously in multiple modes and intertwined with the leader
election process. We also provide the reader with the relevant formal
argumentation indicating that our solution is always correct, and fast with
high probability.Comment: 21 pages, 2 figures, published in SODA 2018 proceeding
- …