Matematik/Diskret Matematik/Kombinatorik

Från Wikibooks

Hoppa till: navigering, sök
Diskret Matematik

Introduktion | Kombinatorik | Mängder | Satslogik | Predikatlogik | Talteori
Formelsamling/Matematik | Matematik alla kurser





[redigera] Kombinatorik

en inledande beskrivning

Kombinatorik handlar om olika sätt att kombinera element. Kombinatorik är till god hjälp när man behöver beräkna sannolikheter och bedöma sina chanser vid spel av olika slag. Genom att tillämpa kombinatorik kan vi exempelvis räkna ut att vid kast med två tärningar är det lättare att få en sjua än något annat resultat, vilket är bra att veta när man spelar backgammon eller monopol.

Typiska problem som kombinatorik hjälper oss att lösa:

Hur många olika pokerhänder finns det?

På hur många sätt kan jag få par i knektar eller högre redan vid given?

Hur många olika pärlarmband med 24 pärlor kan jag göra om det finns fyra färger på pärlorna att välja på?

Hur många sätt finns det att välja ut sju av talen 1-35 om det inte spelar någon roll i vilken ordning man tar dem? Om ordningen har betydelse? Om det är tillåtet att välja samma tal flera gånger?

[redigera] Binomialsatsen


(a + b)^n = \sum _{k=0} ^n \left(\begin{array}{c} n \\ k \end{array} \right)a^kb^{n-k}
.

Binomialsatsen kan generaliseras till multinomialsatsen: 
\left(\sum _{k = 0} ^{m - 1} x_k \right)^n = \sum _{\sum _{k = 0} ^{m - 1} n_k = n} \left( {n \choose {n_0, \ldots, n_{m-1}}} \prod _{k = 0} ^{m - 1} x_k ^{n_k} \right)

Här används multinomialkoefficienten, definierad som {n \choose {n_0, \ldots, n_p}} := \frac{n!}{n_0! \cdots n_p!}

Multinomialsatsen åskådliggörs i nedanstående exempel. Exempel: Utveckla (x + y + z)4. Lösning: (x + y + z)4 = 
{4 \choose {4, 0, 0}} x^4 +
{4 \choose {3, 1, 0}} x^3y +
{4 \choose {3, 0, 1}} x^3z +
{4 \choose {2, 2, 0}} x^2y^2 +

{4 \choose {2, 1, 1}} x^2yz +
{4 \choose {2, 0, 2}} x^2z^2 +
{4 \choose {1, 3, 0}} xy^3 +
{4 \choose {1, 2, 1}} xy^2z +

{4 \choose {1, 1, 2}} xyz^2 +
{4 \choose {1, 0, 3}} xz^3 +
{4 \choose {0, 4, 0}} y^4 +
{4 \choose {0, 3, 1}} y^3z +

{4 \choose {0, 2, 2}} y^2z^2 +
{4 \choose {0, 1, 3}} yz^3 +
{4 \choose {0, 0, 4}} z^4
= x4 + 4x3y + 4x3z + 6x2y212x2yz + 6x2z2 + 4xy3 + 12xy2z + 12xyz2 + 4xz3 + y4 + 4y3z + 6y2z2 + 4yz3 + z4

[redigera] Genererande funktioner

Definition: Den genererande funktionen till \{ a_k \}_{k=0} ^\infty är \sum _{k=0} ^\infty a_kx^k.