本文共 473 字，大约阅读时间需要 1 分钟。

2018.4.32

method HeapSort(a: array
   
    )                              modifies a;                              requires a != null;                              requires a.Length > 0                              ensures multiset(a[..]) == multiset(old(a[..]));                              ensures sorted(a, 0, a.Length - 1);                            {
                                 Heapify(a);                              UnHeapify(a);                            }
   

转载地址：http://jlwai.baihongyu.com/