一维数组(One Dimensional Array)

Examples of verified algorithms

1. 删除数组元素（Delete an Element from an Array）
2. 二分查找（Binary Search Algorithm: Iterative Implementation）
3. 二分查找（引理）（Binary Search Algorithm: Iterative Implementation, verified with Lemma）
4. 二分查找（递归）（Binary Search Algorithm: Recursive Implementation）
5. 冒泡排序（Bubble Sort）
6. 冒泡排序（部分元素）（Bubble Sort：Sorting a Slice of Elements of an Array）
7. 冒泡排序（可置换性）（Bubble Sort with Permutability Predicate）
8. 地精排序（Gnome Sort）
9. 插入排序（Insertion Sort）
10. 完全背包问题（Knap Sack）
11. 数组中的最大值（Find the Maximum Value in an Array ）
12. 数组中大于0的元素个数（Find the Number of Elements Greater than 0 in an Array）
13. 归并排序（Merge Sort）
14. 选择排序（Selection Sort）
15. 二叉堆（最大堆的插入和删除）（Binary Max Heap: Insertion and Deletion）
16. 荷兰国旗问题（Dutch National Flag Problem）
17. 八皇后问题（迭代）（8 Queens Problem: Iterative Implementation）
18. 八皇后问题（递归）（8 Queens Problem: Recursive Implementation）
19. 快速排序（Quick Sort）