From charlesreid1

Problem Statement

Link: https://projecteuler.net/problem=172

How many 18-digit numbers n (without leading zeros) are there such that no digit occurs more than three times in n?

Solution: https://git.charlesreid1.com/cs/euler/src/master/scratch/Round7_170-180/Problem172.py

Explanation

A classic Project Euler problem: short, simple, and overwhelmingly complicated.

To nail this one, it's important to start simple - very simple. What I'll do is walk through the process of breaking this problem down to find and generalize the patterns needed to count permutations of digits.

First, in combinatorics problems it is important to think about what is changing, and how to count possible outcomes one piece at a time. Then the overall pieces can be combined to get the total count. In this case, we can think about a case for each digit: the case of 3 occurrences, the case of 2 occurrences, the case of 1 occurrence, and the case of 0 occurrences. Depending on the case, we limit our choices for later digits.

Let's start with a similar, but much simpler, problem: how do we construct a binary number with N digits and no more than m 0s and no more than m 1s?

In fact, let's make it even easier: how do we construct a 10 digit binary number with no more than 5 0's and no more than 5 1's?

The answer is, there is only ONE way to choose no more than 5 0's and no more than 5 1's to form a 10 digit number, and that's by having exactly 5 0's and 5 1's. Now that we know exactly how many of each digit we have, we can count the number of permutations of the number 0000011111 (the number of permutations).

Multiset Permutations

Note that multiset permutations are also discussed on the following pages:

If we are selecting from a group of things of type A, things of type B, and things of type C to form a total of things, this type of combinatorics problem is called a multiset permutation, and the total number of ways of arranging this set of 3 things is given by:

In fact, this generalizes, for classes of things we have a k-set permutation:

Solution

Back to the problem at hand: to count the number of ways of placing 5 0s and 5 1s to form a 10 digit number.

Once we place 5 digits into any of the 10 available slots, that fixes the locations of the remaining 5 digits. However, we still have to include two 5! values, to account for all possible duplicates if we exchanged all 5 of the 1s with one another, or all 5 of the 0s with one another. We use the expression:

Slightly More Complicated

To solve a slightly more complicated problem: suppose we have to assemble a 10-digit binary number from no more than 6 0s and no more than 6 1s?

Now we have 3 possible cases of numbers of 0s:

4 0s: 0000111111 - and its permutations

5 0s: 0000011111 - and its permutations

6 0s: 0000001111 - and its permutations

For each of these cases, we can think of it as the "bucket" of 0s containing 4 0s (5 and 6 0s, respectively) and the "bucket" of 1s containing 6 1s (5 and 4 1s, respectively). We still have a number of permutations that we can form using this given number of 0s and 1s, given by a multiset permutation expression.

For each case, we have a multiset permutation expression that tells us how many permutations we can form from the given number of 0s and 1s:

So we have three possible outcomes, and the total number of arrangements is the sum of these three cases:

Generalizing

We can generalize the process. Suppose we are forming a number of length from a number of digits/classes labeled from , and each digit/class can only appear a maximum of times.

The number of combinations that can be formed for a given is given by the multiset permutation expression above. So the total number of permutations that can be formed is a sum of these multiset permutation expressions, over each possible combination of digits/classes into a number of length .

In computer science terms, we can think of this as a nested for loop or dynamic program; in mathematical terms, we can think of a sequence of summations whose limits depend on the variables in the other summations.

where the limits of the summations are given by:

etc...

these all fix the number of zeros :

Notice that we ignore in the list of summations, because fixing the number of the first k-1 digits/classes (1s, 2s, 3s, ..., (k-1)s) will fix the number of 0s. Alternatively, we could count 0s and include a summation over , and eliminate the last summation over .

However, the multiset permutation expression includes ALL of the N's, from to , since the choice of each variable leads to additional permutations.

Also note that any algorithm implementing this procedure can save time by checking if, for the preceding combinations of N, we have already reached the maximum possible digits that can be selected. (Alternatively, we could write the upper limit of the summations as expressions depending on the prior values of , but we'll keep it simple.)

Ignoring Numbers Starting with 0

We have one last hurdle remaining, and that is how to ignore numbers that start with 0.

If we think about the problem as selecting the number of times each digit is repeated, then assembling that selection into all possible permutations, fixing the first digit as 0 is equivalent to removing one from the total length of the number that must be assembled, and removing one from the possible 0s that will go in the final number. Thus, if we are assembling an digit number from 0s, 1s, 2s, 3s, on up to 9s, then the total number of permutations is given by:

If we fix the first digit as 0, the remaining number of permutations is given by:

Therefore, the number of permutations, excluding those beginning with 0, is written:

Also, it is important to note that if to begin with, there are no possible ways of assembling numbers that begin with 0 because there are no 0s in the number, so the second term becomes 0:

Code

Known Solutions

Test cases with known solutions:

Test Case 1

Assemble two digits (0 and 1) into a 10-digit number, if each digit (0 and 1) can occur up to 5 times.

In this case, we know that 0 and 1 must occur exactly 5 times each. Now we are asking how we can assemble two sets of 5 things into 10 slots. This is a multiset permutation problem:

But wait! We also want to exclude numbers starting with 0, so we actually have:

which is half of 252 - exactly what we would expect.

Test Case 2

Assemble three digits (0, 1, 2) into a 6-digit number, if each digit (0, 1, 2) can occur up to 3 times. No number should start with 0.

In the prior case, we had one outcome of number of 0s and 1s, but in this case, we have a larger number of outcomes that we might see.

Evaluating the expressions for the limits of , we get:

where . Written out, this becomes the total number of possible 6-digit numbers,

minus the number of 6-digit numbers starting with 0:

Let a be the first expression and b be the second expression; then the total is:

In [40]: np.sum(a)
Out[40]: 510.0

In [41]: np.sum(b)
Out[41]: 170.0

In [42]: np.sum(a) - np.sum(b)
Out[42]: 340.0

Recursion

The essence of this problem is a nested for loop - but because we have 9 digits to deal with, a 9-level nested for loop would be a big headache and would not generalize well.

Instead, we can write a recursive method that is called for each of the k (9) digits being selected to compose the final N- (18-) digit number.

The recursive method looks something like this:

global variable solution_count
global variable m
global variable N

def recursive_method( n_tuple, n) {
    if(n==9) {
        compute multiset permutation combinations
        increment global solutions total
        need N, N0, N1, N2, etc.
    } else {
        assemble choices for N_i
        for(choice in choices) {
            set N_i to choice
            call recursive_method()
            unset N_i
        }
    }
}

Pseudocode

Computing the number of possible integers n that meet the specified criteria thus boils down to a long sequence of nested summations (nested loops).

The problem is posed for . For this case, the final expression for the total number of permutations is:

where the limits of summation are given by:

etc...

and from these, is determined by:


Final Code

Final code: https://git.charlesreid1.com/cs/euler/src/master/scratch/Round7_170-180/Problem172.py

Final Answer

Setting the correct parameters should result in the following result:

Flags