Câu hỏi được gắn thẻ «binary-decision-diagrams»

Đặt và y hai số nhị phân có n bit và z = x ⋅ y số nhị phân (độ dài 2 n ) của tích của x và y . Chúng tôi muốn để tính nhất siginifcant chút z 2 n - 1 trong những sản phẩm z = …

15 cc.complexity-theory  binary-decision-diagrams 

Các biểu diễn đơn giản nhất cho biểu đồ sử dụng ma trận / danh sách kề, nghĩa là mỗi nút và cạnh được biểu diễn rõ ràng. Tầm quan trọng của các biểu diễn ngầm cho các biểu đồ thể hiện tính đều đặn mạnh mẽ đã được công …

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

Các sơ đồ quyết định nhị phân được đặt hàng giảm (ROBDD) là một cấu trúc dữ liệu hiệu quả để biểu diễn các hàm boolean của nhiều biến . Tôi muốn để có được một trực giác cho cách hiệu quả họ đang có.f(x1,x2,...,xn)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Ví dụ, để nén dữ …

8 ds.data-structures  binary-decision-diagrams