Universal sequences for complete graphs

Abstract An n-labeled complete digraph G is a complete digraph with n+1 vertices and n(n+1) edges labeled {1,2,…,n}∗ such that there is a unique edge of each label emanating from each vertex. A sequence S in {1,2,…,n}∗: and a starting vertex of G define a unique walk in G, in the obvious way. Suppose S is a sequence such that for each such G and each starting point in it, the corresponding walk contains all the vertices of G. We show that the length of S is at least Ω(n2), improving a previously known Ω(n log 2 n / log log n) lower bound of Bar-Noy, Borodin, Karchmer, Linial and Werman.

[1]  Stephen A. Cook,et al.  Space Lower Bounds for Maze Threadability on Restricted Machines , 1980, SIAM J. Comput..

[2]  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).

[3]  Allan Borodin,et al.  Bounds on Universal Sequences , 1989, SIAM J. Comput..

[4]  Claude Berge,et al.  Graphs and Hypergraphs , 2021, Clustering.