目录
算法
-- 算法(algorithm),在數學(算學)和電腦科學之中,為任何良定义的具體計算步驟的一个序列,常用於計算、和自動推理。精確而言,算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算,當其時能從一個初始狀態和初始輸入(可能爲空)開始,經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法,包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题,並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數,阿隆佐·邱奇於1936年提出的λ演算,1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前,依然常有直覺想法難以定義爲形式化算法的情況。.
查看 随机化算法和算法
随机函数
由于所有的计算机算法均是确定性算法,因此在電腦上的随机函数生成的都是伪随机数,不过,伪随机数和伪随机数之间也有区别,且至少可以分为两个层次:统计学伪随机数、密码学安全伪随机数。大部分编程语言库中预备了的随机函数生成的都是前一种,而密码学安全伪随机数则由一类叫做CSPRNG的随机函数生成。这对于实际问题中的大部分应用,这两个不同层次的伪随机数已经可以满足大部分随机数的需求。.
查看 随机化算法和随机函数