Lower bounds for monotonic list labeling
We present optimal lower bound for special cases of the list labeling problem. This problem has diverse practical applications, including implementation of persistent data structures, in the incremental evaluation of computational circuits and in the maintenance of dense sequential files. We prove, under a reasonable restriction on the algorithms, that Ω(n log2n) relabelings are necessary when inserting n items into list monotonically labeled from a label space of size O(n). We also prove that Ω(n log n) relabelings are required in the case of a label space of polynomial size.
KeywordsBoundary Element Smoothness Condition Incremental Evaluation Label Problem Label Space
Unable to display preview. Download preview PDF.
- Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, and F. Kenneth Zadeck. Incremental evaluation of computational circuits. In Proc. 1st Annual ACM-SIAM Symp. on Disc. Alg., pages 32–42, January 1990.Google Scholar
- Cecelia R. Aragon and Raimund G. Seidel. Randomized search trees. In Proc. 30th Ann. IEEE Symp. on Foundations of Computer Science, pages 540–545, October 1989.Google Scholar
- Paul F. Dietz. Maintaining order in a linked list. In Proc. 14th ACM STOC, pages 122–127, May 1982.Google Scholar
- Paul F. Dietz. Fully persistent arrays. In Workshop on Algorithms and Data Structures, pages 67–74, August 1989.Google Scholar
- Paul F. Dietz and Daniel D. Sleator. Two algorithms for maintaining order in a list. In Proc. 19th ACM STOC, pages 365–372, May 1987. A revised version of the paper is available that tightens up the analysis.Google Scholar
- James R. Driscoll, Neil Sarnak, Daniel D. Sleator, and Robert E. Tarjan. Making data structures persistent. JCSS, 38(1):86–124, April 1989.Google Scholar
- A. Itai, A. G. Konheim, and M. Rodeh. A spare table implementation of sorted sets. Research Report RC 9146, IBM, November 1981.Google Scholar
- Robert Melville and David Gries. Sorting and searching using controlled density arrays. Tech Report 78-362, Dept. of Computer Science, Cornell U., 1978.Google Scholar
- Robert E. Tarjan. Amortized computational complexity. SIAM J. on Alg. and Disc. Meth., 6(2):306–318, 1985.Google Scholar
- A. K. Tsakalidis. Maintaining order in a generalized linked list. Acta. Info., 21(1):101–112, 1984.Google Scholar
- Dan E. Willard. Maintaining dense sequential files in a dynamic environment. In Proc. 14th ACM STOC, pages 114–121, May 1982.Google Scholar
- Dan E. Willard. Good worst-case algorithms for inserting and deleting records in dense sequential files. In ACM SIGMOD 86, pages 251–260, May 1986.Google Scholar