本帖最後由 尊 於 13-11-05 08:23 編輯
演算法
在數學和計算機科學之中，演算法（Algorithm）爲一個計算的具體步驟，常用於計算、資料處理（英語：Data processing）和自動推理。精確而言，演算法是一個表示爲有限長列表的有效方法（英語：Effective method）。演算法應包含清晰定義的指令用於計算函式 。
演算法中的指令描述的是一個計算，當其執行（英語：Execution (computing)）時能從一個初始狀態和初始輸入（可能爲空）開始，經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化演算法在內的一些演算法，包含了一些隨機輸入。
形式化演算法的概念部分源自嘗試解決希爾伯特提出的判定問題，並在其後嘗試定義有效計算性或者有效方法中成形。這些嘗試包括庫爾特·哥德爾、Jacques Herbrand和史蒂芬·科爾·克萊尼分別於 1930年、1934年和1935年提出的遞歸函式，阿隆佐·邱奇於1936年提出的λ演算，1936年Emil Leon Post的Formulation 1 和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化演算法的情況。
分類
基本演算法
列舉
搜尋
深度優先搜尋
廣度優先搜尋
啟發式搜索
遺傳演算法
資料結構的演算法
數論與代數演算法
計算幾何的演算法
凸包演算法
圖論的演算法
哈夫曼編碼
樹的遍歷
最短路徑演算法
最小生成樹演算法
最小樹形圖
網路流演算法
匹配演算法
動態規劃
其他
數值分析
加密演算法
排序演算法
檢索演算法
隨機化演算法
關於並列演算法，請參閱平行計算一文。
電腦科學主要領域
數學基礎
數理邏輯 · 集合論 · 數論 · 圖論 · 型別論 · 範疇論 · 數值分析· 資訊理論
計算理論
自動機 · 可計算性理論 · 計算複雜性理論 · 量子計算 · 數值計算方法
演算法和資料結構
演算法分析 · 演算法設計 · 計算幾何
程式語言和編譯器
語法分析器 · 直譯器 · 程序化編程 · 物件導向程式編程 · 函數語言程式設計 · 邏輯編程 · 編程典範
並行、並列和分布式系統
多處理器 · 網格計算 · 並行控制
軟體工程
需求分析 · 軟體設計 · 程式設計 · 形式化方法 · 軟體測試 · 軟體開發過程
系統架構
電腦系統結構 · 微處理器體系結構 · 作業系統
電信與網路
路由 · 網路拓撲 · 密碼學
資料庫
資料庫管理系統 · 關聯式資料庫 · SQL · 事務處理 · 資料庫索引 · 資料探勘
人工智慧
自動推理 · 計算語言學 · 電腦視覺 · 進化計算 · 專家系統 · 機器學習 · 自然語言處理 · 機器人學
電腦圖形學
視覺化 · 電腦動畫 · 影像處理
人機互動
電腦輔助功能 · 使用者介面 · 可穿戴電腦 · 普適計算 · 虛擬現實
科學計算
人工生命 · 生物訊息學 · 認知科學 · 計算化學 · 計算神經科學 · 計算物理學 · 數值演算法 · 符號計算
注釋：電腦科學領域也可根據ACM-1998分類系統進行分類。

1122613
1122614
1122609
1122610