Deterministic rendezvous, treasure hunts and strongly universal exploration sequences

We obtain several improved solutions for the deterministic rendezvous problem in general undirected graphs. Our solutions answer several problems left open in a recent paper by Dessmark et al. We also introduce an interesting variant of the rendezvous problem which we call the deterministic treasure hunt problem. Both the rendezvous and the treasure hunt problems motivate the study of universal traversal sequences and universal exploration sequences with some strengthened properties. We call such sequences strongly universal traversal (exploration) sequences. We give an explicit construction of strongly universal exploration sequences. The existence of strongly universal traversal sequences, as well as the solution of the most difficult variant of the deterministic treasure hunt problem, are left as intriguing open problems.

[1]  Reuven Bar-Yehuda,et al.  Privacy, additional information and communication , 1993, IEEE Trans. Inf. Theory.

[2]  M. Karonski Collisions among Random Walks on a Graph , 1993 .

[3]  Noga Alon,et al.  The Probabilistic Method, Second Edition , 2004 .

[4]  David Chaum,et al.  Multiparty unconditionally secure protocols , 1988, STOC '88.

[5]  Qin Xin,et al.  Faster Treasure Hunt and Better Strongly Universal Exploration Sequences , 2007, ISAAC.

[6]  Dariusz R. Kowalski,et al.  How to Meet in Anonymous Network , 2006, SIROCCO.

[7]  O. Reingold CS 369 E : Expanders May 16 , 2005 Lecture 8 : Undirected Connectivity is in logspace , 2005 .

[8]  Omer Reingold,et al.  Undirected connectivity in log-space , 2008, JACM.

[9]  D. Aldous Meeting times for independent Markov chains , 1991 .

[10]  P. Erdos-L Lovász Problems and Results on 3-chromatic Hypergraphs and Some Related Questions , 2022 .

[11]  Andrzej Pelc,et al.  Polynomial Deterministic Rendezvous in Arbitrary Graphs , 2004, ISAAC.

[12]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[13]  Michal Koucký,et al.  Universal traversal sequences with backtracking , 2001, Proceedings 16th Annual IEEE Conference on Computational Complexity.

[14]  Andrzej Pelc,et al.  Asynchronous Deterministic Rendezvous in Graphs , 2005, MFCS.

[15]  Felix Brandt,et al.  On the Existence of Unconditionally Privacy-Preserving Auction Protocols , 2008, TSEC.

[16]  Takeshi Tokuyama Proceedings of the 18th international conference on Algorithms and computation , 2007 .

[17]  Andrzej Pelc,et al.  Deterministic Rendezvous in Graphs , 2003 .

[18]  Richard J. Lipton,et al.  Random walks, universal traversal sequences, and the complexity of maze problems , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).