[Ringkasan Kuliah IF5152-Analisis Algoritma]: Pembuktian Kebenaran Algoritma, Live @ 7607


Postingan ini merupakan ringkasan kuliah yang diambil secara¬† ‘live’ di ruang kuliah 7607 Labtek V, Informatika ITB, oleh Pak Rila Mandala.¬† B-) Semoga bisa kyk gini lagi di kuliah2 berikutnya *itupun kalo dibolehin oleh dosennya* :p

Pembuktian Kebenaran Algoritma

Pembuktian kebenaran algoritma tidak dapat dilakukan secara eksperimental. Maksudnya adalah kita tidak dapat mengklaim bahwa algoritma tersebut benar (sesuai yg diinginkan) dengan cara mencoba sekian banyak data masukan. Karena algoritma dapat dianggap benar apabila berjalan dengan benar untuk semua masukan.

Continue reading