Editing Trailing zeroes in factorial

A well-known programming exercise involves finding the number of trailing zeroes at the end of the decimal representation of <math>n!</math>, for some given value of <math>n</math>.<ref>{{SPOJ|FCTRL|Factorial}}</ref><ref>{{Problem|acsl1p3|Task 3: Zeros}}</ref>

One possible approach, of course, is to explicitly calculate the factorial. The only problem with this is that <math>n!</math> may be very large for reasonably sized values of <math>n</math>. For example, <math>100! > 10^{100}</math>, so [[bignum]] arithmetic is needed for this kind of approach. This tends to be slow and inexpedient.

A much cleverer solution&mdash;one that does not involve calculating the factorial explicitly&mdash;can be obtained by noting that what is really desired is the largest <math>k</math> such that <math>10^k</math> divides <math>n!</math>. The prime factorization of <math>10^k</math> is <math>2^k 5^k</math>, so really all we need to do is find out how many factors of 2 are in <math>n!</math>, and how many factors of 5 are in <math>n!</math>, and the smaller of the two gives the answer. For example, <math>10!</math> has prime factorization <math>2^8 \cdot 3^4 \cdot 5^2 \cdot 7</math>, so it contains 8 factors of 2 and 2 factors of 5. Consistent with these figures, there are 2 zeroes at the end of its decimal representation (3628800).

How do we calculate this? A workable approach is to simply determine how many factors of 2 and 5 are in each of the numbers <math>1, 2, ..., n</math>. When we multiply those numbers to get <math>n!</math>, we of course ''add'' the exponents in their prime factorizations; so the sum of the numbers of factors of 2 in each of the integers <math>1, 2, ..., n</math> gives us the number of factors of 2 in <math>n!</math>; and we do something similar for factors of 5. Determining how many times 2 or 5 divides a number is as easy as actually performing the division over and over again (until a non-integer result is obtained).

There is a cleverer solution yet, though. When we multiply all the numbers from 1 to <math>n</math>, exactly <math>\lfloor n/2 \rfloor</math> of them will be even, so each one of those contributes a factor of 2. However, the ones that are divisible by 4 actually contribute ''two'' factors of 2, so we have to add <math>\lfloor n/4 \rfloor</math> to the result (we counted those numbers once in <math>\lfloor n/2 \rfloor</math>, and now we are counting them again in <math>\lfloor n/4 \rfloor</math>). But then there may be some numbers that are divisible by 8, which contribute at least ''three'' factors of 2, so we have to add <math>\lfloor n/8 \rfloor</math>; and so on until we reach some power of 2 that is greater than <math>n</math> (so that it obviously divides none of <math>1, 2, ..., n</math>). We can then do something similar for factors of 5. This gives us a formula:
:<math>k = \min\left(\left\lfloor \frac{n}{2} \right\rfloor + \left\lfloor \frac{n}{4} \right\rfloor + \left\lfloor \frac{n}{8} \right\rfloor + ..., \left\lfloor \frac{n}{5} \right\rfloor + \left\lfloor \frac{n}{25} \right\rfloor + \left\lfloor \frac{n}{125} \right\rfloor + ...\right)</math>
It is now fairly obvious by inspection that the second argument&mdash;the number of factors of 5&mdash;is always the smaller of the two.

This formula can be used as-is, hence:
<syntaxhighlight lang="c">
#include <stdio.h>
int main()
{
    int n;
    scanf("%d", &n);
    int p = 5;
    int k = 0;
    while (p <= n)
    {
        k += n/p;
        p *= 5;
    }
    printf("There are %d zeroes at the end of %d!\n", k, n);
    return 0;
}
</syntaxhighlight>
The formula can also be re-worked into the following form. The mathematical reasoning behind the correctness of this implementation is left as an exercise for the reader.
<syntaxhighlight lang="c">
#include <stdio.h>
int main()
{
    int n;
    scanf("%d", &n);
    int k = 0;
    while (n > 0)
        k += n /= 5;
    printf("There are %d zeroes at the end of %d!\n", k, n);
    return 0;
}
</syntaxhighlight>
Functional style (Haskell):
<syntaxhighlight lang="haskell">
zeroes n = sum $ tail $ takeWhile (>0) (iterate (flip div 5) n) -- note that 0 is an edge case
</syntaxhighlight>
Bases other than 10 may be trickier to handle. For example, consider the problem of finding the number of zeroes at the end of <math>n!</math> when expressed in base 12 (with prime factorization <math>2^2 \cdot 3</math>). In this case we have to count factors of 2 and factors of 3, but it takes ''two'' factors of 2 to make one factor of 12, so we have to divide by two and then compare it with the number of factors of 3 (the smaller of the two results will be the answer). It's not obvious which factor will "run out" first, so it might be necessary to find the number of times ''each'' prime factor in the base appears in <math>n!</math>. The algorithm shown above still works for each individual prime factor, though (provided that "5" is replaced with the appropriate number).

==References==
<references/>