AKA 02 Correctness of Recursive ID

CII2C2
Analisis Kompleksitas Algoritma
Pertemuan 4-5:
Correctness proof of algorithm: recursive algorithm
1. Recall on Recursive Algorithm
2. Pembuktian kebenaran algoritma rekursif

2.1 Contoh: Fibonacci
2.2 Maximum value
2.3 Multiplication
3. Soal Latihan
CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 2

Recall on Recursive Algorithm

Pengertian rekursi
Suatu entitas (tipe, fungsi) didefinisikan sebagai rekursi jika entitas

tersebut mengandung terminologinya sendiri.

Pengertian rekursi
Suatu entitas (tipe, fungsi) didefinisikan sebagai rekursi jika entitas

tersebut mengandung terminologinya sendiri.
Contoh rekursi:

Struktur rekursif
Entitas rekursi terdiri dari dua bagian:
1. Kasus dasar (basis)
2. Langkah rekursi

Struktur rekursif
Entitas rekursi terdiri dari dua bagian:
1. Kasus dasar (basis)
2. Langkah rekursi
Secara umum, algoritma dari fungsi rekursif mempunyai struktur

sebagai berikut:
F(<param-list>) :
depend-on
<base condition> : <expression-1>
<reccurence condition> : F(<expression-2>)
◦ expression-2 dan param-list mempunyai domain yang

sama
◦ Nilai dari expression-2 harus mendekat ke kondisi basis
secara bertahap pada setial pemanggilan rekursi
◦ Ketika kondisi basis terpenuhi, program akan terminate
Contoh rekursi: Faktorial
Untuk suatu bilangan bulat n ≥ 0, n! dapat didefinisikan secara

