A BDD is a directed acyclic graph (

A BDD is a directed acyclic graph (DAG) with a single root node and two terminal
nodes which represent the constants one and zero. This graph represents a boolean
function over a set of input decision variables. Each non-terminal node t in the DAG
is labeled with an input decision variable and has exactly two outgoing edges: a high
edge and a low edge. To evaluate the function for a given set of input values, one simply
traces a path from the root node to one of the terminal nodes, following the high edge
of a node if the corresponding input variable is true, and the low edge if it is false.
The terminal node gives the value of the function for that input. Figure 2(b) shows a
BDD representation for function f from Figure 2(a). Each non-terminal node is labeled
with the corresponding decision variable, and a solid line indicates a high edge while a
dashed line indicates a low edge.

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

Một BDD là một đồ thị acyclic đạo diễn (DAG) với một nút đơn gốc và hai nhà gacác nút mà đại diện cho hằng số một và zero. Đồ thị này đại diện cho một booleanchức năng trên một tập hợp các các biến đầu vào quyết định. Mỗi t-ga node trong DAGđược dán nhãn với một biến đầu vào quyết định và có chính xác hai đi cạnh: caoEdge và edge thấp. Để đánh giá các chức năng cho một tập hợp của các giá trị, một trong những đơn giảndấu vết một con đường từ nút gốc với một trong các nút thiết bị đầu cuối, sau các cạnh caocủa một nút nếu tương ứng đầu vào biến là đúng, và các cạnh thấp nếu nó là sai.Nút thiết bị đầu cuối cho giá trị của các chức năng cho rằng đầu vào. Con số cho thấy 2(b) mộtBDD các đại diện cho hàm f từ hình 2(a). Mỗi nút-ga được dán nhãnvới quyết định tương ứng biến, và một dòng rắn chỉ ra một cạnh cao trong khi mộttiêu tan đường cho biết một cạnh thấp.

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

Một BDD là một đồ thị acyclic đạo (DAG) với một nút gốc duy nhất và hai thiết bị đầu cuối
các nút đại diện cho một hằng số và số không. Biểu đồ này đại diện cho một boolean
chức năng trên một tập hợp của các biến quyết định đầu vào. Mỗi nút t không đầu cuối trong DAG
được dán nhãn với một biến quyết định đầu vào và có đúng hai cạnh đi: một cao
cạnh và cạnh thấp. Để đánh giá hàm cho một tập hợp các giá trị đầu vào, một cách đơn giản
dấu vết một đường đi từ nút gốc đến một trong các nút thiết bị đầu cuối, sau mép cao
của một nút nếu biến đầu vào tương ứng là đúng, và cạnh thấp nếu nó là sai.
các nút đầu cuối cho giá trị của các chức năng cho các đầu vào đó. Hình 2 (b) cho thấy một
đại diện BDD cho hàm f từ Hình (a) 2. Mỗi nút không bị đầu cuối được dán nhãn
với các biến quyết định tương ứng, và một dòng rắn chỉ ra một lợi thế cạnh cao trong khi một
đường đứt chỉ ra một lợi thế cạnh thấp.