How Many Combinations of Digits 0-7 Sum to 7?

  • Thread starter Thread starter MartinV05
  • Start date Start date
  • Tags Tags
    Combinations Sum
AI Thread Summary
To find the number of combinations of the digits 0-7 that sum to 7 using three digits with repetition allowed, one can utilize a generating function approach. The expression (1 + x + x^2 + x^3 + x^4 + x^5 + x^6 + x^7)^3 is computed, and the coefficient of x^7 in the resulting expansion represents the total permutations of the digits that sum to 7. To convert permutations into combinations, the coefficient should be divided by 3!. This method provides a systematic way to solve the problem without a direct formula. The discussion emphasizes the use of generating functions as a powerful tool in combinatorial problems.
MartinV05
Messages
23
Reaction score
0
When you have combinations where digits are 0,1,2...,m, meaning we have n=m+1 and k, is there a way to see how much of them sum up to a given number? For the sake of simplicity I have the digits 0,1,2...,7 (so n=8), and k=3. I need to find how much of these combinations WITH repetition sum up to 7. Is there a formula for this?
 
Physics news on Phys.org
By sum up, I mean the sum of all 3 digits in each combination needs to be equal to 7.
 
MartinV05 said:
Is there a formula for this?

I don't know a formula, but there is a procedure - or at least a concise way to phrase the problem.

Compute

(1 + x + x^2 + x^3 +x^4 + x^5 + x^6 + x^7)^3 = ?

and then look at the coefficient of x^7 in the answer. The coefficient counts the number of permutations of the numbers 0,1,2...7 that add to 7. To get combinations, divide that by 3!.
 
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top