4876

Быстрая сортировка и способы ее реализации в программировании

Лекция

Информатика, кибернетика и программирование

Быстрая сортировка. Быстрая сортировка (quicksort) является одним из наиболее эффективных алгоритмов сортировки. В основе его лежит идея декомпозиции, т.е. поэтапного сведения исходной задачи к набору аналогичных, но более простых, вплоть до т...

Русский

2012-11-28

72.5 KB

20 чел.

Быстрая сортировка.

Быстрая сортировка (quick sort) является одним из наиболее эффективных алгоритмов сортировки. В основе его лежит идея декомпозиции, т.е. поэтапного сведения исходной задачи к набору аналогичных, но более простых, вплоть до тривиальных, а затем объединения результатов. Подход можно описать в виде трех этапов:

 Разделение. Массив A[p,r] разбивается на два подмассива A[p,q] и A[q+1,r] (возможно, пустые) так, чтобы все элементы первого были меньше элементов второго. С этой целью в исходном массиве выбирается «опорный» элемент M, определяющий границу разбиения: все элементы со значениями меньшими M, перемещаются в первый подмассив, а элементы со значениями большими либо равными M, размещаются во втором.

 Решение подзадач. К каждому из двух полученных массивов рекурсивно применяется та же самая процедура. Поскольку все значения элементов первого массива меньше значений во втором массиве, исходный массив будет отсортирован правильно. В процессе последовательного разделения задача постепенно сведется к сортировке подмассивов, содержащих не более двух элементов, которая решается тривиально.

 Объединение результатов. В данном алгоритме подзадачи (т.е сортировка подмассивов) решаются «на месте», поэтому никаких специальных действий для объединения результатов не потребуется.

Существенным вопросом в этом алгоритме является выбор опорного элемента M. Нетрудно видеть, что наиболее эффективной стратегией был бы выбор медианного элемента массива, что обеспечивало бы разделение массива на две примерно равные части. Однако, определение медианного элемента повлекло бы дополнительные вычислительные затраты, поэтому чаще всего в качестве опорного выбирают элемент, расположенный посередине массива.

Рис. 1. Процедура разделения.

void quickSort( double * A, int first, int last )

{

   int i = first, j = last;

 // Выбираем "опорный" элемент

 double med = A[ (first + last) / 2 ];

 

 // Разбиваем массив на 2 части относительно

 // "опорного" элемента

do 

{

       while ( A[i] < med )

  i++;

       while ( A[j] > med )

  j--;

 

       if ( i <= j )

  {

           double tmp = A[i];

    A[i] = A[j];

  A[j] = tmp;

   

  i++;

           j--;

       }

   }

   while ( i <= j );

 

 // Рекурсивно применяем ту жу процедуру к

 // обеим частям массива

   if ( i < last )

       quickSort( A, i, last );

   if ( first < j )

       quickSort( A, first, j );

}

Несмотря на все положительные качества быстрой сортировки, базовый вариант алгоритма обладает недостатком: сортировка становится крайне неэффективной на некоторых часто встречающихся на практике типах входных данных. Например, если она применяется для сортировки уже отсортированной последовательности из N элементов, то все операции разделения вырождаются, и алгоритм рекурсивно вызовет сам себя N раз, перемещая за каждый вызов всего лишь один элемент. В этом, худшем, случае нетрудно оценить требуемое количество операций сравнения: N + (N-1) + …+ 2 + 1 = (N+1)N/2, что приводит к асимптотической оценке количества сравнений в худшем случае в O(N2).

В наиболее благоприятном случае, на каждой стадии разбиения последовательность делится на равные части. Это приводит к тому, что количество операций сравнения удовлетворяет рекуррентному соотношению:

CN = 2CN/2 + N.

Можно доказать, что решением этого соотношения будет CNN logN. Асимптотическая оценка среднего случая приводит к аналогичной величине.

Большая глубина рекурсивных вызовов может быть серьезной проблемой при использовании быстрой сортировки для очень длинных последовательностей. При использовании базового варианта алгоритма, даже короткие участки последовательности будут сортироваться по тому же принципу, при этом, количество вызовов алгоритма для коротких блоков на самых «глубоких» уровнях рекурсии будет очень велико. Сократить расходы на рекурсивный вызов алгоритма для коротких блоков можно простым способом – ввести ограничение на минимальный размер блока, для которого вместо алгоритма быстрой сортировки будет вызван другой, нерекурсивный, метод сортировки, например, сортировка вставками. Определение фактического значения этого порогового значения можно путем анализа скорости работы алгоритма на ожидаемых на практике последовательностях.

Ещё одно из возможных усовершенствований алгоритма быстрой сортировки заключается в использовании такого опорного элемента, который с большой вероятностью приводил к разделению последовательности на примерно равные части. Наиболее безопасный выбор, минимизирующий вероятность возникновения наихудшего случая, обеспечивается использованием в качестве разделяющего случайного элемента массива. Такой метод представляет собой пример вероятностного алгоритма, когда используется случайный характер величин для достижения высокой эффективности с большой вероятностью, независимо от степени упорядоченности входных данных.

