5.9. 插入排序

.. Copyright (C) Brad Miller, David Ranum This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/4.0/.

The Insertion Sort ~~~~~~~~~~~~~~~~~~

The insertion sort, although still :math:O(n^{2}), works in a slightly different way. It always maintains a sorted sublist in the lower positions of the list. Each new item is then inserted back into the previous sublist such that the sorted sublist is one item larger. :ref:Figure 4 <fig_insertionsort> shows the insertion sorting process. The shaded items represent the ordered sublists as the algorithm makes each pass.

.. _fig_insertionsort:

.. figure:: Figures/insertionsort.png :align: center

Figure 4: Insertion Sort: Complete

We begin by assuming that a list with one item (position :math:0) is already sorted. On each pass, one for each item 1 through :math:n-1, the current item is checked against those in the already sorted sublist. As we look back into the already sorted sublist, we shift those items that are greater to the right. When we reach a smaller item or the end of the sublist, the current item can be inserted.

:ref:Figure 5 <fig_insertionpass> shows the fifth pass in detail. At this point in the algorithm, here is a sorted sublist of five items: 17, 26, 54, 77, and 93. We want to insert 31 back into the already sorted items. The first comparison against 93 causes 93 to be shifted to the right. 77 and 54 are also shifted. When the item 26 is encountered, the shifting process stops and 31 is placed in the open position. Now we have a sorted sublist of six items.

.. _fig_insertionpass:

.. figure:: Figures/insertionpass.png :align: center

Figure 5: Insertion Sort: Fifth Pass of the Sort

The implementation of insertion_sort (:ref:ActiveCode 1 <lst_insertion>) shows that there are again :math:n-1 passes to sort :math:n items. The iteration starts at position 1 and moves through position :math:n-1, as these are the items that need to be inserted back into the sorted sublists. Line 8 performs the shift operation that moves a value up one position in the list, making room behind it for the insertion. Remember that this is not a complete exchange as was performed in the previous algorithms.

The maximum number of comparisons for an insertion sort is the sum of the first :math:n-1 integers. Again, this is :math:O(n^{2}). However, in the best case, only one comparison needs to be done on each pass. This would be the case for an already sorted list.

One note about shifting versus exchanging is also important. In general, a shift operation requires approximately a third of the processing work of an exchange since only one assignment is performed. In benchmark studies, insertion sort will show very good performance.

.. activecode:: lst_insertion :caption: Insertion Sort

def insertion_sort(a_list):
    for i in range(1, len(a_list)):
        cur_val = a_list[i]
        cur_pos = i

        while cur_pos > 0 and a_list[cur_pos - 1] > cur_val:
            a_list[cur_pos] = a_list[cur_pos - 1]
            cur_pos = cur_pos - 1
        a_list[cur_pos] = cur_val


a_list = [54, 26, 93, 17, 77, 31, 44, 55, 20]
insertion_sort(a_list)
print(a_list)

.. animation:: insertion_anim :modelfile: sortmodels.js :viewerfile: sortviewers.js :model: InsertionSortModel :viewer: BarViewer

.. For more detail, CodeLens 4 allows you to step through the algorithm. .. .. .. codelens:: insertionsortcodetrace .. :caption: Tracing the Insertion Sort .. .. def insertion_sort(a_list): .. for i in range(1, len(a_list)): .. cur_val = a_list[i] .. cur_pos = i ..
.. while cur_pos > 0 and a_list[cur_pos - 1] > cur_val: .. a_list[cur_pos] = a_list[cur_pos - 1] .. cur_pos = cur_pos - 1 .. a_list[cur_pos] = cur_val ..
..
.. a_list = [54, 26, 93, 17, 77, 31, 44, 55, 20] .. insertion_sort(a_list) .. print(a_list)

.. admonition:: Self Check

.. mchoice:: question_sort_3 :correct: c :answer_a: [4, 5, 12, 15, 14, 10, 8, 18, 19, 20] :answer_b: [15, 5, 4, 10, 12, 8, 14, 18, 19, 20] :answer_c: [4, 5, 15, 18, 12, 19, 14, 10, 8, 20] :answer_d: [15, 5, 4, 18, 12, 19, 14, 8, 10, 20] :feedback_a: This is a bubble sort. :feedback_b: This is the result of selection sort. :feedback_c: Insertion sort works at the start of the list. Each pass produces a longer sorted list. :feedback_d: Insertion sort works on the front of the list not the end.

   Suppose you have the following list of numbers to sort: <br>
   [15, 5, 4, 18, 12, 19, 14, 10, 8, 20] which list represents the partially sorted list after three complete passes of insertion sort?

最后更新: 2023年10月10日
创建日期: 2023年10月10日