Алгоритмична схема Разделяй-и-Владей -- същност на схемата.

Алгоритъм SELECT.  Процедурата PARTITION-SELECT без доказателството
за коректност, а само кода и описание на резултата от работата.
Кодът на SELECT плюс доказателство за коректност (Теорема 69), горе-долу
на нивото на детайлност от лекционните записки.  Без примера за
работата на SELECT, естествено.

Доказателство, че SELECT е линеен алгоритъм -- Теорема 70.
Без картинките, картинките са с учебна цел.  Трябва да се
изведе рекурентното уравнение, като се обоснове защо то
описва сложността по време, и да се реши уравнението
по индукция.  Решаването на уравнението може да стане
или чрез формулиране и доказване на Теорема 39, която е
по-обща, или чрез решаването на конкретното уравнение
по индукция.

Алгоритъм MERGESORT.  Накратко, общо описание на
идеята на алгоритъма, описание на това, как се
вписва в схемата Разделяй-и-Владей, и как се
различава от QUICKSORT по отношение на схемата Разделяй-и-Владей.
Процедурата MERGE с псевдокод и доказателство за коректност (Теорема 71),
без вложената Лема 30.  MERGESORT с псевдокод и доказателство за
коректност (Теорема 72).  Съвсем накратко извеждане
на сложността по време на MERGESORT.

Алгоритъм QUICKSORT.   Накратко, общо описание на
идеята на алгоритъма, описание на това, как се
вписва в схемата Разделяй-и-Владей, и как се
различава от MERGESORT по отношение на схемата Разделяй-и-Владей.
Процедурата PARTITION във варианта PARTITION-LOMUTO:
псевдокод, доказателство за коректност (Теорема 74).
Извеждане на сложността по време на QUICKSORT в най-лошия
случай (worst case complexity) и във средния случай (average case complexity).