Soal
Suppose that a valid codeword is an -digit number in decimal notation containing an even number of 0s. Let denote the number of valid codewords of length . In Example 3 we showed that the sequence satisfies the recurrence relation and the initial condition . Use generating functions to find an explicit formula for .
Pembahasan
Untuk membuat pekerjaan dengan fungsi pembangkit lebih sederhana dan mudah, diperluas barisan ini dengan menetapkan ; ketika ditetapkan nilai ini ke dan menggunakan relasi rekurensi (perulangan), didapatkan , yang konsisten dengan kondisi awal. (Hal ini juga masuk akal karena ada satu kata kode dengan panjang 0—string kosong.) Dengan mengalikan kedua sisi relasi rekurensi (pengulangan) dengan akan didapatkan .
Misalkan adalah fungsi pembangkit dari barisan . Dengan menjumlahkan kedua ruas sisi persamaan terakhir yang dimulai dengan , didapatkan bahwa
di mana telah digunakan contoh 4 (Fungsi adalah fungsi pembangkit dari barisan , karena ketika , atau ekuivalennya, untuk untuk .) untuk mengevaluasi penjumlahan kedua. Oleh karena itu, didapatkan . Pemecahan untuk menunjukkan bahwa
Memperluas ruas kanan persamaan ini menjadi ke dalam bentuk pecahan parsial memberikan
Sehingga, . Dengan memasukkan nilai maka akan didapatkan
Dengan cara yang sama, dengan memasukkan nilai maka akan didapatkan
Dengan demikian, .
Sehingga didapatkan . Menggunakan contoh 4 dua kali (sekali dengan dan sekali dengan ) menghasilkan
Akibatnya, telah ditunjukkan bahwa .
Credit: Ramadhani Latief Firmansyah
Video Penjelasan: