Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams
Network reliability is the probability that a network system can perform a desired operation, such as communication between facilities, against stochastic equipment failures. On analyzing network systems that are represented by undirected graphs, the all-terminal reliability (ATR) is commonly used as one of the network reliability. As a natural extension of the ATR for the directed version, the strongly connected reliability (SCR) is known. The SCR should be computed on various network systems, such as ad-hoc network, that demand the property called strongly connected. Unfortunately, computing the SCR is known to be #P-complete, and little studies challenge the computation of the exact or an approximate SCR on limited graph classes. In this study, we propose the first practically efficient algorithm to compute the exact SCR in general. The algorithm constructs a binary decision diagram (BDD) representing all the strongly connected spanning subgraphs (SCSSs) in a given directed graph. Subsequently, the algorithm computes the exact SCR by a dynamic programming on the BDD. To efficiently construct BDDs, we designed a new variant of the frontier based search (FBS). We conducted computational experiments to evaluate the proposed algorithm. The results demonstrated that the proposed algorithm succeeded in computing the SCR in real-world networks with a few hundred edges within a reasonable time, which was previously impossible.
KeywordsNetwork reliability All-terminal reliability Strongly connected reliability Binary decision diagram Dynamic programming
This work was supported by JSPS KAKENHI Grant Number 15H05711.
- 5.Karger, D.R.: A randomized fully polynomial time approximation scheme for the all terminal network reliability problem. In: Proceedings of the Twenty-seventh Annual ACM Symposium on Theory of Computing, STOC 1995, pp. 11–17. ACM, New York (1995)Google Scholar
- 6.Imai, H., Sekine, K., Imai, K.: Computational investigations of all-terminal network reliability via BDDs. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 82, 714–721 (1999)Google Scholar
- 10.Vincent, D., Cecile, B.: Transitive reduction for social network analysis and visualization. In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2005, pp. 128–131. IEEE Computer Society, Washington, D.C. (2005)Google Scholar
- 11.Ardito, C.F., Paola, D.D., Gasparri, A.: Decentralized estimation of the minimum strongly connected subdigraph for robotic networks with limited field of view. In: 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), pp. 5304–5309, December 2012Google Scholar
- 16.Inoue, Y., Minato, S.: Acceleration of ZDD construction for subgraph enumeration via path-width optimization. TCS-TR-A-16-80. Hokkaido University (2016)Google Scholar
- 19.Maurer, P.: Generating strongly connected random graphs. In: Proceedings of the 2017 International Conference on Modeling, Simulation and Visualization Methods, MSV 2017, pp. 3–6. CSCE, Las Vegas (2017)Google Scholar
- 20.Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L.: Enumerating minimal dicuts and strongly connected subgraphs and related geometric problems. In: Bienstock, D., Nemhauser, G. (eds.) IPCO 2004. LNCS, vol. 3064, pp. 152–162. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25960-2_12CrossRefzbMATHGoogle Scholar