幽灵语句(Ghost Code)
[Back to Index]
Examples of verified algorithms
- 删除数组元素（Delete an Element from an Array）
- 黑与白问题（Black And White Problem）
- 二叉搜索树的节点删除（Delete a Node in the Binary Tree *）
- 二叉搜索树的节点插入（Insert a Node to the Binary Tree）
- 冒泡排序（可置换性）（Bubble Sort with Permutability Predicate）
- 快速排序（Quick Sort）
- 循环双向链表的删除（Delete a Circular Doubly Linked List）
- 循环单向链表节点的删除（Delete a Node in the Circular Doubly Linked List）
- 双向链表的插入（Insert a Note to the Doubly Linked List）
- 荷兰国旗问题（Dutch National Flag Problem）
- 单向链表的插入和创建（Create a List by Insertion）
- 单向链表节点的删除（1）（Delete at Most one Node in the Linked List）
- 单向链表节点的删除（2）（Delete Nodes in the Linked List）
- 单向链表的排序（Sort a Linked List）
- 矩阵分块乘法（分块固定）（Matrix Multiplication with Constant Block）
- 矩阵分块乘法（引理）（Matrix Multiplication with Lemma）
- 矩阵分块乘法（宏定义）（Matrix Multiplication with Macro）
- 矩阵分块乘法（归纳谓词）（Matrix Multiplication with Quantifier Predicate）
- 有序循环双向链表节点的删除（Delete Nodes in the Sorted Cycle Doubly Linked List）
- 有序循环单向链表节点的删除（Delete Nodes in the Sorted Circular Linked List）
- 有序双向链表的倒置（Reverse an Sorted Doubly Linked List）
- 有序单向链表的插入和创建（Create an Sorted List by Insertion）
- 有序单向链表的删除（Delete Nodes in the Sorted Linked List）
- 有序单向链表的合并（Merge Two Sorted Linked Lists）
- 有序单向链表的倒置（Reverse an Sorted Linked List）
- 八皇后问题（迭代）（8 Queens Problem: Iterative Implementation）
- 选择排序（Selection Sort）
- 最短路径问题（The Shortest Path）
- 字符串拼接（Concatenate Strings）
- 字符串字符查找（1）（Search for Character）
- 字符串比较（1）（Compare Strings）
- 字符串字符匹配（Find Characters in String）
- 树堆（Treap）
- AA树的插入和删除（AA trees: Insert and Delete Operations）