Algorithmadvanced
External samplesort
Also called external sample sort, external distribution sort.
Pick splitters from a sample, partition records into buckets in one pass, and sort each bucket recursively.
Pick splitters from a sample, partition records into buckets in one pass, and sort each bucket recursively.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag PAB348 Edit this page History Report an error