Kaidah pencacahan

Dalam matematika, khususnya di cabang matematika kombinatorik, **kaidah pencacahan** merupakan aturan untuk menghitung banyaknya susunan objek-objek 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 menambah**) 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.

### Aturan perkalian
**Aturan perkalian** (atau **aturan dasar mengalikan**) 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

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

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

## 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
Perhitungan 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
Prinsip 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
Fungsi 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}^{\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 (di mana n bilangan bulat positif) bergantung pada suku-suku sebelumnya, yakni a_{n-1}, a_{n-2}, \dots, a_1.

## Rujukan

### Catatan kaki


### Referensi

*