Pertanyaan yang diberi tag binary-decision-diagrams

Bit perkalian integer dan diagram keputusan biner yang paling signifikan

Biarkan dan y dua angka biner dengan n bit dan z = x ⋅ y angka biner (panjang 2 n ) dari produk x dan y . Kami ingin menghitung bit paling signifikan z 2 n - 1 dari produk z = z 2 n - 1 ... z 0 .xxxyyynnnz=x⋅y z=x⋅y z = x \cdot y\ 2n2n2nxxxyyyz2n−1z2n−1z_{2n-1}z=z2n−1…z0z=z2n−1…z0z = z_{2n-1}...

Algoritma pada grafik direpresentasikan menggunakan BDD

Representasi paling sederhana untuk grafik menggunakan matriks / daftar adjacency, yang berarti bahwa setiap node dan edge secara eksplisit diwakili. Pentingnya representasi implisit untuk grafik yang menunjukkan keteraturan yang kuat telah lama diakui. Misalnya, Galperin & Wigderson (1983),...