Lower Bounds for Selection in X + Y and Other Multisets
- 1 October 1978
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 25 (4) , 556-570
- https://doi.org/10.1145/322092.322097
Abstract
It ~S known that the structure in the muhiset X + Y, for X and Y multlsets of n real numbers, enables selection to be performed more quickly than m other sets of size O(n 2) In this paper a lower bound of f~(max(n, K 1/2 log K)) is given for selecting the Kth element in X + X, and thus in X + Y, for K selecting the first through the median element Selection of gaps, that is, consecutive differences in a sorted order, is shown to be f~(n log n) for all K These results hold also when inputs are restricted to integers The problem of selection on X + X can be generalized to selection on the set of mulusets of size m chosen from X, where the multlsets are ranked on the sums of their elements When m and n grow, selection of the Kth largest muluset of size m is NP- hard when inputs are expressed in binary notation If subsets of Xare characterized as paths, orcmts, or spanning trees of an edge-weighted graph, then selecuon of the Kth largest such subset of X remains NP-hard It is not possible to show these problems to be NP-hard when inputs are expressed m unary, since algorithms exist which run m time polynomml m the sums of the values of the inputsKeywords
This publication has 10 references indexed in Scilit:
- Optimal Polyphase SortingSIAM Journal on Computing, 1977
- Efficient Algorithms for Shortest Paths in Sparse NetworksJournal of the ACM, 1977
- How good is the information theory bound in sorting?Theoretical Computer Science, 1976
- Priority queues with update and finding minimum spanning treesInformation Processing Letters, 1975
- Sorting X + YCommunications of the ACM, 1975
- Efficiency of a Good But Not Linear Set Union AlgorithmJournal of the ACM, 1975
- On the Optimality of Some Set AlgorithmsJournal of the ACM, 1972
- Reducibility among Combinatorial ProblemsPublished by Springer Nature ,1972
- Algorithm 97: Shortest pathCommunications of the ACM, 1962
- A Theorem on Boolean MatricesJournal of the ACM, 1962