Fig. 2. (a) Binary encoding of a relation. (b) and (c) are BDD encodings of the relation given by (a) with decision variable orders b1, b2, b3 and b2, b1, b3, respectively.
Hình 2. (a) nhị phân mã hóa của một mối quan hệ. (b) và (c) được mã hóa BDD của mối quan hệ được đưa ra bởi (a) với quyết định biến ra lệnh b1, b2, b3 và b2, b1, b3, tương ứng.
Sung. 2. (a) mã hóa nhị phân của một mối quan hệ. (B) và (c) là BDD mã hóa các mối quan hệ được cho bởi (a) với đơn đặt hàng biến quyết định b1, b2, b3 và b2, b1, b3, tương ứng.