题目概述
LeetCode 172. Factorial Trailing Zeroes：给定一个整数 n，返回 n! 中尾随零（结尾连续的 0）的个数。leetcode
注意：
- n! = n × (n − 1) × ... × 2 × 1
- 0 ≤ n ≤ 10^4
- Follow up：是否可以在对数时间复杂度内求解。leetcode
初始直观思路与问题
一开始容易想到的思路：
- 从 n 遍历到 1，依次把每个数乘起来，或者分解每个数的因子。
- 对于是 10 的倍数的数字，持续除以 10，统计能除多少次，对应贡献多少个尾 0。
- 再额外统计因子 2、5 的个数，用 min(2 的个数, 5 的个数) 作为 0 的个数。
这个思路有两个主要问题：
- 时间复杂度不达标 ：从 n 遍历到 1，是 O(n) 的复杂度，无法满足题目要求的对数时间复杂度。leetcode
- 统计不完整 ：只关注 10 的倍数，会漏掉像 5、25、125 这些仅包含 5 但不包含 2 的数，它们仍然会和其他数里的 2 组合成 10，从而贡献尾 0。leetcode
经典反例：
- 当 n = 25 时：5, 10, 15, 20, 25 这些数都至少贡献一个 5，其中 25 = 5 × 5，其实贡献两个 5。
- 正确答案是 6 个尾 0，而只简单"按 5 的步长遍历"的次数只有 5，会少算一个。leetcode
正确数学结论
要理解这个题，有两个关键事实：
- 每一个尾 0 来自一个因子对 2 × 5。
- 在 n! 中，因子 2 的数量远远多于因子 5 的数量，因为每个偶数都会贡献 2，而只有 5 的倍数才会贡献 5。leetcode
因此：
- 尾 0 的个数 = n! 中因子 5 的总个数。
- 不需要显式统计因子 2，只要准确统计所有 5 的个数即可。leetcode
更细一点地看因子 5：
- 每个 5 的倍数（5, 10, 15, 20, ...）至少贡献一个 5。
- 每个 25 的倍数（25, 50, 75, ...）会额外多贡献一个 5，因为 25 = 5 × 5。
- 每个 125 的倍数又会额外多贡献一个 5，以此类推。leetcode
所以总的因子 5 个数 =
- ⌊n / 5⌋（所有含至少一个 5 的数）
- ⌊n / 25⌋（再补上每个 25 里多出来的那一个 5）
- ⌊n / 125⌋
- ... 直到除出来变成 0 为止。leetcode
对数时间的实现思路
按上面的数学结论，可以用一个简单的循环完成统计：
- 初始化 count = 0。
- 当 n ≥ 5 时：
- 把 n 除以 5，累加到 count 上。
- 再把 n 更新为 n / 5，继续下一轮。
伪代码：
while (n >= 5):
count += n / 5
n /= 5这个循环每次都把 n 缩小 5 倍，因此循环次数大约是 log_5(n)，即对数级别，满足题目的 follow up 要求。leetcode
直观理解：
- 第一次循环：统计所有含至少一个 5 的数（5 的倍数）。
- 第二次循环：在已经是 5 的倍数的这些数中，再找出那些还能再分出一个 5（25 的倍数）。
- 第三次循环：统计 125 的倍数多出的 5，等等。
代码实现（C 语言示例）
下面是在 LeetCode 上通过、同时满足对数时间复杂度的 C 语言解法：leetcode
c
int trailingZeroes(int n) {
int count = 0;
// Count factors of 5, 25, 125, ...
while (n >= 5) {
count += n / 5;
n /= 5;
}
return count;
}- 时间复杂度：O(log n)，每次循环 n 都除以 5。
- 空间复杂度：O(1)。
面试思路与常见追问
在面试中，可以从"错误但直观"的想法，逐步走到最终解法：
- 先说直觉：尾 0 来源于 2 × 5，n! 里 2 很多，关键是统计 5。
- 面试官可能会问：
- "如果只遍历 5 的倍数，为什么会错？"
- "25、125 这种包含多个 5 的数如何处理？"
- "你提到的算法时间复杂度是多少？如何优化到对数？"
- 然后引出：
- 用 ⌊n / 5⌋ + ⌊n / 25⌋ + ⌊n / 125⌋ + ... 来统计所有 5 的个数。
- 对应代码就是不断 n /= 5 并累加 n。
这样一套讲下来，不仅能 AC 这道题，还能很好展示对数学本质和时间复杂度的理解，非常适合写在博客或者当作面试笔记。