SlideShare a Scribd company logo
Quicksort
2
Introduction
 Fastest known sorting algorithm in practice
 Average case: O(N log N)
 Worst case: O(N2)
 But, the worst case seldom happens.
 Another divide-and-conquer recursive
algorithm, like mergesort
3
Quicksort
 Divide step:
 Pick any element (pivot) v in S
 Partition S – {v} into two disjoint groups
S1 = {x  S – {v} | x <= v}
S2 = {x  S – {v} | x  v}
 Conquer step: recursively sort S1 and S2
 Combine step: the sorted S1 (by the time
returned from recursion), followed by v,
followed by the sorted S2 (i.e., nothing extra
needs to be done)
v
v
S1 S2
S
4
Example
5
6
Pseudocode
Input: an array a[left, right]
QuickSort (a, left, right) {
if (left < right) {
pivot = Partition (a, left, right)
Quicksort (a, left, pivot-1)
Quicksort (a, pivot+1, right)
}
}
MergeSort (a, left, right) {
if (left < right) {
mid = divide (a, left, right)
Quicksort (a, left, mid-1)
Quicksort (a, mid+1, right)
merge(a, left, mid+1, right)
}
}
Compare with MergeSort:
7
Two key steps
 How to pick a pivot?
 How to partition?
8
Pick a pivot
 Use the first element as pivot
 if the input is random, ok
 if the input is presorted (or in reverse order)
all the elements go into S2 (or S1)
this happens consistently throughout the recursive calls
Results in O(n2) behavior (Analyze this case later)
 Choose the pivot randomly
 generally safe
 random number generation can be expensive
9
In-place Partition
 If use additional array (not in-place) like MergeSort
Straightforward to code like MergeSort (write it down!)
Inefficient!
 Many ways to implement
 Even the slightest deviations may cause
surprisingly bad results.
Not stable as it does not preserve the ordering of the
identical keys.
Hard to write correctly 
10
int partition(a, left, right, pivotIndex) {
pivotValue = a[pivotIndex];
swap(a[pivotIndex], a[right]);
// Move pivot to end
storeIndex = left;
for (i from left to right) {
if a[i] < pivotValue
swap(a[storeIndex], a[i]);
storeIndex = storeIndex + 1 ;
}
swap(a[right], a[storeIndex]);
// Move pivot to its final place
return storeIndex;
}
Look at Wikipedia
An easy version of in-place partition to understand,
but not the original form
11
quicksort(a,left,right) {
if (right>left) {
pivotIndex = left;
select a pivot value a[pivotIndex];
pivotNewIndex=partition(a,left,right,pivotIndex);
quicksort(a,left,pivotNewIndex-1);
quicksort(a,pivotNewIndex+1,right);
}
}
12
Partition variant
 Want to partition an array A[left .. right]
 First, get the pivot element out of the way by swapping it with the
last element. (Swap pivot and A[right])
 Let i start at the first element and j start at the next-to-last
element (i = left, j = right – 1)
pivot i j
5 6 4 6 3 12 19 5 6 4 6
3 12
19
swap
13
 Want to have
 A[x] <= pivot, for x < i
 A[x] >= pivot, for x > j
 When i < j
 Move i right, skipping over elements smaller than the pivot
 Move j left, skipping over elements greater than the pivot
 When both i and j have stopped
A[i] >= pivot
A[j] <= pivot
i j
5 6 4 6
3 12
19
i j
5 6 4 6
3 12
19
i j
<= pivot >= pivot
14
 When i and j have stopped and i is to the left of j
 Swap A[i] and A[j]
The large element is pushed to the right and the small element is
pushed to the left
 After swapping
A[i] <= pivot
A[j] >= pivot
 Repeat the process until i and j cross
swap
i j
5 6 4 6
3 12
19
i j
5 3 4 6
6 12
19
15
 When i and j have crossed
 Swap A[i] and pivot
 Result:
 A[x] <= pivot, for x < i
 A[x] >= pivot, for x > i
