The focus of this paper is on demonstrating the existence of methods for stably performing set and multiset operations on sorted files of data in both optimal time and optimal extra space. It is already known that stable merging and stable duplicate-key extraction permit such methods. The major new results reported herein are thesean asymptotically optimal time and space algorithm is devised for stably selecting matched records from a sorted file,
this selection strategy is employed, along with other algorithmic tools, to prove that all of the elementary binary set operations can be stably performed in optimal time and space on sorted files, and
after generalizing these operations to multisets in a natural way for file processing, it is proved that each can be stably performed in optimal time and space on sorted files
[1]
Donald Ervin Knuth,et al.
The Art of Computer Programming
,
1968
.
[2]
Jeffrey S. Salowe,et al.
Stable Unmerging in Linear Time and Constant Space
,
1987,
Inf. Process. Lett..
[3]
Karel Hrbacek,et al.
Introduction to Set Theory
,
1978
.
[4]
Edward C. Horvath,et al.
Stable Sorting in Asymptotically Optimal Time and Extra Space
,
1978,
JACM.
[5]
Luis I. Trabb-Pardo.
Stable sorting and merging with optimal space and time bounds.
,
1974
.
[6]
Edward M. Reingold,et al.
On the Optimality of Some Set Algorithms
,
1972,
JACM.