rekursif sebagai berikut:
{
1 , jika n = 0
n! = .
(n − 1)! ∗ n , jika n > 0


{
1 , jika n = 0
n! = .
(n − 1)! ∗ n , jika n > 0
Misalkan fac(n) menyatakan n!.


{
1 , jika n = 0
n! = .
(n − 1)! ∗ n , jika n > 0
Misalkan fac(n) menyatakan n!.

Algoritma rekursif untuk perhitungan fac(n):
fac(n) :
if n=0 then {kondisi basis}
return 1
else {langkah rekursi}
return fac(n-1)*n

Contoh rekursi: Fibonacci
Untuk suatu bilangan bulat n ≥ 0, bilangan Fibonacci ke−n, f ib(n),
dapat didefinisikan secara rekursif sebagai berikut:


0 , jika n = 0
f ib(n) = 1 , jika n = 1 .


f ib(n − 1) + f ib(n − 2) , jika n ≥ 2



0 , jika n = 0
f ib(n) = 1 , jika n = 1 .


f ib(n − 1) + f ib(n − 2) , jika n ≥ 2
Algoritma rekursif untuk perhitungan fib(n):

fib(n) :



0 , jika n = 0
f ib(n) = 1 , jika n = 1 .


f ib(n − 1) + f ib(n − 2) , jika n ≥ 2

fib(n) :
{kondisi dasar}



0 , jika n = 0 ← kondisi dasar
f ib(n) = 1 , jika n = 1 ← kondisi dasar .


f ib(n − 1) + f ib(n − 2) , jika n ≥ 2

fib(n) :
if n<=1 then {kondisi dasar}
return n



0 , jika n = 0
f ib(n) = 1 , jika n = 1 .


f ib(n − 1) + f ib(n − 2) , jika n ≥ 2

fib(n) :
return n



0 , jika n = 0
f ib(n) = 1 , jika n = 1 .


f ib(n − 1) + f ib(n − 2) , jika n ≥ 2

fib(n) :
return n
return fib(n-1)+fib(n-2)

Pembuktian kebenaran algoritma
rekursif

Langkah umum
Pembuktian algortima iteratif memerlukan loop invariant yang

kemudian dibuktikan dengan menggunakan induksi matematika.

Langkah umum
Pembuktian algortima iteratif memerlukan loop invariant yang

kemudian dibuktikan dengan menggunakan induksi matematika.
Pembuktian algoritma rekursif dapat dilakukan dengan induksi

matematika:
◦ Basis rekursi (kasus dasar) merupakan basis induksi
◦ Untuk langkah induksi, dimisalkan bahwa proses rekursi telah
menghasilkan hasil yang benar hingga k langkah, buktikan
bahwa langkah berikutnya pun rekursi akan menghasilkan hasil
yang benar

Contoh: bilangan Fibonacci
Misalkan diberikan algoritma sebagai berikut:
fib(n) :
if n<=1 then return(n)
else return(fib(n-1)+fib(n-2))
Buktikan bahwa fungsi tersebut akan menghasilkan bilangan

Fibonacci ke-n, yaitu Fn !

Fibonacci: claim, langkah basis, langkah induksi
Claim:

Claim: apa yang ingin dibuktikan?

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

Langkah basis:

Langkah basis:
buktikan/nyatakan bahwa claim benar untuk kasus dasar

Langkah basis:
Untuk n = 0, fib(n) memberikan nilai 0 yang merupakan F0 .

Langkah basis:
Langkah induksi:

Langkah basis:
Langkah induksi:
◦ Tentukan hipotesis induksi, yaitu pemisalan bahwa claim benar
untuk setiap k < n

Langkah basis:
Langkah induksi:
◦ Misalkan n ≥ 2 dan untuk setiap k dimana 0 ≤ k < n, fib(n)
menghasilkan Fk .

Langkah basis:
Langkah induksi:
menghasilkan Fk .
◦ Apa yang ingin dibuktikan di langkah induksi?

Langkah basis:
Langkah induksi:
menghasilkan Fk .
◦ Akan dibuktikan bahwa fib(n) menghasilkan Fn .

Langkah basis:
Langkah induksi:
menghasilkan Fk .
◦ Dari algoritma, didapatkan: fib(n)=fib(n-1)+fib(n-2)

Langkah basis:
Langkah induksi:
menghasilkan Fk .
Dari hipotesis induksi, didapatkan: fib(n)=Fn−1 + Fn−2
(TERBUKTI)
Langkah basis:
Langkah induksi:
menghasilkan Fk .
Dari hipotesis induksi, didapatkan: fib(n)=Fn−1 + Fn−2
Dari definisi Fn , didapatkan: fib(n)=Fn
Contoh: maximum value
function maximum(A,n) :
if n<=1 then return(A[1])
else return(max(maximum(A,n-1),A[n]))
Buktikan bahwa fungsi tersebut akan memberikan nilai maksimum

dari barisan bilangan A[1..n] yang diberikan!

Claim:

Claim:
apa yang ingin dibuktikan?

Claim:
Untuk setiap n ≥ 0, maximum(A,n) returns max(A[1], . . . , A[n])

Claim:
Langkah basis:

Claim:
Langkah basis:

Claim:
Langkah basis:
maximum(A,1) menghasilkan A[1] yang merupakan max(A[1]).

Claim:
Langkah basis:
Langkah induksi:

Claim:
Langkah basis:
Langkah induksi:
untuk setiap k < n

Claim:
Langkah basis:
Langkah induksi:
◦ Misalkan n ≥ 1 dan untuk setiap k dimana 0 ≤ k < n,
maximum(A,n) menghasilkan max(A[1], . . . , A[k]).

Claim:
Langkah basis:
Langkah induksi:

Claim:
Langkah basis:
Langkah induksi:
◦ Adb. maximum(A,n) menghasilkan max(A[1], . . . , A[n]).

Claim:
Langkah basis:
Langkah induksi:
◦ Dari algoritma:
maximum(A,n)=max(maximum(A,n-1),A[n])

Claim:
Langkah basis:
Langkah induksi:
◦ Dari algoritma:
Dari hipotesis induksi:
maximum(A,n)=max(max(A[1], . . . , A[n − 1]), A[n])

Claim:
Langkah basis:
Langkah induksi:
◦ Dari algoritma:
Dari definisi max:
maximum(A,n)=max(A[1], . . . , A[n])
Claim:
Langkah basis:
Langkah induksi:
◦ Dari algoritma:
Dari definisi max:
maximum(A,n)=max(A[1], . . . , A[n]) (TERBUKTI)
Contoh: multiplication
function multiply(y,z) :
if z=0 then return(0)
else if z is odd then return(multiply(2y,⌊ z/2⌋)+y)
else return(multiply(2y,⌊ z/2⌋))
Buktikan bahwa fungsi tersebut akan memberikan nilai perkalian y

dan z

Multiplication: claim, langkah basis
Claim:

Claim:
apa yang ingin dibuktikan?

Claim:
Untuk setiap y, z ≥ 0, multiply(y,z) returns yz

Claim:
Langkah basis:

Claim:
Langkah basis:

Claim:
Langkah basis:
Untuk z = 0, multiply(y,z) menghasilkan nilai 0 yang merupakan
hasil perkalian yz.

Multiplication: langkah induksi
Langkah induksi:

Langkah induksi:
untuk setiap k < n

Langkah induksi:
◦ Misalkan z ≥ 1 dan untuk setiap k dimana 0 ≤ k < z,
multiply(y,z) menghasilkan yk.

Langkah induksi:

Langkah induksi:
◦ Adb. multiply(y,z) menghasilkan yz.

Langkah induksi:
▶ Kasus 1: ketika z adalah bilangan ganjil

Langkah induksi:
Dari algoritma: multiply(y,z)=multiply(2y,⌊ z/2⌋)+y

Langkah induksi:
Dari definisi ganjil dan ⌊a⌋: ⌊z/2⌋ = (z − 1)/2

Langkah induksi:
Sehingga multiply(y,z)=multiply(2y,(z-1)/2)+y

Langkah induksi:
Berdasarkan hipotesis induksi:
multiply(y,z)=2y((z − 1)/2) + y = y(z − 1) + y = yz

Langkah induksi:
▶ Kasus 2: ketika z adalah bilangan genap

Langkah induksi:
Dari algoritma: multiply(y,z)=multiply(2y,⌊ z/2⌋)

Langkah induksi:
Dari definisi genap dan ⌊a⌋: ⌊z/2⌋ = z/2

Langkah induksi:
Sehingga multiply(y,z)=multiply(2y,z/2)

Langkah induksi:
multiply(y,z)=2y(z/2) = yz
Langkah induksi:
multiply(y,z)=2y(z/2) = yz (TERBUKTI)
Soal Latihan

Latihan 1
function g(n) :
if n <= 1 then return(n)
else return(5*g(n-1)-6*g(n-2)))
Buktikan bahwa fungsi tersebut akan menghasilkan nilai 3n − 2n

untuk setiap n ≥ 0.

Latihan 2
Misalkan diberikan program sebagai berikut:
function sum(A,n) :
if n = 1 then return(A[1])
else return(sum(A,n-1)+A[n])
Buktikan bahwa fungsi tersebut akan menghasilkan nilai penjumlahan

A[1], . . . , A[n] untuk setiap n ≥ 1.

Latihan 3
function multiply(y,z) :
if z = 0 then return(0)
else return(multiply(2y,⌊z/2⌋)+y(z mod 2))
Buktikan bahwa fungsi tersebut akan menghasilkan nilai perkalian yz

untuk setiap y, z ≥ 0.

References
1. Ian Parberry. Lecture notes on algorithm analysis and

computational complexity. 2001.
2. Ian Parberry & William Gasarch. Problems on Algorithms. 2002.
3. Inggriani Liem. Diktat Kuliah Dasar Pemrograman:
Pemrograman Prosedural. ITB. 2007
4. Inggriani Liem. Diktat Kuliah Dasar Pemrograman:
Pemrograman Fungsional. ITB. 2008

THANK YOU

AKA 02 Correctness of Recursive ID

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

AKA 02 Correctness of Recursive ID

Diunggah oleh

Hak Cipta:

Format Tersedia

CII2C2

Analisis Kompleksitas Algoritma

2. Pembuktian kebenaran algoritma rekursif

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 2

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 3

Suatu entitas (tipe, fungsi) didefinisikan sebagai rekursi jika entitas

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 4

Suatu entitas (tipe, fungsi) didefinisikan sebagai rekursi jika entitas

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 4

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 5

Secara umum, algoritma dari fungsi rekursif mempunyai struktur

◦ expression-2 dan param-list mempunyai domain yang

Untuk suatu bilangan bulat n ≥ 0, n! dapat didefinisikan secara

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 6

Untuk suatu bilangan bulat n ≥ 0, n! dapat didefinisikan secara

Misalkan fac(n) menyatakan n!.

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 6

Untuk suatu bilangan bulat n ≥ 0, n! dapat didefinisikan secara

Misalkan fac(n) menyatakan n!.

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 6

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 7

Algoritma rekursif untuk perhitungan fib(n):

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 7

Algoritma rekursif untuk perhitungan fib(n):

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 7

Algoritma rekursif untuk perhitungan fib(n):

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 7

Algoritma rekursif untuk perhitungan fib(n):

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 7

Algoritma rekursif untuk perhitungan fib(n):

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 7

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 8

Pembuktian algortima iteratif memerlukan loop invariant yang

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 9

Pembuktian algortima iteratif memerlukan loop invariant yang

Pembuktian algoritma rekursif dapat dilakukan dengan induksi

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 9

Misalkan diberikan algoritma sebagai berikut:

Buktikan bahwa fungsi tersebut akan menghasilkan bilangan

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 10

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: apa yang ingin dibuktikan?

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

CII2C2-Analisis Kompleksitas Algoritma / FAKULTAS INFORMATIKA 11

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn

Claim: Untuk setiap n ≥ 0, fib(n) returns Fn