TOPICS
Search

Composition


A composition of a positive integer n is an ordered arrangement of positive integers which sum to n (Skiena 1990, p. 60). It is therefore a partition in which order is significant. For example, there are eight compositions of 4,

4=4
(1)
=3+1
(2)
=2+2
(3)
=2+1+1
(4)
=1+3
(5)
=1+2+1
(6)
=1+1+2
(7)
=1+1+1+1.
(8)

A positive integer n has 2^(n-1) compositions.

The nesting of two or more functions to form a new function is known as function composition.

For integers 1<=k<=n, the number of compositions of n into k positive parts is given by

C_k(n)=(n-1; k-1)
(9)
=((n-1)!)/((k-1)!(n-k)!).
(10)

For k>n, C_k(n)=0.

A weak composition allows zero as a part. For integers n>=0 and k>=1, the number C_k^'(n) of weak compositions of n of length k is given by

C_k^'(n)=(n+k-1; k-1)
(11)
=((n+k-1)!)/(n!(k-1)!).
(12)

The following table gives counts of weak compositions.

kOEISC_k^'(1), C_k^'(2), ...
2A0000272, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, ...
3A0002173, 6, 10, 15, 21, 28, 36, 45, 55, 66, 78, 91, 105, 120, ...
4A0002924, 10, 20, 35, 56, 84, 120, 165, 220, 286, 364, 455, 560, 680, ...
5A0003325, 15, 35, 70, 126, 210, 330, 495, 715, 1001, 1365, 1820, ...
6A0003896, 21, 56, 126, 252, 462, 792, 1287, 2002, 3003, 4368, ...
7A0005797, 28, 84, 210, 462, 924, 1716, 3003, 5005, 8008, 12376, ...
8A0005808, 36, 120, 330, 792, 1716, 3432, 6435, 11440, 19448, ...
9A0005819, 45, 165, 495, 1287, 3003, 6435, 12870, 24310, 43758, ...

An operation called composition is also defined on binary quadratic forms. For two numbers represented by two forms, the product can then be represented by the composition. For example, the composition of the forms 2x^2+15y^2 and 3x^2+10y^2 is given by 6x^2+5y^2, and in this case, the product of 17 and 13 would be represented as (6·36+5·1=221). There are several algorithms for computing binary quadratic form composition, which is the basis for some factoring methods.


See also

Adem Relations, Bhargava's Theorem, Binary Operator, Binary Quadratic Form, Decomposition, Function Composition, Permutation, Random Composition, Weak Composition

Portions of this entry contributed by Christopher Stover

Explore with Wolfram|Alpha

References

Klingsberg, P. "A Gray Code for Compositions." J. Algorithms 3, 41-44, 1982.Richmond, B. and Knopfmacher, A. "Compositions with Distinct Parts." Aeq. Math. 49, 86-97, 1995.Skiena, S. "Compositions." §2.2 in Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica. Redwood City, CA: Addison-Wesley, pp. 60-62, 1990.Sloane, N. J. A. Sequences A000027, A000217, A000292, A000332, A000389, A000579, A000580, and A000581 in "The On-Line Encyclopedia of Integer Sequences."

Referenced on Wolfram|Alpha

Composition

Cite this as:

Weisstein, Eric W., with contributions by Christopher Stover. "Composition." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Composition.html

Subject classifications