i j
5 3 4 6
6 12
19
i
j
5 3 4 6
6 12
19
i
j
5 3 4 6 6 12 19
16
void quickSort(int a[], int left, int right) {
int i = left;
int j = right;
if (right - left >= 1) {
int pivot = a[left];
while (j > i) {
while ((a[i]<=pivot) && (i<=right) && (j>i))
i++;
while ((a[j]>pivot) && (j>=left) && (j>=i))
j--;
if (j > i)
swap(a, i, j);
}
swap(a, left, j);
quickSort(a, left, j - 1);
quickSort(a, j + 1, right);
}
else { return; }
}
quickSort(a,0,size-1);
Implementation (put the pivot on the leftmost instead of rightmost)
Change it into the rightmost …
17
void quickSort(int array[])
// pre: array is full, all elements are non-null integers
// post: the array is sorted in ascending order
{
quickSort(array, 0, array.length - 1); // quicksort all the elements in the array
}
void quickSort(int array[], int start, int end)
{
int i = start; // index of left-to-right scan
int k = end; // index of right-to-left scan
if (end - start >= 1) // check that there are at least two elements to sort
{
int pivot = array[start]; // set the pivot as the first element in the partition
while (k > i) // while the scan indices from left and right have not met,
{
while (array[i] <= pivot && i <= end && k > i) // from the left, look for the first
i++; // element greater than the pivot
while (array[k] > pivot && k >= start && k >= i) // from the right, look for the first
k--; // element not greater than the pivot
if (k > i) // if the left seekindex is still smaller than
swap(array, i, k); // the right index, swap the corresponding elements
}
swap(array, start, k); // after the indices have crossed, swap the last element in
// the left partition with the pivot
quickSort(array, start, k - 1); // quicksort the left partition
quickSort(array, k + 1, end); // quicksort the right partition
}
else // if there is only one element in the partition, do not do any sorting
{
return; // the array is sorted, so exit
}
}
void swap(int array[], int index1, int index2) {…}
// pre: array is full and index1, index2 < array.length
// post: the values at indices 1 and 2 have been swapped
Adapted from http://www.mycsresource.net/articles/programming/sorting_algos/quickso
18
Use the median of the array
 Partitioning always cuts the array into roughly half
 An optimal quicksort (O(N log N))
 However, hard to find the exact median
e.g., sort an array to pick the value in the middle
Pick a better Pivot
19
median of three
 We will use median of three
 Compare just three elements: the leftmost, rightmost and center
 Swap these elements if necessary so that
A[left] = Smallest
A[right] = Largest
A[center] = Median of three
 Pick A[center] as the pivot
 Swap A[center] and A[right – 1] so that pivot is at second last position
(why?)
median3
20
pivot
5 6 4
6
3 12 19
2 13 6
5 6 4 3 12 19
2 6 13
A[left] = 2, A[center] = 13,
A[right] = 6
Swap A[center] and A[right]
5 6 4 3 12 19
2 13
pivot
6
5 6 4 3 12
19
2 13
Choose A[center] as pivot
Swap pivot and A[right – 1]
Note we only need to partition A[left + 1, …, right – 2]. Why?
21
 Works only if pivot is picked as
median-of-three.
 A[left] <= pivot and A[right] >= pivot
 Thus, only need to partition A[left +
1, …, right – 2]
 j will not run past the beginning
 because a[left] <= pivot
 i will not run past the end
 because a[right-1] = pivot
The coding style is efficient, but hard to read 
22
i=left;
j=right-1;
while (1) {
do i=i+1;
while (a[i] < pivot);
do j=j-1;
while (pivot < a[j]);
if (i<j) swap(a[i],a[j]);
else break;
}
23
Small arrays
 For very small arrays, quicksort does not
perform as well as insertion sort
 how small depends on many factors, such as the
time spent making a recursive call, the compiler,
etc
 Do not use quicksort recursively for small
arrays
 Instead, use a sorting algorithm that is efficient for
small arrays, such as insertion sort
24
A practical implementation
For small arrays
Recursion
Choose pivot
Partitioning
25
Quicksort Analysis
 Assumptions:
 A random pivot (no median-of-three partitioning)
 No cutoff for small arrays
 Running time
 pivot selection: constant time, i.e. O(1)
 partitioning: linear time, i.e. O(N)
 running time of the two recursive calls
 T(N)=T(i)+T(N-i-1)+cN where c is a constant
 i: number of elements in S1
