Title :
Improving the Kuo-Lu-Yeh Algorithm for Assessing Two-Terminal Reliability
Author :
Minh Le ; Walter, Michael ; Weidendorfer, Josef
Author_Institution :
LRR, Tech. Univ. Munchen, Munich, Germany
Abstract :
Currently, the most efficient approach for solving the NP-hard terminal-pair reliability problem is the Kuo-Lu-Yeh algorithm which applies the technique of Edge Expansion Diagram (EED) coupled with Ordered Binary Decision Diagram (OBDD). In this work we will show that this algorithm can be enhanced significantly by removing redundant biconnected components, which can be done in linear time and without needing additional memory. We empirically evaluated our approach against the original one by means of 24 benchmark networks. In addition, we examined our approach statistically using randomly generated graphs. Our new approach performs significantly better regarding runtime and memory consumption for most of the benchmark networks. For a regular 3x20 grid network we have even achieved a speedup of 464 and the memory consumption goes down to 0.3 percent. Thus, in practice, runtime and memory consumptions are drastically reduced for many "difficult" networks. When applied to networks without redundant biconnected components, there is no memory overhead and the additional runtime is negligible.
Keywords :
binary decision diagrams; computational complexity; graph theory; network theory (graphs); reliability; EED technique; Kuo-Lu-Yeh algorithm; NP-hard terminal-pair reliability problem; OBDD; benchmark networks; edge expansion diagram; linear time; memory consumption; ordered binary decision diagram; randomly generated graphs; redundant biconnected components; regular grid network; two-terminal reliability assessment; Boolean functions; Complexity theory; Data structures; Indexes; Memory management; Redundancy; EED; OBDD; biconnectivity; dependability analysis; terminal-pair reliability;
Conference_Titel :
Dependable Computing Conference (EDCC), 2014 Tenth European
Conference_Location :
Newcastle
DOI :
10.1109/EDCC.2014.11