If the high pile contains all the elements that are ≥ p, then p cannot be in a separate slot. It looks to me that it should be simply "all the elements that are > p."a low pile containing all the elements that are < p, and a high pile containing all the elements that are ≥ p. Low and high denote the array positions into which we place the respective piles, leaving a single slot between them for p.
Более того, во 2-м издании, так и было (т.е., верхняя часть содержала элементы > p). Тогда часть "leaving a single slot between them for p" имела смысл. Я перевел эту часть отдельным предложением "Элемент р занимает отдельную ячейку между этими двумя частями.", но редактор почему то убрал этот перевод. В любом случае, его нет в конечной версии.
А нет, т.е., есть. Но только не в том месте. Поставил туда, где это предложение должно быть - в конец первого абзаца.
Но часть до "Более того..." все равно под вопросом.