Изменения

merge (array a, array bint left, int middle, int right) // a left - левая половина (от l до m)граница, b right - правая половина (от m , middle - середина array b = a[middle + 1 до r), right]; i = lleft, j = m middle + 1, k = 0;

while i <= m middle and j <= rright

while i <= mmiddle

while j <= rright

Проще всего формализовать этот алгоритм рекурсивным способом. Функция сортирует участок массива от элемента с номером l left до элемен­та с номером rright:

<pre>sort(array a, int left, int right) // r right и l - left — правая и левая граница массива, m - middle — середина m middle = r right / 2 2 // делим на 2 половины if m middle == r right // условие выхода - — если массив стал состоять из 1 элемента

sort (a[l..m] // рекурсивная сортировка правой и левой частей, в функцию передаются левая и правая границы массиваleft, middle) sort (a[m, middle +1..r], right) merge (array a[l..m], a[m+1..r]left, middle, right) // делаем процедуру слияния 2х отсортированных половинок

Чтобы оценить время работы этого алгоритма, составим рекуррентное соотношение. Пускай <tex>T(n)</tex> - — время сортировки массива длины n, тогда для сортировки слиянием справедливо <tex>T(n)=2T(n/2)+O(n)</tex> <br>(<tex>O(n)</tex> - — это время, необходимое на то, чтобы слить два массива). Распишем это соотношение:

Осталось оценить <tex>k</tex>. Мы знаем, что <tex>2^k=n</tex>, а значит <tex>k=\log(n)</tex>. Уравнение примет вид <tex>T(n)=nT(1)+ \log(n)O(n)</tex>. Так как <tex>T(1)</tex> - — константа, то <tex>T(n)=O(n)+\log(n)O(n)=O(n\log(n))</tex>.

*[http://ru.wikipedia.org/wiki/Mergesort Википедия - — сортировка слиянием]

*[http://www.sorting-a\logorithmsalgorithms.com/merge-sort Сортировка слиянием, анимация и свойства (англ.)]