Mutual Search

dc.creatorBuhrman, Harry
dc.creatorFranklin, Matthew
dc.creatorGaray, Juan A.
dc.creatorHoepman, Jaap-Henk
dc.creatorTromp, John
dc.creatorVitanyi, Paul
dc.date1999-02-02
dc.date.accessioned2026-07-07T03:23:56Z
dc.date.available2026-07-07T03:23:56Z
dc.descriptionWe introduce a search problem called ``mutual search'' where $k$ \agents, arbitrarily distributed over $n$ sites, are required to locate one another by posing queries of the form ``Anybody at site $i$?''. We ask for the least number of queries that is necessary and sufficient. For the case of two \agents using deterministic protocols we obtain the following worst-case results: In an oblivious setting (where all pre-planned queries are executed) there is no savings: $n-1$ queries are required and are sufficient. In a nonoblivious setting we can exploit the paradigm of ``no news is also news'' to obtain significant savings: in the synchronous case $0.586n$ queries suffice and $0.536n$ queries are required; in the asynchronous case $0.896n$ queries suffice and a fortiori 0.536 queries are required; for $o(\sqrt{n})$ \agents using a deterministic protocol less than $n$ queries suffice; there is a simple randomized protocol for two \agents with worst-case expected $0.5n$ queries and all randomized protocols require at least $0.125n$ worst-case expected queries. The graph-theoretic framework we formulate for expressing and analyzing algorithms for this problem may be of independent interest.
dc.description18 pages, Latex, 5 figures, J. Assoc. Comp. Mach., To appear
dc.identifierhttps://arxiv.org/abs/cs/9902005
dc.identifierhttp://arxiv.org/abs/cs/9902005
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/33138
dc.subjectData Structures and Algorithms
dc.subjectComputational Complexity
dc.subjectDatabases
dc.subjectDistributed, Parallel, and Cluster Computing
dc.subjectDiscrete Mathematics
dc.subjectInformation Retrieval
dc.subjectF.2,C.2,E,1,D.4.4
dc.titleMutual Search
dc.typetext

Files

Collections