Pertanyaan yang diberi tag «binary-decision-diagrams»

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 …

15 cc.complexity-theory  binary-decision-diagrams 

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), Papadimitriou & Yannakakis ( Catatan tentang Representasi Ringkas Grafik , 1986) mengeksplorasi …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams