Алгоритмы внутренней сортировки Обменная сортировка (метод пузырька) Простая обменная сортировка (в просторечии называемая "методом пузырька") для массива a[1], a[2], ..., a[n] работает следующим образом. Начиная с конца массива сравниваются два соседних элемента (a[n] и a[n-1]). Если выполняется условие a[n-1] > a[n], то значения элементов меняются местами. Процесс продолжается для a[n-1] и a[n-2] и т.д., пока не будет произведено сравнение a[2] и a[1]. Понятно, что после этого на месте a[1] окажется элемент массива с наименьшим значением. На втором шаге процесс повторяется, но последними сравниваются a[3] и a[2]. И так далее. На последнем шаге будут сравниваться только текущие значения a[n] и a[n-1]. Понятна аналогия с пузырьком, поскольку наименьшие элементы (самые "легкие") постепенно "всплывают" к верхней границе массива. ^ Сортировка простыми вставками. При сортировке исходный массив разбивается на две части:A[1], A[2], ..., A[k-1] - отсортированную частьA[k], ...,A[n] - не отсортированную часть.На k - м шаге элемент A[k] включается в отсортированную часть, на соответствующее место. При этом часть элементов, больших A[k], (если таковые есть) сдвигаются на одну позицию правее, чтобы освободить место для элемента A[k]. Прежде чем производить сдвиг элементов необходимо сохранить значение A[k] во временной переменной B.Так как массив из одного элемента можно считать отсортированным, алгоритм начинается с k=2.^ Сортировка выбором. В этом методах массив также делится на уже отсортированную часть A[1], ..., A[k-1] и не отсортированную A[k], ..., A[n]. Из не отсортированной части на каждом шаге извлекается минимальный элемент. Он будет максимальным элементом отсортированной части, так как все меньшие его элементы извлечены на предыдущих шагах, поэтому извлеченный элемент ставится в конец отсортированной части.В начальный момент при k = 1 отсортированная часть будет пустой.Сортировка слиянием.Рассмотрим процедуру преобразования k-упорядоченного массива в 2k-упорядоченный. Сгруппируем все подмассивы длины k в пары подмассивов. Теперь пару упорядоченных подмассивов сольем в один упорядоченный подмассив. Проделав это со всеми парами, мы получим 2k-упорядоченный массив.Слияние требует вспомогательного массива для записи результатов слияния - обозначим его B. Через i0 и k0 обозначим номера последних элементов участков, подвергшихся слиянию, s0 - последний записанный в массив B элемент. На каждом шаге слияния производится одно из двух действий:Первое действие (взятие элемента из первого отрезка) может производиться при двух условиях:(1) первый отрезок не кончился (i0 (2) второй отрезок кончился (k0 = l) или не кончился, но элемент в нем не меньше [(k0 Аналогично для второго действия. Итак, получаем(Если оба отрезка не кончены и первые невыбранные элементы в них равны, то допустимы оба действия; в программе выбрано первое.)Осталось собрать программу в одно целое:Сразу же бросается в глаза недостаток метода – он требует дополнительную память размером порядка N (для хранения вспомогательного массиваprocedure MergeLists(i,j,k,l:integer);{процедура слияния двух отрезков}{i,j – номера первого и последнего элементов левого отрезка}{k,l – номера первого и последнего элементов правого отрезка}{i0,k0 – номера текущих элементов левого и правого отрезков}{s0 – номер текущего элемента в массиве B} var i0,k0,s0,m:integer; begin i0:=i;k0:=k;s0:=i; while (i0 begin if S[i0] Begin{берем из левого отрезка} B[s0] := S[i0]; Inc(i0); end else {берем из правого отрезка} begin B[s0] := S[k0]; Inc(k0); end; Inc(s0); end; {если в левом отрезке остались элементы } if i0 {если в правом отрезке остались элементы } if k0 for m:=i to l do S[m]:=B[m]; end;{Mergelists}Процедура слияния. procedure MergeSorts(l,f:integer); var m:integer; begin if(f-l)>0 then begin m:=(f+l-1) div 2; MergeSorts(l,m);MergeSorts(m+1,f); MergeLists(l,m,m+1,f); end; end;{MergeSorts}^ Сортировка методом Шелла. Этот метод назван по имени его изобретателя (D.L. Shell). Он построен на основе метода вставки с минимизацией промежуточных шагов. Сначала выполняется сортировка элементов, отстоящих друг от друга на три позиции. После этого сортируются элементы, отстоящие друг от друга на две позиции. Наконец выполняется сортировка смежных элементов. Точная последовательность изменения приращений может изменяться. Единственным требованием остается равенство последнего приращения 1. Например, хорошо себя зарекомендовала последовательность 9, 5, 3, 2, 1, которая использована в нижеприведенном примере реализации алгоритма Шелла. Избегайте последовательностей степеней 2, поскольку математически строго доказано, что это снижает эффективность алгоритма (который, тем не менее, работает и в этом случае). void shall_sort(int *array, int n){ int i, j, k, gap, temp; int a[] = {9, 5, 3, 2, 1}; for (k = 0; k gap = a[k]; for (i = gap; i temp = array[i]; for (j = i-gap; temp = 0; j-=gap) array[j+gap] = array[j]; array[j+gap] = temp; } }}Быстрая сортировка."Быстрая сортировка", хоть и была разработана более 40 лет назад, является наиболее широко применяемым и одним их самых эффективных алгоритмов.Метод основан на подходе "разделяй-и-властвуй". Общая схема такова: из массива выбирается некоторый опорный элемент a[i], запускается процедура разделения массива, которая перемещает все ключи, меньшие, либо равные a[i], влево от него, а все ключи, большие, либо равные a[i] - вправо, теперь массив состоит из двух подмножеств, причем левое меньше, либо равно правого,для обоих подмассивов: если в подмассиве более двух элементов, рекурсивно запускаем для него ту же процедуру. В конце получится полностью отсортированная последовательность.Рассмотрим алгоритм подробнее.^ Разделение массиваНа входе массив a[0]...a[N] и опорный элемент p, по которому будет производиться разделение. Введем два указателя: i и j. В начале алгоритма они указывают, соответственно, на левый и правый конец последовательности. Будем двигать указатель i с шагом в 1 элемент по направлению к концу массива, пока не будет найден элемент a[i] >= p. Затем аналогичным образом начнем двигать указатель j от конца массива к началу, пока не будет найден a[j] Далее, если i Повторяем шаг 3, пока i Рассмотрим работу процедуры для массива a[0]...a[6] и опорного элемента p = a[3].Теперь массив разделен на две части: все элементы левой меньше либо равны p, все элементы правой - больше, либо равны p. Разделение завершено.