26
Worst-Case Analysis
 What will be the worst case?
 The pivot is the smallest element, all the time
 Partition is always unbalanced
27
Best-case Analysis
 What will be the best case?
 Partition is perfectly balanced.
 Pivot is always in the middle (median of the array)
28
Average-Case Analysis
 Assume
 Each of the sizes for S1 is equally likely
 This assumption is valid for our pivoting
(median-of-three) strategy
 On average, the running time is O(N log N)
(covered in comp271)
29
Quicksort is ‘faster’ than Mergesort
 Both quicksort and mergesort take O(N log N) in the
average case.
 Why is quicksort faster than mergesort?
 The inner loop consists of an increment/decrement (by 1,
which is fast), a test and a jump.
 There is no extra juggling as in mergesort.
inner loop

More Related Content

PPT
quick_sort_with_explanationandImplmentation.ppt
PPT
s4_quick_sort.ppt
PPTX
Quick sort.pptx
PPT
mergesSort/mnt/data/Merge_Sort_Seminary_Presentation.pptx.ppt
PPT
lecture14.pptJH5TVHY6B5TH JNR TN U5YNB JYM
PPT
Divide and conquer Partitioning: Choosing Pivot
PPT
sorting algorithms presentation for understanding
PPTX
Sorting2
quick_sort_with_explanationandImplmentation.ppt
s4_quick_sort.ppt
Quick sort.pptx
mergesSort/mnt/data/Merge_Sort_Seminary_Presentation.pptx.ppt
lecture14.pptJH5TVHY6B5TH JNR TN U5YNB JYM
Divide and conquer Partitioning: Choosing Pivot
sorting algorithms presentation for understanding
Sorting2

Similar to quicksort (1).ppt (20)

PDF
10 algos de tri
PPT
3.8 quick sort
PPT
Data Structure Sorting
PPTX
Introduction to Algorithms
PPTX
CSE680-07QuickSort.pptx
PPT
Sorting algos > Data Structures & Algorithums
PPTX
Quick sort
PPTX
Algorithms - "quicksort"
PPTX
Weak 11-12 Sorting update.pptxbhjiiuuuuu
PPTX
Randomized select algorithm and advance data structure
PPTX
09 QUICK SORT Design and Analysis of algorithms
PPTX
UNIT V Searching Sorting Hashing Techniques [Autosaved].pptx
PPTX
UNIT V Searching Sorting Hashing Techniques [Autosaved].pptx
PDF
Sorting Algorithms and their implementations
PPTX
Dsa – data structure and algorithms sorting
PPT
search_sort Search sortSearch sortSearch sortSearch sort
PPTX
Sorting techniques
PPT
14-sorting.ppt
PPT
14-sorting (3).ppt
PPT
14-sorting.ppt
10 algos de tri
3.8 quick sort
Data Structure Sorting
Introduction to Algorithms
CSE680-07QuickSort.pptx
Sorting algos > Data Structures & Algorithums
Quick sort
Algorithms - "quicksort"
Weak 11-12 Sorting update.pptxbhjiiuuuuu
Randomized select algorithm and advance data structure
09 QUICK SORT Design and Analysis of algorithms
UNIT V Searching Sorting Hashing Techniques [Autosaved].pptx
UNIT V Searching Sorting Hashing Techniques [Autosaved].pptx
Sorting Algorithms and their implementations
Dsa – data structure and algorithms sorting
search_sort Search sortSearch sortSearch sortSearch sort
Sorting techniques
14-sorting.ppt
14-sorting (3).ppt
14-sorting.ppt
Ad

More from Balasubramanian699229 (17)

