百度百科
算法
算法（Algorithm）是指解題方案的準確而完整的描述，是一系列解決問(wèn)題的清晰指令，算法代表著(zhù)用系統的方法描述解決問(wèn)題的策略機制。也就是說(shuō)，能夠對一定規范的輸入，在有限時(shí)間內獲得所要求的輸出。如果一個(gè)算法有缺陷，或不適合于某個(gè)問(wèn)題，執行這個(gè)算法將不會(huì )解決這個(gè)問(wèn)題。不同的算法可能用不同的時(shí)間、空間或效率來(lái)完成同樣的任務(wù)。一個(gè)算法的優(yōu)劣可以用空間復雜度與時(shí)間復雜度來(lái)衡量。算法中的指令描述的是一個(gè)計算，當其運行時(shí)能從一個(gè)初始狀態(tài)和（可能為空的）初始輸入開(kāi)始，經(jīng)過(guò)一系列有限而清晰定義的狀態(tài)，最終產(chǎn)生輸出并停止于一個(gè)終態(tài)。一個(gè)狀態(tài)到另一個(gè)狀態(tài)的轉移不一定是確定的。隨機化算法在內的一些算法，包含了一些隨機輸入。形式化算法的概念部分源自嘗試解決希爾伯特提出的判定問(wèn)題，并在其后嘗試定義有效計算性或者有效方法中成形。這些嘗試包括庫爾特·哥德?tīng)?、Jacques Herbrand和斯蒂芬·科爾·克萊尼分別于1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇于1936年提出的λ演算，1936年Emil Leon Post的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺(jué)想法難以定義為形式化算法的情況。 ? 漢典