Decision Diagram Based Symbolic Algorithm for Evaluating the Reliability of a Multistate Flow Network

Figure 1

OBDD: (a) the complete binary tree of ; (b) the OBDD of W; (c) the OBDD of ; (d) the OBDD of .

(a)

(b)

(c)

(d)