章基本符號1
1.1簡單值1
1.2標識符和錶達式3
1.3函數和過程4
1.4算術函數5
1.4.1加法5
1.4.2減法5
1.4.3乘法6
1.4.4除法6
1.4.5冪運算7
1.4.6過程總結7
1.5過程調用9
1.6λ錶達式10
1.6.1變元過程11
1.6.2構建列錶13
1.6.3返迴多個值13
1.6.4沒有結果的計算14
1.7謂詞15
1.7.1分類謂詞16
1.7.2相等謂詞16
1.7.3相等和類型16
1.8條件類型錶達式19
1.8.1條件錶達式19
1.8.2閤取錶達式與析取錶達式19
1.9定義21
1.9.1過程定義21
1.9.2遞歸定義22
1.10局部綁定23
1.10.1局部過程24
1.10.2局部遞歸24
1.10.3收納錶達式25
第2章工具箱27
2.1列錶映射27
2.2常量過程28
2.3過程節選29
2.3.1invoke過程30
2.3.2卡瑞化31
2.4耦閤器32
2.4.1過程復閤32
2.4.2並行應用33
2.4.3調度34
2.5適配器35
2.5.1選擇35
2.5.2重排36
2.5.3預處理和後處理36
2.6遞歸管理器38
2.6.1recur過程39
2.6.2遞歸謂詞40
2.6.3迭代41
2.7歐幾裏得算法44
2.8高階布爾過程47
2.8.1布爾值和謂詞上的操作47
2.8.2^if過程47
2.9自然數和遞歸49
2.9.1數學歸納法49
2.9.2自然數上的遞歸49
2.9.3計數53
2.9.4有界推廣54
第3章數據結構56
3.1建模56
3.2空值57
3.3和類型57
3.3.1枚舉57
3.3.2可區分並集58
3.3.3遞歸類型方程59
3.4有序對60
3.4.1命名對61
3.4.2積類型61
3.4.3再議可區分並集62
3.4.4重新實現自然數62
3.5盒64
3.6列錶66
3.6.1選擇過程67
3.6.2同構列錶68
3.6.3列錶的遞歸過程69
3.6.4列錶歸納原理70
3.6.5列錶遞歸管理71
3.6.6展開73
3.7列錶算法77
3.7.1元數擴展77
3.7.2篩選和劃分79
3.7.3子列錶80
3.7.4位置選擇81
3.7.5列錶元素上的謂詞擴展到列錶82
3.7.6轉置、壓縮和解壓縮83
3.7.7聚閤多個結果84
3.8源89
3.9多元組98
3.9.1建立模型99
3.9.2記錄類型99
3.10樹101
3.10.1樹歸納原理103
3.10.2樹遞歸管理103
3.11灌木109
3.11.1灌木歸納原理110
3.11.2灌木遞歸管理110
3.12包113
3.12.1基本包過程114
3.12.2包操作115
3.12.3包遞歸管理116
3.13等價關係120
3.14集閤123
3.14.1集閤遞歸管理124
3.14.2篩選和劃分125
3.14.3其他集閤運算126
3.14.4並集、交集和差集127
3.15錶132
3.16緩衝區138
第4章排序142
4.1序關係142
4.1.1隱式定義的等價關係142
4.1.2測試一個列錶是否有序143
4.1.3查找極值143
4.1.4復閤序關係145
4.1.5字典序145
4.2排序算法148
4.2.1插入排序149
4.2.2選擇排序149
4.2.3快速排序150
4.2.4歸並排序150
4.3二叉搜索樹153
4.3.1測試二叉搜索樹不變量154
4.3.2從二叉搜索樹中提取一個值155
4.3.3二叉搜索樹排序156
4.4紅黑樹158
4.4.1實現紅黑樹159
4.4.2顔色翻轉和鏇轉160
4.4.3插入161
4.4.4查找163
4.4.5刪除163
4.4.6用紅黑樹實現錶168
4.5堆175
4.5.1摺疊和展開堆178
4.5.2堆排序178
4.6序統計量181
第5章組閤構造183
5.1笛卡兒積183
5.1.1笛卡兒積排序185
5.1.2排位和去排位186
5.2列錶選擇189
5.2.1子列錶189
5.2.2分組193
5.2.3子序列和選擇194
5.3包選擇199
5.4排列201
5.5劃分204
5.5.1包劃分204
5.5.2劃分自然數206
第6章圖208
6.1圖的實現208
6.1.1圖的構造209
6.1.2圖與關係211
6.1.3圖的性質212
6.1.4其他圖訪問方法213
6.1.5無嚮圖215
6.2深度優先遍曆221
6.2.1圖的遍曆221
6.2.2深度優先222
6.2.3拓撲排序223
6.2.4可到達結點223
6.3路徑225
6.4廣度優先遍曆227
6.5生成樹229
6.6最短路徑233
6.6.1Bellman-Ford算法233
6.6.2Dijkstra算法234
6.6.3Floyd-Warshall算法235
6.7流網絡239
第7章子列錶搜索244
7.1簡單低效的算法244
7.2Knuth-Morris-Pratt算法246
7.3Boyer-Moore算法253
7.4Rabin-Karp算法255
附錄A推薦讀物260
附錄B(afpprimitives)庫261
附錄C如何使用AFP庫263
· · · · · · (收起)