A novel OBDD-based reliability evaluation algorithm for wireless sensor networks on the multicast model (Q1665153)

Summary: The two-terminal reliability calculation for wireless sensor networks (WSNs) is a \#P-hard problem. The reliability calculation of WSNs on the multicast model provides an even worse combinatorial explosion of node states with respect to the calculation of WSNs on the unicast model; many real WSNs require the multicast model to deliver information. This research first provides a formal definition for the WSN on the multicast model. Next, a symbolic OBDD\(\_\)Multicast algorithm is proposed to evaluate the reliability of WSNs on the multicast model. Furthermore, our research on OBDD\(\_\)Multicast construction avoids the problem of invalid expansion, which reduces the number of subnetworks by identifying the redundant paths of two adjacent nodes and \(s\)-\(t\) unconnected paths. Experiments show that the OBDD\(\_\)Multicast both reduces the complexity of the WSN reliability analysis and has a lower running time than Xing's OBDD- (ordered binary decision diagram-) based algorithm.