易变数据结构(Mutable Data Structure)

Examples of verified algorithms

1. 二叉树的删除（Delete a Node in the Binary Tree）
2. 二叉搜索树的节点删除（Delete a Node in the Binary Tree *）
3. 二叉搜索树的节点插入（Insert a Node to the Binary Tree）
4. 树堆（Treap）
5. 循环双向链表的创建（Create a Circular Doubly Linked List）
6. 循环双向链表的删除（Delete a Circular Doubly Linked List）
7. 循环双向链表的插入（Insert a Note to the Circular Doubly Linked List）
8. 循环单向链表的创建（Create a Circular Linked List）
9. 循环单向链表节点的删除（Delete a Node in the Circular Doubly Linked List）
10. 双向链表的创建（Create a Doubly Linked List）
11. 双向链表的插入（Insert a Note to the Doubly Linked List）
12. 单向链表的创建（Create a Linked List）
13. 单向链表的插入和创建（Create a List by Insertion）
14. 有序单向链表的插入和创建（Create an Sorted List by Insertion）
15. 单向链表节点的删除（1）（Delete at Most one Node in the Linked List）
16. 单向链表节点的删除（2）（Delete Nodes in the Linked List）
17. 有序循环双向链表节点的删除（Delete Nodes in the Sorted Cycle Doubly Linked List）
18. 有序循环双向链表的插入（Insert a Note to the Sorted Circular Doubly Linked List）
19. 有序循环单向链表节点的删除（Delete Nodes in the Sorted Circular Linked List）
20. 有序循环单向链表的插入（Insert a Note to the Sorted Circular Linked List）
21. 有序双向链表的节点删除（Delete Nodes in the Sorted Doubly Linked List）
22. 有序双向链表的插入（Insert a Note to the Sorted Doubly Linked List）
23. 有序双向链表的倒置（Reverse an Sorted Doubly Linked List）
24. 有序单向链表的删除（Delete Nodes in the Sorted Linked List）
25. 有序单向链表的插入（1）（Insert a Node to the Sorted Linked List with the Universal Quantifier Description）
26. 有序单向链表的插入（2）（Insert a Node to the Sorted Linked List with the Inductive Predicate Description）
27. 有序单向链表的合并（Merge Two Sorted Linked Lists）
28. 有序单向链表的倒置（Reverse an Sorted Linked List）
29. 单向链表的排序（Sort a Linked List）
30. AA树的插入和删除（AA trees: Insert and Delete Operations）