导语：算法是什么？通俗解释算法定义与历史是科技数码中的重要话题，本文将为您详细介绍相关知识，内容丰富、通俗易懂，适合日常学习。本文发布于2026年09月29日。

算法：计算机世界的“菜谱”

想象一下，你按照菜谱做一道菜：先准备食材，再按步骤切、炒、煮，最后装盘。算法就像这份菜谱——它是一套定义明确、步骤有限的指令，告诉计算机“怎么做”才能从输入得到输出。无论是计算一道数学题、处理一张照片，还是让自动驾驶汽车避开障碍物，背后都离不开算法。

在数学和计算机科学中，算法被严格定义为：一个可被计算机执行、按顺序进行的有限步骤集合。它通常用于计算、数据处理和自动推理。算法可以用条件语句（比如“如果……那么……”）来改变执行路径，这叫自动决策；它也能从已知事实推导出新结论，这叫自动推理。最终，算法让机器实现自动化——不需要人类每一步都插手。

算法 vs 启发式：不是所有“算法”都保证正确

你可能听过社交媒体推荐系统被称为“算法”，但严格来说，它们更像启发式方法。启发式是一种解决问题的策略，它可能没有完整定义，也不保证结果正确或最优——尤其是在“正确”本身都模糊的领域。比如，推荐系统猜你喜欢什么，它无法保证“猜对”，只能尽量接近你的兴趣。所以，虽然媒体常把推荐系统叫“算法”，但科学上它属于启发式，因为问题本身没有唯一正确答案。

算法的正式定义：从模糊到精确

“算法”这个概念，最早在20世纪初因数学家希尔伯特提出的“判定问题”而逐渐成形。当时人们想搞清楚：是否存在一种万能方法，能机械地判断任何数学命题的真假？为了回答这个问题，数学家们开始尝试给“有效可计算”下一个严格定义。

1930年代，多位逻辑学家几乎同时给出了形式化定义：库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼提出了递归函数；阿隆佐·邱奇提出了λ演算；埃米尔·波斯特和艾伦·图灵则分别提出了波斯特-图灵机和图灵机。这些模型虽然形式不同，但后来被证明在计算能力上是等价的。图灵机尤其重要，它成为现代计算机理论的基石。

即便如此，今天仍有一些符合直觉的“算法”难以被形式化。比如，人类如何识别一张脸？我们说不清具体步骤，但机器可以做到。这说明“算法”的边界并不总是清晰。

算法的核心特征：有限、清晰、有输出

一个真正的算法必须满足几个条件：有限性（步骤不能无限多）、清晰性（每条指令无歧义）、有输入（可能为空）、有输出（至少产生一个结果），并且能在有限时间和空间内完成。算法从初始状态开始，经过一系列确定或随机的状态转移，最终停止于终态。

注意，状态转移不一定是确定的。比如随机化算法（如蒙特卡洛方法）会引入随机输入，结果可能带有概率性，但整体流程仍然符合算法定义。

算法在中国：从“术”到“算法”

“算法”一词在中国古代文献中叫“术”，最早出现在《周髀算经》和《九章算术》中。这些古籍记载了分数运算、开平方、解方程等“术”，其实就是早期的算法。到了唐宋元明，算法专著层出不穷：唐代有《一位算法》和《算法》，宋代有《算法绪论》和《算法秘诀》，最著名的是杨辉的《杨辉算法》；元代有《丁巨算法》；明代程大位写了《算法统宗》；清代则有《开平算法》《算法一得》《算法全》等。这些著作记录了古人对计算步骤的系统总结，与现代算法的思想一脉相承。

可以说，算法既是数学的古老智慧，也是计算机科学的现代灵魂。理解算法，就是理解机器如何“思考”——而这份“菜谱”，正改变着我们的世界。