Другой часто используемый способ нахождения подходящего разделяющего элемента заключается в том, что производится выборка трёх элементов из последовательности, а затем в качестве разделяющего используется медиана из этих трех элементов. Такой выбор основывается на том, что в среднем, медиана из трех элементов даст грубую оценку медианы всей последовательности.

Ещё один особый случай, в котором быстрая сортировка неэффективна – последовательность, содержащая большое количество (в предельном случае – все) дублирующихся элементов. В таком случае в качестве усовершенствования можно предложить разбивать последовательность не на две, а на три части: первая – для элементов меньших опорного, вторая – для элементов, равных ему, третья – для элементов, больших опорного. Однако, выполнение такого разделения реализуется гораздо сложнее.

Быстрая сортировка нашла широкое применение в связи с тем, что она эффективно работает в большинстве случаев. Другие методы работают лучше только в некоторых особых ситуациях, время от времени встречающихся на практике.


2

0

1

5

9

8

6

12

2

7

3

4

2

4

1

5

9

8

6

12

2

7

3

10

2

4

1

5

3

8

6

12

2

7

9

10

2

4

1

5

3

7

6

12

2

8

9

10

2

4

1

5

3

7

6

2

12

8

9

10


 

А также другие работы, которые могут Вас заинтересовать

10684. Кавказ - Шевченко Тарас - КАВКАЗ (Поема) 15.16 KB
  Кавказ Шевченко Тарас КАВКАЗ Поема Кавказькі гори засіяні горем кровію политі тривалий час там іде війна. Споконвіку там орел символ російського самодержавства карає Прометея символ нескореного народу та не в змозі остаточно здолати непокірного титана: Не в
10685. Іван Підкова - Шевченко Тарас - ІВАН ПІДКОВА (Поема) 13.53 KB
  Іван Підкова Шевченко Тарас ІВАН ПІДКОВА Поема 1 Поет оспівує козацькі часи в Україні. Запорожці вміли воювати добувати славу і волю. Від тієї слави лишилися тільки високі могили що про волю нишком в полі з вітрами говорять. Та згадка про ті славні часи може заспо
10686. Наталка Полтавка - Котляревський Іван 15.15 KB
  Наталка Полтавка Котляревський Іван Українська опера на дві дії Дійові особи: Наталка українська дівчина. Горпина Терпилиха її мати. Петро коханий Наталки. Микола далекий родич Терпилихи. Тетерваковський возний жених Наталчин. Макогоненко сільський вибо
10687. Маруся - Квітка-Основяненко 16.75 KB
  Маруся Квітка-Основяненко Наум Дрот та його дружина були людьми богобоязними та праведними. В усьому вони дотримуються Божого і морального людського закону. За це Бог допомагає їм. За молитви й невпинну працю дає їм Бог донечку. Дитина теж росте слухняна покірна на ву
10688. Чорна рада - Пантелеймон Куліш - Хроніка 1663 року 20.2 KB
  Чорна рада Пантелеймон Куліш Хроніка 1663 року І Навесні двоє верхових наближалися до Києва Білгородським шляхом. Де їхали полковник Шрам із сином. Полковник був сином поволоцького попа вивчився на попа але потім пішов до козаків. Після поразки повстання полковник дес...
10689. Вовчок Марко - Максим Гримач 14.49 KB
  Вовчок Марко Максим Гримач Давно це було коли панували в Україні Польща і Московщина. Застави між державами хоч і стояли та не густо спритні люди часто перевозили Дніпром усякий крам не сплачуючи мита. Навпроти Черкас над Дніпром стояв хутір Максима Гримача. Чолові
10690. Кайдашева сімя - Нечуй-Левицький Іван 17.95 KB
  Кайдашева сімя НечуйЛевицький Іван І Село Семигори знаходиться недалеко коло Росі ховається воно в зелених садах навколо розстилаються левади. Хата Омелька Кайдаша притулилася біля однієї гори в старому садку. Старий Кайдаш сидить коло повітки та майструє одягнен...
10691. Хіба ревуть воли, як ясла повні? - Мирний Панас - Роман з народного життя 25.69 KB
  Хіба ревуть воли як ясла повні Мирний Панас Роман з народного життя ЧАСТИНА ПЕРША І Польова царівна Надворі вповні розвинулася весна вся природа буяє. В такий прекрасний весняний день дорогою від села Пісок до Ромодана йшов молодий чоловік. Він із задоволенням розг
10692. Мартин Боруля - Карпенко-Карий Іван 17.35 KB
  Мартин Боруля КарпенкоКарий Іван Мартин Боруля багатий шляхтич чиншовик той хто платить за оренду землі якомусь іншому власникові просить повіреного Трандалєва прочитати документ де вказано що Дворянскоє депутатскоє собраніє зачисляє його Борулю до дворянс