• Corpus ID: 5451516

The Art of Computer Programming, Volume III: Sorting and Searching

@inproceedings{Knuth1973TheAO,
  title={The Art of Computer Programming, Volume III: Sorting and Searching},
  author={Donald Ervin Knuth},
  year={1973}
}
  • D. Knuth
  • Published 24 April 1998
  • Computer Science
A Detailed Analysis of Quicksort Running Time
TLDR
This work finds explicit expressions for the first eight moments, their scaled limits, and describes how to compute, approximately (but very accurately), percentiles of running time for any list-length.
SAT and CP - Parallelisation and Applications
TLDR
This thesis considers the parallelisation and application of SAT and CP solvers, and considers the question how many parallel sorting steps are needed to sort some inputs, and presents both lower and upper bounds for several cases.
Optimal-depth sorting networks
D ec 2 01 4 Optimal-Depth Sorting Networks ∗
TLDR
This article presents a general technique for obtaining optimality results, and uses it to prove the optimality of the remaining open cases of 11 ≤ n ≤ 16 inputs, and shows that the sorting networks listed by Knuth are optimal.
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes
TLDR
An improved notion of symmetry is provided and a novel technique based on regular languages and graph isomorphism is shown to generate the set of non-symmetric representations that outperforms the naive generate-and-test approach by orders of magnitude and easily scales until n = 40.
Optimal Sorting Networks
TLDR
This paper gives general combinatorial arguments showing that if a sorting network with a given depth exists then there exists one with a special form, and constructs propositional formulas whose satisfiability is necessary for the existence of such a network.
Resolução da Heterogeneidade na Identificação de Pacientes (Resolution of Heterogeneity in the Identification of Patients) [in Portuguese]
TLDR
The QFS measure is developed, which takes in consideration the statistical distribution of names and cultural factors and shows that QFSmeasure is superior to several existing methods for matching names.
Balanced binary trees in the Tamari lattice
TLDR
It is shown that the set of balanced binary trees is closed by interval in the Tamari lattice and the intervals (T0;T1) where T0 and T1 are balanced trees are isomorphic as posets to a hypercube.
On the optimal time/space tradeoff for hash tables
TLDR
This paper obtains a constant-time dynamic filter that uses n ⌈logє−1 ⌉+ n loge + o(n) bits of space for a wide choice of false-positive rates є, resolving a long-standing open problem for the design of dynamic filters.
Linear Probing Revisited: Tombstones Mark the Demise of Primary Clustering
TLDR
It turns out that small design decisions in how deletions are implemented have dramatic effects on the asymptotic performance of insertions, and a new variant of linear probing is presented, which is called graveyard hashing, that completely eliminates primary clustering on any sequence of operations.
...
...