PPTX
Ethics_Theories about right action..pptx
PPTX
Data raceData raceData raceData race.pptx
PPT
Distributed Shared memory architecture.ppt
PPT
OpenMP-Quinn17_L4bOpen <MP_Open MP_Open MP
PDF
Unit 2_ Flow & Error Control in computer networks
PDF
computer networks Error Detection Methods.pdf
PPTX
Engineers as experimenter in professional ethics
PPT
Introduction to Computers.ppt
PPT
Unit III.ppt
PPT
DATA COMMUNICATIONS.ppt
PDF
bargaining.pdf
PDF
occupational crime.pdf
PPTX
Civic Virtues_Unit1.pptx
PDF
Titanic-Powerpoint.pdf
PDF
3 Mile island.pdf
PPTX
Chernobyl_Nuclear_Disaster_ppt.pptx
Ethics_Theories about right action..pptx
Data raceData raceData raceData race.pptx
Distributed Shared memory architecture.ppt
OpenMP-Quinn17_L4bOpen <MP_Open MP_Open MP
Unit 2_ Flow & Error Control in computer networks
computer networks Error Detection Methods.pdf
Engineers as experimenter in professional ethics
Introduction to Computers.ppt
Unit III.ppt
DATA COMMUNICATIONS.ppt
bargaining.pdf
occupational crime.pdf
Civic Virtues_Unit1.pptx
Titanic-Powerpoint.pdf
3 Mile island.pdf
Chernobyl_Nuclear_Disaster_ppt.pptx
Ad

Recently uploaded (20)

PPTX
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
PPTX
MET 305 2019 SCHEME MODULE 2 COMPLETE.pptx
PPTX
additive manufacturing of ss316l using mig welding
PDF
keyrequirementskkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
PPTX
IOT PPTs Week 10 Lecture Material.pptx of NPTEL Smart Cities contd
PPTX
Sustainable Sites - Green Building Construction
PDF
Enhancing Cyber Defense Against Zero-Day Attacks using Ensemble Neural Networks
PDF
Mitigating Risks through Effective Management for Enhancing Organizational Pe...
PPTX
bas. eng. economics group 4 presentation 1.pptx
PPT
Mechanical Engineering MATERIALS Selection
PPTX
UNIT-1 - COAL BASED THERMAL POWER PLANTS
PPTX
Internet of Things (IOT) - A guide to understanding
PDF
BMEC211 - INTRODUCTION TO MECHATRONICS-1.pdf
PPTX
Geodesy 1.pptx...............................................
PPTX
CARTOGRAPHY AND GEOINFORMATION VISUALIZATION chapter1 NPTE (2).pptx
PDF
Automation-in-Manufacturing-Chapter-Introduction.pdf
PDF
PRIZ Academy - 9 Windows Thinking Where to Invest Today to Win Tomorrow.pdf
PDF
SM_6th-Sem__Cse_Internet-of-Things.pdf IOT
PPTX
Foundation to blockchain - A guide to Blockchain Tech
PPTX
Recipes for Real Time Voice AI WebRTC, SLMs and Open Source Software.pptx
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
MET 305 2019 SCHEME MODULE 2 COMPLETE.pptx
additive manufacturing of ss316l using mig welding
keyrequirementskkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
IOT PPTs Week 10 Lecture Material.pptx of NPTEL Smart Cities contd
Sustainable Sites - Green Building Construction
Enhancing Cyber Defense Against Zero-Day Attacks using Ensemble Neural Networks
Mitigating Risks through Effective Management for Enhancing Organizational Pe...
bas. eng. economics group 4 presentation 1.pptx
Mechanical Engineering MATERIALS Selection
UNIT-1 - COAL BASED THERMAL POWER PLANTS
Internet of Things (IOT) - A guide to understanding
BMEC211 - INTRODUCTION TO MECHATRONICS-1.pdf
Geodesy 1.pptx...............................................
CARTOGRAPHY AND GEOINFORMATION VISUALIZATION chapter1 NPTE (2).pptx
Automation-in-Manufacturing-Chapter-Introduction.pdf
PRIZ Academy - 9 Windows Thinking Where to Invest Today to Win Tomorrow.pdf
SM_6th-Sem__Cse_Internet-of-Things.pdf IOT
Foundation to blockchain - A guide to Blockchain Tech
Recipes for Real Time Voice AI WebRTC, SLMs and Open Source Software.pptx

