Kaidah pencacahan

Templat:TOC right Dalam matematika, khususnya di cabang matematika kombinatorik, kaidah pencacahan merupakan aturan untuk menghitung banyaknya susunan obyek-obyek tanpa harus merinci semua kemungkinan susunannya. Kaidah pencacahan biasanya meliputi aturan dasar menghitung (seperti aturan penjumlahan dan aturan perkalian), prinsip inklusi-eksklusi, pembuktian bijektif, perhitungan ganda, prinsip rumah burung, fungsi pembangkit, dan relasi rekurensi.

Aturan dasar menghitung

Aturan dasar menghitung meliputi kajian dasar dalam cabang matematika (yaitu kombinatorika), di antaranya aturan penjumlahan dan aturan perkalian.

Aturan penjumlahan

Aturan penjumlahan (atau aturan dasar menambahTemplat:Sfn) adalah aturan yang menyatakan bahwa bila ada himpunan $A$ dan $B$ dengan anggota himpunan adalah $a$ dan $b$ dan bila kedua himpunan adalah saling lepas, maka banyaknya cara mengambil satu anggota tersebut adalah dengan cara menjumlahkan anggota pada kedua himpunan, yakni $a+b$.

Lebih formalnya, bila $S_1,\dots ,S_n$ himpunan lepas berpasangan, maka aturan penjumlahan dapat dirumuskan sebagai

$|S_1|+|S_2|+\cdots +|S_n|=|S_1\cup S_2\cup \cdots \cup S_n|$

atau disingkat sebagai

$\sum _{i=1}^n|S_i|=\left|\bigcup _{i=1}^n{S}_i\right|$.

Untuk memahami lebih lanjut, perhatikan contoh berikut: diberikan kelima bangun datar yang berbeda, yakni persegi, lingkaran, segitiga, persegi panjang, dan trapesium. Maka, banyaknya cara mengambil salah satu dari kelima bangun datar tersebut adalah

$1+1+1+1+1=5$.

Ilustrasi mengenai aturan perkalian.

Aturan perkalian

Aturan perkalian (atau aturan dasar mengalikanTemplat:Sfn) adalah aturan yang menyatakan bahwa bila ada $n(A)$ cara untuk $A$ dan $n(B)$ cara untuk $B$, maka banyaknya cara untuk $A$ dan $B$ adalah $n(A)\cdot n(B)$. Sebagai permisalan, pada gambar di samping, diketahui $A$ memiliki tiga elemen, yakni $\{1,2,3\}$. Hal yang serupa untuk $B$ yang memiliki tiga elemen, yakni $\{1,2,3\}$. Maka, banyaknya cara untuk mengkombinasikan $\{A,B\}$ dan $\{1,2,3\}$ adalah $3\times 2=6$ cara.

Aturan perkalian dalam teori himpunan dapat dianggap sebagai hasilkali Kartesius (dilambangkan $\times$), yakni

$|S_1|\cdot |S_2|\cdots |S_n|=|S_1\times S_2\times \cdots \times S_n|$.

Prinsip inklusi-eksklusi

Diagram Venn menunjukkan gabungan pada kedua himpunan $A$ dan$B$ bukan daerah himpunan berwarna putih..

Templat:Main Prinsip inklusi-eksklusi merupakan perluasan diagram Venn yang melibatkan himpunan-himpunan. Prinsip ini kemudian diaplikasi secara variatif. Untuk diberikan suatu himpunan $A$ dan $B$, prinsip inklusi-eksklusi dirumuskan sebagai

$|A\cup B|=\left|A\right|+\left|B\right|-|A\cap B|$.

Pembuktian bijektif

Pembuktian bijektif ialah teorema yang mendefinisikan jika fungsi $f$ yang memetakan himpunan $A$ ke himpunan $B$ adalah bijektif, maka diperoleh bahwa $|A|=|B|$.

Perhitungan ganda

Templat:MainPerhitungan ganda merupakan teknik pembuktian kombinatorial. Teknik pembuktian ini digunakan untuk membuktikan persamaan dua ekspresi dengan menunjukkan bahwa kedua ekspresi adalah dua cara menghitung kardinalitas sebuah himpunan yang sama.

Prinsip rumah burung

Templat:MainPrinsip rumah burung atau prinsip sarang merpati atau prinsip sangkar merpati menyatakan bahwa untuk dua bilangan asli $m$ dan $n$, $n>m$, jika $n$ burung ditaruh di dalam $m$ rumah atau kotak, maka paling sedikit satu kotak berisi lebih dari satu burung.

Fungsi pembangkit

Templat:MainFungsi pembangkit merupakan suatu fungsi yang berbentuk deret kuasa. Dengan menjadikan suku-suku barisan menjadi koefisien dari variabel $x$ di dalam bentuk formal deret kuasa, fungsi ini dapat merepresentasikan barisan secara efektif. Fungsi pembangkit pada barisan $a_0,a_1,a_2,\dots$ dapat dirumuskan sebagai

$G(x)=\sum _{n=0}^{\mathrm{\infty }}{a}_n{x}^n$.

Relasi rekurensi

Relasi rekurensi adalah suatu persamaan yang bergantung pada suku-suku sebelumnya. Lebih umumnya, relasi rekurensi pada suku $a_n$ (dimana $n$ bilangan bulat positif) bergantung pada suku-suku sebelumnya, yakni $a_{n-1},a_{n-2},\dots ,a_1$.

Rujukan

Referensi

• Templat:Citation