We specifically use a variant of BDD

We specifically use a variant of BDDs called reduced ordered binary decision dia-
grams, or ROBDDs [8]. In an ordered BDD, the sequence of variables evaluated along
any path in the DAG is guaranteed to respect a given total decision variable order. The
choice of the decision variable order can significantly affect the number of nodes re-
quired in a BDD. The BDD in Figure 2(b) uses variable order b1, b2, b3, while the BDD
in Figure 2(c) represents the same function, only with variable order b2, b1, b3. Though
the change in order only adds one extra node in this example, in the worst case an
exponential number of nodes can be added. In addition, ROBDDs are maximally reduced
meaning common BDD subgraphs are collapsed into a single graph, and the nodes
are shared. Therefore, the size of the ROBDD depends on whether there are common
boolean subexpressions in the encoded function, rather than on the number of entries in
the set.

Kết quả (Việt) 1:

Chúng tôi sử dụng specifically, một biến thể của BDDs được gọi là giảm yêu cầu quyết định nhị phân dia -gam hoặc ROBDDs [8]. Trong lồng tiếng cho BDD đã ra lệnh tự đánh giá theo các biếnbất kỳ đường dẫn DAG là bảo đảm tôn trọng một thứ tự biến đưa ra quyết định tất cả. Cácsự lựa chọn của các quyết định có thể thay đổi thứ tự significantly ảnh hưởng đến số lượng các nodes re-quired trong một BDD. BDD trong hình 2(b) sử dụng thay đổi thứ tự b1, b2, b3, trong khi BDDtrong hình 2(c) đại diện cho chức năng giống nhau, chỉ với biến lệnh b2, b1, b3. Mặc dùsự thay đổi trong đơn đặt hàng chỉ cho biết thêm một nút phụ trong ví dụ này, trong trường hợp tồi tệ nhất một mũ số lượng các nút có thể được thêm vào. Ngoài ra, ROBDDs được tối đa giảmý nghĩa phổ biến BDD subgraphs đang sụp đổ thành một đồ thị đơn, và các nútđược chia sẻ. Do đó, kích thước của ROBDD tùy thuộc vào việc có được phổ biếnboolean subexpressions chức năng mã hóa, hơn là trên số lượng các mục trongCác thiết lập.

Kết quả (Việt) 2:

Chúng tôi speci fi biệt sử dụng một biến thể của BDDs gọi giảm ra lệnh nhị phân quyết định dia-
gram, hoặc ROBDDs [8]. Trong một BDD ra lệnh, trình tự của các biến được đánh giá theo
bất kỳ đường dẫn trong DAG được đảm bảo tôn trọng một tổng để biến quyết định được đưa ra. Các
lựa chọn thứ tự biến quyết định có thể ảnh hưởng trọng yếu đáng số nút lại
thoát nước thải trong một BDD. Các BDD trong hình 2 (b) sử dụng b1 để biến, b2, b3, trong khi BDD
trong hình 2 (c) đại diện cho các chức năng tương tự, chỉ có thứ tự biến b2, b1, b3. Mặc dù
sự thay đổi để chỉ cho biết thêm một nút phụ trong ví dụ này, trong trường hợp tồi tệ nhất một
số mũ của các nút có thể được thêm vào. Ngoài ra, ROBDDs được tối đa giảm
có nghĩa là đồ thị con BDD chung đang bị sụp đổ vào một biểu đồ duy nhất, và các nút
được chia sẻ. Do đó, kích thước của các ROBDD phụ thuộc vào việc có chung
subexpressions boolean trong các chức năng mã hóa, chứ không phải là về số lượng các mục trong
bộ này.