quicksort (1).ppt

  • 2. 2 Introduction  Fastest known sorting algorithm in practice  Average case: O(N log N)  Worst case: O(N2)  But, the worst case seldom happens.  Another divide-and-conquer recursive algorithm, like mergesort
  • 3. 3 Quicksort  Divide step:  Pick any element (pivot) v in S  Partition S – {v} into two disjoint groups S1 = {x  S – {v} | x <= v} S2 = {x  S – {v} | x  v}  Conquer step: recursively sort S1 and S2  Combine step: the sorted S1 (by the time returned from recursion), followed by v, followed by the sorted S2 (i.e., nothing extra needs to be done) v v S1 S2 S
  • 5. 5
  • 6. 6 Pseudocode Input: an array a[left, right] QuickSort (a, left, right) { if (left < right) { pivot = Partition (a, left, right) Quicksort (a, left, pivot-1) Quicksort (a, pivot+1, right) } } MergeSort (a, left, right) { if (left < right) { mid = divide (a, left, right) Quicksort (a, left, mid-1) Quicksort (a, mid+1, right) merge(a, left, mid+1, right) } } Compare with MergeSort:
  • 7. 7 Two key steps  How to pick a pivot?  How to partition?
  • 8. 8 Pick a pivot  Use the first element as pivot  if the input is random, ok  if the input is presorted (or in reverse order) all the elements go into S2 (or S1) this happens consistently throughout the recursive calls Results in O(n2) behavior (Analyze this case later)  Choose the pivot randomly  generally safe  random number generation can be expensive
  • 9. 9 In-place Partition  If use additional array (not in-place) like MergeSort Straightforward to code like MergeSort (write it down!) Inefficient!  Many ways to implement  Even the slightest deviations may cause surprisingly bad results. Not stable as it does not preserve the ordering of the identical keys. Hard to write correctly 
  • 10. 10 int partition(a, left, right, pivotIndex) { pivotValue = a[pivotIndex]; swap(a[pivotIndex], a[right]); // Move pivot to end storeIndex = left; for (i from left to right) { if a[i] < pivotValue swap(a[storeIndex], a[i]); storeIndex = storeIndex + 1 ; } swap(a[right], a[storeIndex]); // Move pivot to its final place return storeIndex; } Look at Wikipedia An easy version of in-place partition to understand, but not the original form
  • 11. 11 quicksort(a,left,right) { if (right>left) { pivotIndex = left; select a pivot value a[pivotIndex]; pivotNewIndex=partition(a,left,right,pivotIndex); quicksort(a,left,pivotNewIndex-1); quicksort(a,pivotNewIndex+1,right); } }
  • 12. 12 Partition variant  Want to partition an array A[left .. right]  First, get the pivot element out of the way by swapping it with the last element. (Swap pivot and A[right])  Let i start at the first element and j start at the next-to-last element (i = left, j = right – 1) pivot i j 5 6 4 6 3 12 19 5 6 4 6 3 12 19 swap
  • 13. 13  Want to have  A[x] <= pivot, for x < i  A[x] >= pivot, for x > j  When i < j  Move i right, skipping over elements smaller than the pivot  Move j left, skipping over elements greater than the pivot  When both i and j have stopped A[i] >= pivot A[j] <= pivot i j 5 6 4 6 3 12 19 i j 5 6 4 6 3 12 19 i j <= pivot >= pivot
  • 14. 14  When i and j have stopped and i is to the left of j  Swap A[i] and A[j] The large element is pushed to the right and the small element is pushed to the left  After swapping A[i] <= pivot A[j] >= pivot  Repeat the process until i and j cross swap i j 5 6 4 6 3 12 19 i j 5 3 4 6 6 12 19
  • 15. 15  When i and j have crossed  Swap A[i] and pivot  Result:  A[x] <= pivot, for x < i  A[x] >= pivot, for x > i i j 5 3 4 6 6 12 19 i j 5 3 4 6 6 12 19 i j 5 3 4 6 6 12 19
  • 16. 16 void quickSort(int a[], int left, int right) { int i = left; int j = right; if (right - left >= 1) { int pivot = a[left]; while (j > i) { while ((a[i]<=pivot) && (i<=right) && (j>i)) i++; while ((a[j]>pivot) && (j>=left) && (j>=i)) j--; if (j > i) swap(a, i, j); } swap(a, left, j); quickSort(a, left, j - 1); quickSort(a, j + 1, right); } else { return; } } quickSort(a,0,size-1); Implementation (put the pivot on the leftmost instead of rightmost) Change it into the rightmost …
  • 17. 17 void quickSort(int array[]) // pre: array is full, all elements are non-null integers // post: the array is sorted in ascending order { quickSort(array, 0, array.length - 1); // quicksort all the elements in the array } void quickSort(int array[], int start, int end) { int i = start; // index of left-to-right scan int k = end; // index of right-to-left scan if (end - start >= 1) // check that there are at least two elements to sort { int pivot = array[start]; // set the pivot as the first element in the partition while (k > i) // while the scan indices from left and right have not met, { while (array[i] <= pivot && i <= end && k > i) // from the left, look for the first i++; // element greater than the pivot while (array[k] > pivot && k >= start && k >= i) // from the right, look for the first k--; // element not greater than the pivot if (k > i) // if the left seekindex is still smaller than swap(array, i, k); // the right index, swap the corresponding elements } swap(array, start, k); // after the indices have crossed, swap the last element in // the left partition with the pivot quickSort(array, start, k - 1); // quicksort the left partition quickSort(array, k + 1, end); // quicksort the right partition } else // if there is only one element in the partition, do not do any sorting { return; // the array is sorted, so exit } } void swap(int array[], int index1, int index2) {…} // pre: array is full and index1, index2 < array.length // post: the values at indices 1 and 2 have been swapped Adapted from http://www.mycsresource.net/articles/programming/sorting_algos/quickso
  • 18. 18 Use the median of the array  Partitioning always cuts the array into roughly half  An optimal quicksort (O(N log N))  However, hard to find the exact median e.g., sort an array to pick the value in the middle Pick a better Pivot
  • 19. 19 median of three  We will use median of three  Compare just three elements: the leftmost, rightmost and center  Swap these elements if necessary so that A[left] = Smallest A[right] = Largest A[center] = Median of three  Pick A[center] as the pivot  Swap A[center] and A[right – 1] so that pivot is at second last position (why?) median3
  • 20. 20 pivot 5 6 4 6 3 12 19 2 13 6 5 6 4 3 12 19 2 6 13 A[left] = 2, A[center] = 13, A[right] = 6 Swap A[center] and A[right] 5 6 4 3 12 19 2 13 pivot 6 5 6 4 3 12 19 2 13 Choose A[center] as pivot Swap pivot and A[right – 1] Note we only need to partition A[left + 1, …, right – 2]. Why?
  • 21. 21  Works only if pivot is picked as median-of-three.  A[left] <= pivot and A[right] >= pivot  Thus, only need to partition A[left + 1, …, right – 2]  j will not run past the beginning  because a[left] <= pivot  i will not run past the end  because a[right-1] = pivot The coding style is efficient, but hard to read 
  • 22. 22 i=left; j=right-1; while (1) { do i=i+1; while (a[i] < pivot); do j=j-1; while (pivot < a[j]); if (i<j) swap(a[i],a[j]); else break; }
  • 23. 23 Small arrays  For very small arrays, quicksort does not perform as well as insertion sort  how small depends on many factors, such as the time spent making a recursive call, the compiler, etc  Do not use quicksort recursively for small arrays  Instead, use a sorting algorithm that is efficient for small arrays, such as insertion sort
  • 24. 24 A practical implementation For small arrays Recursion Choose pivot Partitioning
  • 25. 25 Quicksort Analysis  Assumptions:  A random pivot (no median-of-three partitioning)  No cutoff for small arrays  Running time  pivot selection: constant time, i.e. O(1)  partitioning: linear time, i.e. O(N)  running time of the two recursive calls  T(N)=T(i)+T(N-i-1)+cN where c is a constant  i: number of elements in S1
  • 26. 26 Worst-Case Analysis  What will be the worst case?  The pivot is the smallest element, all the time  Partition is always unbalanced
  • 27. 27 Best-case Analysis  What will be the best case?  Partition is perfectly balanced.  Pivot is always in the middle (median of the array)
  • 28. 28 Average-Case Analysis  Assume  Each of the sizes for S1 is equally likely  This assumption is valid for our pivoting (median-of-three) strategy  On average, the running time is O(N log N) (covered in comp271)
  • 29. 29 Quicksort is ‘faster’ than Mergesort  Both quicksort and mergesort take O(N log N) in the average case.  Why is quicksort faster than mergesort?  The inner loop consists of an increment/decrement (by 1, which is fast), a test and a jump.  There is no extra juggling as in mergesort. inner loop