Kombinacja z powtórzeniami – dowolny multizbiór złożony z elementów pewnego zbioru skończonego.
Jeśli zbiór jest n-elementowy, to każdy k-elementowy[a] multizbiór jego elementów jest określany jako k-elementowa kombinacja z powtórzeniami zbioru n-elementowego. W odróżnieniu od kombinacji bez powtórzeń tu elementy mogą się powtarzać. Podobnie w odróżnieniu od kombinacji bez powtórzeń tu liczba
może być dowolna, np. większa od
Liczba k-elementowych kombinacji z powtórzeniami zbioru n-elementowego wyraża się wzorem[1]:
![{\displaystyle {\overline {C}}_{n}^{k}={k+n-1 \choose k}=C(k+n-1,k)={\frac {(k+n-1)!}{k!(n-1)!}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67f10d19e67cb3e462877821883a6ddab42a4e5a)
Każda k-elementowa kombinacja z powtórzeniami zbioru n-elementowego jest klasą abstrakcji wszystkich k-wyrazowych wariacji z powtórzeniami zbioru n-elementowego różniących się między sobą jedynie kolejnością elementów.
k-elementową kombinację z powtórzeniami zbioru n-elementowego można interpretować jako niemalejącą funkcję
Równoważnie oznacza to skończony niemalejący ciąg długości
którego wyrazami są elementy zbioru
Przykład
Liczba kombinacji 2-elementowych z powtórzeniami zbioru 4-elementowego
jest równa
Można je wymienić:
![{\displaystyle \{a,b\},\{a,c\},\{a,d\},\{b,c\},\{b,d\},\{c,d\},\{a,a\},\{b,b\},\{c,c\},\{d,d\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5709fe6cf4b0384e73ef1591c9dd1206a57d9831)
Kolejność nie ma tutaj znaczenia, równie dobrze można napisać
jak i
Uzasadnienie wzoru na liczbę kombinacji
Jeżeli rozważymy zbiór
to każdą jego k-elementową kombinację (obojętne czy z powtórzeniami, czy bez powtórzeń) da się uporządkować tak, by jej elementy
spełniały zależność:
![{\displaystyle 1\leqslant a_{1}\leqslant a_{2}\leqslant \dots \leqslant a_{k-1}\leqslant a_{k}\leqslant n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2eadb50d3648ffd35b99fb3b1e0825a69de12228)
co w liczbach naturalnych (wraz z zerem) równoważne jest kolejno
![{\displaystyle 0<a_{1}<a_{2}+1<\dots <a_{k-1}+k-2<a_{k}+k-1<n+k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7859093b02dd8e064daf6092f05a5a7b2a4a4fe)
oraz, po zamianie symboli,
![{\displaystyle 0<b_{1}<b_{2}<\dots <b_{k-1}<b_{k}<n+k.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77db0020277ddbc12d3636059994b17f31fb0941)
Liczba rozwiązań takiej nierówności dla
jest równa liczbie k-elementowych kombinacji bez powtórzeń zbioru (n+k–1)-elementowego, czyli
[2].
Ograniczenie górne
Uwzględniając znane ograniczenie symbolu Newtona mamy
![{\displaystyle {\overline {C}}_{n}^{k}\geqslant \left({\frac {k+n-1}{k}}\right)^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c3af27fe878b583ff10081c16da474ec73ee555)
![{\displaystyle {\overline {C}}_{n}^{k}\leqslant {\frac {(k+n-1)^{k}}{k!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11ec914b648b7ff8d7b54f604b27d5904729411c)
![{\displaystyle {\overline {C}}_{n}^{k}<\left({\frac {k+n-1}{k}}\cdot e\right)^{k},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a19e1e603f1d4d5d2c90040680873e66aaedebde)
Zobacz też
Uwagi
- ↑ Liczność multizbioru określa się jako liczbę jego elementów z uwzględnieniem liczby wystąpień (repetycji) każdego z tych elementów w multizbiorze.
Przypisy
- ↑ Kenneth A. Ross, Charles R. B. Wright: Matematyka dyskretna. Wydawnictwo Naukowe PWN, 2001, s. 300. ISBN 83-01-12129-7.
- ↑ Donald Knuth, The Art of Computer Programming, tom I.
Kombinatoryka
zagadnienia – znajdowanie liczby | |
---|
inne | |
---|