View source for Combination

{{About|the mathematics of selecting part of a collection}}
{{Redirect-multi|2|COMBIN|nCr|other uses|Combin (disambiguation)|and|NCR (disambiguation)}}
In [[mathematics]], a '''combination''' is a selection of items from a collection, such that (unlike [[permutation]]s) the order of selection does not matter. For example, given three fruits, say an apple, an orange and a pear, there are three combinations of two that can be drawn from this set: an apple and a pear; an apple and an orange; or a pear and an orange.
More formally, a ''k''-'''combination''' of a [[Set (mathematics)|set]] ''S'' is a subset of ''k'' distinct elements of ''S''. If the set has ''n'' elements, the number of ''k''-combinations is equal to the [[binomial coefficient]]

:<math> \binom nk = \frac{n(n-1)\dotsb(n-k+1)}{k(k-1)\dotsb1},</math>

which can be written using [[factorial]]s as <math>\textstyle\frac{n!}{k!(n-k)!}</math> whenever <math>k\leq n</math>, and which is zero when <math>k>n</math>. The set of all ''k''-combinations of a set ''S'' is often denoted by <math>\textstyle\binom Sk</math>.

Combinations refer to the combination of ''n'' things taken ''k'' at a time without repetition. To refer to combinations in which repetition is allowed, the terms ''k''-selection,<ref>{{harvnb|Ryser|1963|loc=p. 7}} also referred to as an ''unordered selection''.</ref> ''k''-[[multiset]],<ref>{{harvnb|Mazur|2010|loc=p. 10}}</ref> or ''k''-combination with repetition are often used.<ref>When the term ''combination'' is used to refer to either situation (as in {{harv|Brualdi|2010}}) care must be taken to clarify whether sets or multisets are being discussed.</ref> If, in the above example, it were possible to have two of any one kind of fruit there would be 3 more 2-selections: one with two apples, one with two oranges, and one with two pears.

Although the set of three fruits was small enough to write a complete list of combinations, with large sets this becomes impractical. For example, a [[Hand (poker)|poker hand]] can be described as a 5-combination (''k''&nbsp;=&nbsp;5) of cards from a 52 card deck (''n''&nbsp;=&nbsp;52). The 5 cards of the hand are all distinct, and the order of cards in the hand does not matter. There are 2,598,960 such combinations, and the chance of drawing any one hand at random is&nbsp;1&nbsp;/&nbsp;2,598,960.

