1,635 research outputs found
Collaborative search on the plane without communication
We generalize the classical cow-path problem [7, 14, 38, 39] into a question
that is relevant for collective foraging in animal groups. Specifically, we
consider a setting in which k identical (probabilistic) agents, initially
placed at some central location, collectively search for a treasure in the
two-dimensional plane. The treasure is placed at a target location by an
adversary and the goal is to find it as fast as possible as a function of both
k and D, where D is the distance between the central location and the target.
This is biologically motivated by cooperative, central place foraging such as
performed by ants around their nest. In this type of search there is a strong
preference to locate nearby food sources before those that are further away.
Our focus is on trying to find what can be achieved if communication is limited
or altogether absent. Indeed, to avoid overlaps agents must be highly dispersed
making communication difficult. Furthermore, if agents do not commence the
search in synchrony then even initial communication is problematic. This holds,
in particular, with respect to the question of whether the agents can
communicate and conclude their total number, k. It turns out that the knowledge
of k by the individual agents is crucial for performance. Indeed, it is a
straightforward observation that the time required for finding the treasure is
(D + D 2 /k), and we show in this paper that this bound can be matched
if the agents have knowledge of k up to some constant approximation. We present
an almost tight bound for the competitive penalty that must be paid, in the
running time, if agents have no information about k. Specifically, on the
negative side, we show that in such a case, there is no algorithm whose
competitiveness is O(log k). On the other hand, we show that for every constant
\epsilon \textgreater{} 0, there exists a rather simple uniform search
algorithm which is -competitive. In addition, we give
a lower bound for the setting in which agents are given some estimation of k.
As a special case, this lower bound implies that for any constant \epsilon
\textgreater{} 0, if each agent is given a (one-sided)
-approximation to k, then the competitiveness is (log k).
Informally, our results imply that the agents can potentially perform well
without any knowledge of their total number k, however, to further improve,
they must be given a relatively good approximation of k. Finally, we propose a
uniform algorithm that is both efficient and extremely simple suggesting its
relevance for actual biological scenarios
Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication
We consider the ANTS problem [Feinerman et al.] in which a group of agents
collaboratively search for a target in a two-dimensional plane. Because this
problem is inspired by the behavior of biological species, we argue that in
addition to studying the {\em time complexity} of solutions it is also
important to study the {\em selection complexity}, a measure of how likely a
given algorithmic strategy is to arise in nature due to selective pressures. In
more detail, we propose a new selection complexity metric , defined for
algorithm such that , where is
the number of memory bits used by each agent and bounds the fineness of
available probabilities (agents use probabilities of at least ). In
this paper, we study the trade-off between the standard performance metric of
speed-up, which measures how the expected time to find the target improves with
, and our new selection metric.
In particular, consider agents searching for a treasure located at
(unknown) distance from the origin (where is sub-exponential in ).
For this problem, we identify as a crucial threshold for our
selection complexity metric. We first prove a new upper bound that achieves a
near-optimal speed-up of for . In particular, for , the speed-up is
asymptotically optimal. By comparison, the existing results for this problem
[Feinerman et al.] that achieve similar speed-up require . We then show that this threshold is tight by describing a
lower bound showing that if , then
with high probability the target is not found within moves per
agent. Hence, there is a sizable gap to the straightforward
lower bound in this setting.Comment: appears in PODC 201
Parallel Search with no Coordination
We consider a parallel version of a classical Bayesian search problem.
agents are looking for a treasure that is placed in one of the boxes indexed by
according to a known distribution . The aim is to minimize
the expected time until the first agent finds it. Searchers run in parallel
where at each time step each searcher can "peek" into a box. A basic family of
algorithms which are inherently robust is \emph{non-coordinating} algorithms.
Such algorithms act independently at each searcher, differing only by their
probabilistic choices. We are interested in the price incurred by employing
such algorithms when compared with the case of full coordination. We first show
that there exists a non-coordination algorithm, that knowing only the relative
likelihood of boxes according to , has expected running time of at most
, where is the expected running time of the best
fully coordinated algorithm. This result is obtained by applying a refined
version of the main algorithm suggested by Fraigniaud, Korman and Rodeh in
STOC'16, which was designed for the context of linear parallel search.We then
describe an optimal non-coordinating algorithm for the case where the
distribution is known. The running time of this algorithm is difficult to
analyse in general, but we calculate it for several examples. In the case where
is uniform over a finite set of boxes, then the algorithm just checks boxes
uniformly at random among all non-checked boxes and is essentially times
worse than the coordinating algorithm.We also show simple algorithms for Pareto
distributions over boxes. That is, in the case where for
, we suggest the following algorithm: at step choose uniformly
from the boxes unchecked in ,
where . It turns out this algorithm is asymptotically
optimal, and runs about times worse than the case of full coordination
Algorithmic Graph Theory
The main focus of this workshop was on mathematical techniques needed for the development of efficient solutions and algorithms for computationally difficult graph problems. The techniques studied at the workshhop included: the probabilistic method and randomized algorithms, approximation and optimization, structured families of graphs and approximation algorithms for large problems. The workshop Algorithmic Graph Theory was attended by 46 participants, many of them being young researchers. In 15 survey talks an overview of recent developments in Algorithmic Graph Theory was given. These talks were supplemented by 10 shorter talks and by two special sessions
- …