A Novel OBDD-Based Reliability Evaluation Algorithm for Wireless Sensor Networks on the Multicast Model

Figure 5

OBDDs for the benchmark network: (a) OBDD of and the encoding of the vertices; (b) adjacency matrix of the benchmark network; (c) OBDD of ; (d) OBDD of .

(a)

(b)

(c)

(d)