base case 是一个常用于计算机科学和逻辑学中的术语,指"基础情形"或"基本情况",即递归(recursion)或归纳推理中不需要进一步分解、可以直接得出结果的最简单情形。它是递归终止的条件,防止程序无限循环。
/beɪs keɪs/
The base case of this recursive function returns 1 when n equals 0.
这个递归函数的基本情况是当 n 等于 0 时返回 1。
Without a properly defined base case, the algorithm will recurse indefinitely, eventually causing a stack overflow error that crashes the program.
如果没有正确定义基本情况,算法将会无限递归,最终导致栈溢出错误使程序崩溃。
base 源自拉丁语 basis,意为"基础、底部",经由古法语进入英语。case 源自拉丁语 casus,意为"情况、事件"。两个词组合在一起,字面意思是"基础的情况"。这个短语在20世纪中后期随着计算机科学和递归理论的发展而被广泛使用,成为描述递归终止条件的标准术语。在数学归纳法中,base case 也指归纳证明的第一步,即验证命题在最小值时成立。