UI - Skripsi Membership :: Kembali

UI - Skripsi Membership :: Kembali

Operasi – Operasi pada Reduced Ordered Binary Decision Diagrams (ROBDD)

(Universitas Indonesia, 2010)

 Abstrak

Binary Decision Diagram (BDD) merupakan representasi dari fungsi Boolean
secara simbolik yang dikembangkan dan dipopulerkan oleh Randal E. Bryant.
Selain mengembangkan BDD, Bryant juga memberikan algoritma untuk
melakukan manipulasi pada BDD. Dengan menerapkan suatu kondisi tertentu
terhadap BDD, yaitu dengan menentukan urutan variabel, akan didapat BDD yang
terurut atau disebut juga Ordered Binary Decision Diagram (OBDD). Lalu
dengan menyederhanakan OBDD maka akan didapatkan Reduced Binary
Decision Diagram (ROBDD). ROBDD akan memberikan representasi yang unik
untuk suatu fungsi Boolean. Jadi, jika terdapat dua ROBDD yang
merepresentasikan suatu fungsi Boolean f, maka kedua ROBDD tersebut adalah
sama. Operasi pada fungsi Boolean dapat dilakukan dengan menggunakan operasi
pada ROBDD. Operasi – operasi yang ada pada ROBDD antara lain operasi
Apply, operasi Restrict, operasi SatCount, operasi AnySat, dan operasi AllSat.

 File Digital: 1

Shelf
 S-Annisa Puspitasari.pdf :: Unduh

LOGIN required

 Metadata

Jenis Koleksi : UI - Skripsi Membership
No. Panggil : S-Pdf
Program Studi :
Subjek :
Penerbitan : [Place of publication not identified]: Universitas Indonesia, 2010
Bahasa : ind
Sumber Pengatalogan :
Tipe Konten :
Tipe Media :
Tipe Carrier :
Deskripsi Fisik : xii, 59 hlm. ; 30 cm.
Naskah Ringkas :
Lembaga Pemilik : Universitas Indonesia
Lokasi : Perpustakaan UI, Lantai 3
  • Ketersediaan
  • Ulasan
  • Sampul
No. Panggil No. Barkod Ketersediaan
S-Pdf TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20339948
Cover