== Number of ''k''-combinations ==
{{main|Binomial coefficient}}
[[File:Combinations without repetition; 5 choose 3.svg|thumb|3-element subsets of a 5-element set]]
The [[Permutations and combinations#case in|number of ''k''-combinations]] from a given set ''S'' of ''n'' elements is often denoted in elementary combinatorics texts by <math>C(n,k)</math>, or by a variation such as <math>C^n_k</math>,  <math>{}_nC_k</math>, <math>{}^nC_k</math>, <math>C_{n,k}</math> or even <math>C_n^k</math> (the latter form was standard in French, Romanian, Russian, Chinese<ref>{{cite book |title = High School Textbook for full-time student (Required) Mathematics Book II B| edition=2nd | location = China|language = Chinese |date=June 2006| publisher = People's Education Press| pages = 107–116 | isbn = 978-7-107-19616-4 }}</ref> and Polish texts{{citation needed|date=April 2012}}).  The same number however occurs in many other mathematical contexts, where it is denoted by <math>\tbinom nk</math> (often read as "''n'' choose ''k''"); notably it occurs as a coefficient in the [[binomial formula]], hence its name '''binomial coefficient'''. One can define <math>\tbinom nk</math> for all natural numbers ''k'' at once by the relation

:<math>(1 + X)^n = \sum_{k\geq0}\binom{n}{k} X^k,</math>

from which it is clear that

:<math>\binom{n}{0} = \binom{n}{n} = 1,</math>

and further, 

:<math>\binom{n}{k} = 0</math> for ''k''&nbsp;&gt;&nbsp;''n''.

To see that these coefficients count ''k''-combinations from ''S'', one can first consider a collection of ''n'' distinct variables ''X''<sub>''s''</sub> labeled by the elements ''s'' of ''S'', and expand the [[Multiplication|product]] over all elements of&nbsp;''S'':

:<math>\prod_{s\in S}(1+X_s);</math>

it has 2<sup>''n''</sup> distinct terms corresponding to all the subsets of ''S'', each subset giving the product of the corresponding variables ''X''<sub>''s''</sub>. Now setting all of the ''X''<sub>''s''</sub> equal to the unlabeled variable ''X'', so that the product becomes {{nowrap|(1 + ''X'')<sup>''n''</sup>}}, the term for each ''k''-combination from ''S'' becomes ''X''<sup>''k''</sup>, so that the coefficient of that power in the result equals the number of such ''k''-combinations.

Binomial coefficients can be computed explicitly in various ways. To get all of them for the expansions up to {{nowrap|(1 + ''X'')<sup>''n''</sup>}}, one can use (in addition to the basic cases already given) the recursion relation

:<math>\binom{n}{k} = \binom{n - 1}{k - 1} + \binom{n - 1}{k},</math>

for 0 < ''k'' < ''n'', which follows from {{nowrap|(1 + ''X'')<sup>''n''</sup> }}={{nowrap| (1 + ''X'')<sup>''n'' − 1</sup>(1 + ''X'')}}; this leads to the construction of [[Pascal's triangle]].

For determining an individual binomial coefficient, it is more practical to use the formula

:<math>\binom nk = \frac{n(n-1)(n-2)\cdots(n-k+1)}{k!}</math>.

The [[numerator]] gives the number of [[Permutations and combinations#case i|''k''-permutations]] of ''n'', i.e., of sequences of ''k'' distinct elements of ''S'', while the [[denominator]] gives the number of such ''k''-permutations that give the same ''k''-combination when the order is ignored.

When ''k'' exceeds ''n''/2, the above formula contains factors common to the numerator and the denominator, and canceling them out gives the relation

:<math> \binom nk = \binom n{n-k},</math>

for 0 ≤ ''k'' ≤ ''n''. This expresses a symmetry that is evident from the binomial formula, and can also be understood in terms of ''k''-combinations by taking the [[complement (set theory)|complement]] of such a combination, which is an {{nowrap|(''n'' − ''k'')}}-combination.

Finally there is a formula which exhibits this symmetry directly, and has the merit of being easy to remember:

:<math> \binom nk = \frac{n!}{k!(n-k)!},</math>

where ''n''<nowiki>!</nowiki> denotes the [[factorial]] of ''n''. It is obtained from the previous formula by multiplying denominator and numerator by {{nowrap|(''n'' − ''k'')}}!, so it is certainly inferior as a method of computation to that formula.

The last formula can be understood directly, by considering the ''n''<nowiki>!</nowiki> permutations of all the elements of ''S''. Each such permutation gives a ''k''-combination by selecting its first ''k'' elements. There are many duplicate selections: any combined permutation of the first ''k'' elements among each other, and of the final (''n''&nbsp;&minus;&nbsp;''k'') elements among each other produces the same combination; this explains the division in the formula.

From the above formulas follow relations between adjacent numbers in Pascal's triangle in all three directions:

:<math>
\binom nk =
\begin{cases}
\binom n{k-1} \frac {n-k+1}k &\quad \text{if } k > 0 \\
\binom {n-1}k \frac n{n-k} &\quad \text{if } k < n \\
\binom {n-1}{k-1} \frac nk &\quad \text{if } n, k > 0
\end{cases}
</math>.

Together with the basic cases <math>\tbinom n0=1=\tbinom nn</math>, these allow successive computation of respectively all numbers of combinations from the same set (a row in Pascal's triangle), of ''k''-combinations of sets of growing sizes, and of combinations with a complement of fixed size {{nowrap|''n'' − ''k''}}.

=== Example of counting combinations ===
As a specific example, one can compute the number of five-card hands possible from a standard fifty-two card deck as:<ref>{{harvnb|Mazur|2010|loc=p. 21}}</ref>

:<math> {52 \choose 5} = \frac{52\times51\times50\times49\times48}{5\times4\times3\times2\times1} = \frac{311{,}875{,}200}{120} = 
2{,}598{,}960.</math>

Alternatively one may use the formula in terms of factorials and cancel the factors in the numerator against parts of the factors in the denominator, after which only multiplication of the remaining factors is required:
:<math>\begin{alignat}{2}
  {52 \choose 5}
    &= \frac{52!}{5!47!} \\[5pt]
    &= \frac{52\times51\times50\times49\times48\times\cancel{47!}}{5\times4\times3\times2\times\cancel{1}\times\cancel{47!}} \\[5pt]
    &= \frac{52\times51\times50\times49\times48}{5\times4\times3\times2} \\[5pt]
    &= \frac{(26\times\cancel{2})\times(17\times\cancel{3})\times(10\times\cancel{5})\times49\times(12\times\cancel{4})}{\cancel{5}\times\cancel{4}\times\cancel{3}\times\cancel{2}} \\[5pt]
    &= {26\times17\times10\times49\times12} \\[5pt]
    &= 2{,}598{,}960.
\end{alignat}</math>

Another alternative computation, equivalent to the first, is based on writing

:<math> {n \choose k} = \frac { ( n - 0 ) }1 \times \frac { ( n - 1 ) }2 \times \frac { ( n - 2 ) }3 \times \cdots \times \frac { ( n - (k - 1) ) }k,</math>

which gives

:<math> {52 \choose 5} = \frac{52}1 \times \frac{51}2 \times \frac{50}3 \times \frac{49}4 \times \frac{48}5 = 2{,}598{,}960</math>.
When evaluated in the following order, {{math|52 ÷ 1 × 51 ÷ 2 × 50 ÷ 3 × 49 ÷ 4 × 48 ÷ 5}}, this can be computed using only integer arithmetic. The reason is that when each division occurs, the intermediate result that is produced is itself a binomial coefficient, so no remainders ever occur.

Using the symmetric formula in terms of factorials without performing simplifications gives a rather extensive calculation:

:<math>
\begin{align}
 {52 \choose 5} &= \frac{n!}{k!(n-k)!} = \frac{52!}{5!(52-5)!} = \frac{52!}{5!47!} \\[6pt]
&= \tfrac{80,658,175,170,943,878,571,660,636,856,403,766,975,289,505,440,883,277,824,000,000,000,000}{120\times258,623,241,511,168,180,642,964,355,153,611,979,969,197,632,389,120,000,000,000} \\[6pt]
&= 2{,}598{,}960.
\end{align}</math>

=== Enumerating ''k''-combinations ===

One can [[enumeration|enumerate]] all ''k''-combinations of a given set ''S'' of ''n'' elements in some fixed order, which establishes a [[bijection]] from an interval of <math>\tbinom nk</math> integers with the set of those ''k''-combinations. Assuming ''S'' is itself ordered, for instance ''S'' = { 1, 2, …, ''n'' }, there are two natural possibilities for ordering its ''k''-combinations: by comparing their smallest elements first (as in the illustrations above) or by comparing their largest elements first. The latter option has the advantage that adding a new largest element to ''S'' will not change the initial part of the enumeration, but just add the new ''k''-combinations of the larger set after the previous ones. Repeating this process, the enumeration can be extended indefinitely with ''k''-combinations of ever larger sets. If moreover the intervals of the integers are taken to start at&nbsp;0, then the ''k''-combination at a given place ''i'' in the enumeration can be computed easily from ''i'', and the bijection so obtained is known as the [[combinatorial number system]]. It is also known as "rank"/"ranking" and "unranking" in computational mathematics.<ref>{{cite web|url=http://www.site.uottawa.ca/~lucia/courses/5165-09/GenCombObj.pdf |format=PDF |title=Generating Elementary Combinatorial Objects |author=Lucia Moura |website=Site.uottawa.ca |accessdate=2017-04-10}}</ref><ref>{{cite web|url=http://www.sagemath.org/doc/reference/sage/combinat/subset.html |format=PDF |title=SAGE : Subsets |website=Sagemath.org |accessdate=2017-04-10}}</ref>

There are many ways to enumerate ''k'' combinations. One way is to visit all the binary numbers less than 2<sup>''n''</sup>. Choose those numbers having ''k'' nonzero bits, although this is very inefficient even for small ''n'' (e.g. ''n'' = 20 would require visiting about one million numbers while the maximum number of allowed ''k'' combinations is about 186 thousand for ''k'' = 10). The positions of these 1 bits in such a number is a specific ''k''-combination of the set { 1, …, ''n'' }.<ref>{{cite web|url=http://rosettacode.org/wiki/Combinations|title=Combinations - Rosetta Code|publisher=}}{{ugc|date=April 2017}}</ref> Another simple, faster way is to track ''k'' index numbers of the elements selected, starting with {0 .. ''k''−1} (zero-based) or {1 .. ''k''} (one-based) as the first allowed ''k''-combination and then repeatedly moving to the next allowed ''k''-combination by incrementing the last index number if it is lower than ''n''-1 (zero-based) or ''n'' (one-based) or the last index number ''x'' that is less than the index number following it minus one if such an index exists and resetting the index numbers after ''x'' to {''x''+1, ''x''+2, …}.

== Number of combinations with repetition ==
{{See also|Multiset coefficient}}

A ''k''-'''combination with repetitions''', or ''k''-'''multicombination''', or '''[[multiset|multisubset]]''' of size ''k'' from a set ''S'' is given by a sequence of ''k'' not necessarily distinct elements of ''S'', where order is not taken into account: two sequences define the same multiset if one can be obtained from the other by permuting the terms. In other words, the number of ways to sample ''k'' elements from a set of ''n'' elements allowing for duplicates (i.e., with replacement) but disregarding different orderings (e.g. {2,1,2} = {1,2,2}). Associate an index to each element of ''S'' and think of the elements of ''S'' as ''types'' of objects, then we can let <math>x_i</math> denote the number of elements of type ''i'' in a multisubset. The number of multisubsets of size ''k'' is then the number of nonnegative integer solutions of the [[Diophantine equation]]:<ref>{{harvnb|Brualdi|2010|loc=p. 52}}</ref>
:<math>x_1 + x_2 + \ldots + x_n = k.</math>
If ''S'' has ''n'' elements, the number of such ''k''-multisubsets is denoted by,

::<math>\left(\!\!\binom{n}{k}\!\!\right),</math>
a notation that is analogous to the [[binomial coefficient]] which counts ''k''-subsets. This expression, ''n'' multichoose ''k'',<ref>{{harvnb|Benjamin|Quinn|2003|loc=p. 70}}</ref> can also be given in terms of binomial coefficients:

:<math>\left(\!\!\binom{n}{k}\!\!\right)=\binom{n+k-1}{k}.</math>

This relationship can be easily proved using a representation known as [[Stars and bars (combinatorics)|stars and bars]].<ref>In the article [[Stars and bars (combinatorics)]] the roles of {{mvar|n}} and {{mvar|k}} are reversed.</ref> 
{{Hidden begin |showhide=left|title=Proof|titlestyle = background:lightgray;}}
A solution of the above Diophantine equation can be represented by <math>x_1</math> ''stars'', a separator (a ''bar''), then <math>x_2</math> more stars, another separator, and so on. The total number of stars in this representation is ''k'' and the number of bars is ''n'' - 1 (since no separator is needed at the very end). Thus, a string of ''k'' + ''n'' - 1 symbols (stars and bars) corresponds to a solution if there are ''k'' stars in the string. Any solution can be represented by choosing ''k'' out of {{nobreak|''k'' + ''n'' - 1}} positions to place stars and filling the remaining positions with bars. For example, the solution <math>x_1 = 3, x_2 = 2, x_3 = 0, x_4 = 5</math> of the equation <math> x_1 + x_2 + x_3 + x_4 = 10</math> can be represented by
<center><math>\bigstar \bigstar \bigstar | \bigstar \bigstar | | \bigstar \bigstar \bigstar \bigstar \bigstar</math>.<ref>{{harvnb|Benjamin|Quinn|2003|loc=pp. 71 &ndash;72}}</ref></center>
The number of such strings is the number of ways to place 10 stars in 13 positions, <math>\binom{13}{10} = \binom{13}{3} = 286,</math> which is the number of 10-multisubsets of a set with 4 elements.
{{Hidden end}}
[[File:Combinations with repetition; 5 multichoose 3.svg|thumb|370px|[[Bijection]] between 3-subsets of a 7-set (left) and 3-multisets with elements from a 5-set (right).<br>This illustrates that <math>\textstyle {7 \choose 3} = \left(\!\!{5 \choose 3}\!\!\right)</math>.]]

As with binomial coefficients, there are several relationships between these multichoose expressions. For example, for <math> n \ge 1, k \ge 0</math>,

:<math>\left(\!\!\binom{n}{k}\!\!\right)=\left(\!\!\binom{k+1}{n-1}\!\!\right).</math>
This identity follows from interchanging the stars and bars in the above representation.<ref>{{harvnb|Benjamin|Quinn|2003|loc=p. 72 (identity 145)}}</ref>

<!--(the case where both ''r'' and ''k'' are zero is special; the correct value 1 (for the empty 0-multicombination) is given by left hand side <math>\tbinom{-1}0</math>, but not by the right hand side <math>\tbinom{-1}{-1}</math>). This follows from a clever representation of such combinations with just two symbols (see [[Stars and bars (combinatorics)]]). -->

=== Example of counting multisubsets ===
For example, if you have four types of donuts (''n''&nbsp;=&nbsp;4) on a menu to choose from and you want three donuts (''k''&nbsp;=&nbsp;3), the number of ways to choose the donuts with repetition can be calculated as

:<math>\left(\!\!\binom{4}{3}\!\!\right) = \binom{4+3-1}3 = \binom{6}{3} = \frac{6\times5\times4}{3\times2\times1} = 20.</math>

This result can be verified by listing all the 3-multisubsets of the set ''S'' = {1,2,3,4}. This is displayed in the following table.<ref>{{harvnb|Benjamin|Quinn|2003|loc=p. 71}}</ref> The second column shows the nonnegative integer solutions <math>[x_1,x_2,x_3,x_4]</math> of the equation <math>x_1 + x_2 + x_3 + x_4 = 3</math> and the last column gives the stars and bars representation of the solutions.<ref>{{harvnb|Mazur|2010|loc=p. 10}} where the stars and bars are written as binary numbers, with stars = 0 and bars = 1.</ref>
<center>
{| class="wikitable"
|-
! No.!! 3-Multiset!! Eq. Solution!! Stars and Bars
|-
| 1 || {1,1,1} || [3,0,0,0] || <math>\bigstar \bigstar \bigstar |||</math>
|-
| 2 || {1,1,2} || [2,1,0,0] || <math>\bigstar \bigstar | \bigstar ||</math>
|-
| 3 || {1,1,3} || [2,0,1,0] || <math>\bigstar \bigstar ||\bigstar|</math>
|-
| 4 || {1,1,4} || [2,0,0,1] || <math>\bigstar \bigstar |||\bigstar</math>
|-
| 5 || {1,2,2} || [1,2,0,0] || <math>\bigstar |\bigstar \bigstar ||</math>
|-
| 6 || {1,2,3} || [1,1,1,0] || <math>\bigstar |\bigstar |\bigstar|</math>
|-
| 7 || {1,2,4} || [1,1,0,1] || <math>\bigstar |\bigstar ||\bigstar</math>
|-
| 8 || {1,3,3} || [1,0,2,0] || <math>\bigstar || \bigstar \bigstar |</math>
|-
| 9 || {1,3,4} || [1,0,1,1] || <math>\bigstar ||\bigstar|\bigstar</math>
|-
| 10 || {1,4,4} || [1,0,0,2] || <math>\bigstar |||\bigstar \bigstar</math>
|-
| 11 || {2,2,2} || [0,3,0,0] || <math>|\bigstar \bigstar \bigstar ||</math>
|-
| 12 || {2,2,3} || [0,2,1,0] || <math>|\bigstar \bigstar | \bigstar|</math>
|-
| 13 || {2,2,4} || [0,2,0,1] || <math>|\bigstar \bigstar ||\bigstar</math>
|-
| 14 || {2,3,3} || [0,1,2,0] || <math>|\bigstar |\bigstar \bigstar |</math>
|-
| 15 || {2,3,4} || [0,1,1,1] || <math>|\bigstar | \bigstar | \bigstar</math>
|-
| 16 || {2,4,4} || [0,1,0,2] || <math>|\bigstar ||\bigstar \bigstar</math>
|-
| 17 || {3,3,3} || [0,0,3,0] || <math>||\bigstar \bigstar \bigstar |</math>
|-
| 18 || {3,3,4} || [0,0,2,1] ||<math>||\bigstar \bigstar |\bigstar</math>
|-
| 19 || {3,4,4} || [0,0,1,2] || <math>||\bigstar |\bigstar \bigstar</math>
|-
| 20 || {4,4,4} || [0,0,0,3] || <math>|||\bigstar \bigstar \bigstar</math>
|}
</center>
<!--The analogy with the ''k''-combination case can be stressed by writing the numerator as a rising power

:<math>\binom{n + k - 1}{k} =  \frac{n(n+1)\cdots(n+k-1)}{k!}.</math>

There is an easy way to understand the above result. Label the elements of ''S'' with numbers 0, 1, ..., {{nowrap|''n'' − 1}}, and choose a ''k''-combination from the set of numbers { 1, 2, ..., {{nowrap|''n'' + ''k'' − 1}} } (so that there are {{nowrap|''n'' − 1}} ''unchosen'' numbers). Now change this ''k''-combination into a ''k''-multicombination of ''S'' by replacing every (chosen) number ''x'' in the ''k''-combination by the element of ''S'' labeled by the ''number of unchosen numbers'' less than ''x''. This is always a number in the range of the labels, and it is easy to see that every ''k''-multicombination of ''S'' is obtained for one choice of a ''k''-combination.

A concrete example may be helpful. Suppose there are 4 types of fruits (apple, orange, pear, banana) at a grocery store, and you want to buy 12 pieces of fruit. So ''n''&nbsp;=&nbsp;4 and ''k''&nbsp;=&nbsp;12. Use label 0 for apples, 1 for oranges, 2 for pears, and 3 for bananas. A selection of 12 fruits can be translated into a selection of 12 distinct numbers in the range 1,...,15 by selecting as many consecutive numbers starting from 1 as there are apples in the selection, then skip a number, continue choosing as many consecutive numbers as there are oranges selected, again skip a number, then again for pears, skip one again, and finally choose the remaining numbers (as many as there are bananas selected). For instance for 2 apples, 7 oranges, 0 pears and 3 bananas, the numbers chosen will be 1, 2, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15. To recover the fruits, the numbers 1, 2 (not preceded by any unchosen numbers) are replaced by apples, the numbers 4,&nbsp;5,&nbsp;...,&nbsp;10 (preceded by one unchosen number: 3) by oranges, and the numbers 13, 14, 15 (preceded by three unchosen numbers: 3, 11, and 12) by bananas; there are no chosen numbers preceded by exactly 2 unchosen numbers, and therefore no pears in the selection. The total number of possible selections is

<math>\binom{4+12-1}{12} = \left(\!\!\!\binom{4}{12}\!\!\!\right) = \binom{15}{12} = \left(\!\!\!\binom{13}{3}\!\!\!\right) = \binom{15}{3} = \frac{13\times14\times15}{1\times2\times3} = 455. </math>
-->

== Number of ''k''-combinations for all ''k'' ==
{{See also|Binomial coefficient#Sum of coefficients row}}

The number of ''k''-combinations for all ''k'' is the number of subsets of a set of ''n'' elements. There are several ways to see that this number is 2<sup>''n''</sup>. In terms of combinations, <math>\sum_{0\leq{k}\leq{n}}\binom nk = 2^n</math>, which is the sum of the ''n''th row (counting from 0) of the [[Binomial coefficient#Sum of coefficients row|binomial coefficients]] in [[Pascal's triangle]]. These combinations (subsets) are enumerated by the 1 digits of the set of [[base 2]] numbers counting from 0 to 2<sup>''n''</sup> &nbsp;−&nbsp; 1, where each digit position is an item from the set of ''n''.

Given 3 cards numbered 1 to 3, there are 8 distinct combinations ([[subsets]]), including the [[empty set]]:

:<math>| \{ \{\}  ;  \{1\}  ;  \{2\}  ;  \{1, 2\} ; \{3\}  ;  \{1, 3\}  ;  \{2, 3\}  ;  \{1, 2, 3\} \}| = 2^3 = 8</math>

Representing these subsets (in the same order) as base 2 numerals:
::0 – 000
::1 – 001
::2 – 010
::3 – 011
::4 – 100
::5 – 101
::6 – 110
::7 – 111

== Probability: sampling a random combination ==

There are various [[algorithms]] to pick out a random combination from a given set or list. [[Rejection sampling]] is extremely slow for large sample sizes. One way to select a ''k''-combination efficiently from a population of size ''n'' is to iterate across each element of the population, and at each step pick that element with a dynamically changing probability of <math>\frac{k-\#\text{samples chosen}}{n- \#\text{samples visited}}</math>. (see [[reservoir sampling]]).

==See also==
{{Portal|Mathematics}}
{{colbegin|colwidth=30em}}
* [[Binomial coefficient]]
* [[Combinatorial number system]]
* [[Combinatorics]]
* [[Kneser graph]]
* [[List of permutation topics]]
* [[Multiset]]
* [[Pascal's triangle]]
* [[Permutation]]
* [[Probability]]
* [[Subset]]
{{colend}}

==Notes==
{{Reflist|30em}}

==References==
* {{citation | first1 = Arthur T. | last1 = Benjamin | author1-link = Arthur T. Benjamin | first2 = Jennifer J. | last2 = Quinn | author2-link = Jennifer Quinn |title=Proofs that Really Count: The Art of Combinatorial Proof|year=2003|series=The Dolciani Mathematical Expositions 27|publisher=The Mathematical Association of America|isbn=978-0-88385-333-7}}
* {{citation|first=Richard A.|last=Brualdi|authorlink=Richard A. Brualdi|year=2010|title=Introductory Combinatorics|edition=5th|publisher=Pearson Prentice Hall|isbn=978-0-13-602040-0}}
* [[Erwin Kreyszig]], ''Advanced Engineering Mathematics'', John Wiley & Sons, INC, 1999.
* {{citation|first=David R.|last= Mazur|title=Combinatorics: A Guided Tour|year= 2010|publisher=Mathematical Association of America|isbn=978-0-88385-762-5}}
* {{citation|first= Herbert John|last=Ryser|authorlink=H. J. Ryser|year=1963|title=Combinatorial Mathematics|publisher=Mathematical Association of America|series=The Carus Mathematical Monographs 14}}

==External links==
* [https://www.topcoder.com/community/data-science/data-science-tutorials/basics-of-combinatorics/ Topcoder tutorial on combinatorics  ]
* [http://compprog.wordpress.com/2007/10/17/generating-combinations-1/ C code to generate all combinations of n elements chosen as k]
* [http://mathforum.org/library/drmath/sets/high_perms_combs.html Many Common types of permutation and combination math problems, with detailed solutions]
* [http://www.murderousmaths.co.uk/books/unknownform.htm The Unknown Formula] For combinations when choices can be repeated and order does NOT matter
* [http://dl.dropbox.com/u/7951257/easymath/Combinations%20with%20Repetitions.pdf Combinations with repetitions (by: Akshatha AG and Smitha B)]{{Dead link|date=November 2019 |bot=InternetArchiveBot |fix-attempted=yes }}
* [http://www.lucamoroni.it/the-dice-roll-sum-problem/ The dice roll with a given sum problem] An application of the combinations with repetition to rolling multiple dice

[[Category:Combinatorics]]