article published yes Amir Kafshdar Goharshady author 391365CE-F248-11E8-B48F-1D18A9856A870000-0003-1702-6584 Fatemeh Mohammadi author KrCh department Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts project We consider the classic problem of Network Reliability. A network is given together with a source vertex, one or more target vertices, and probabilities assigned to each of the edges. Each edge of the network is operable with its associated probability and the problem is to determine the probability of having at least one source-to-target path that is entirely composed of operable edges. This problem is known to be NP-hard. We provide a novel scalable algorithm to solve the Network Reliability problem when the treewidth of the underlying network is small. We also show our algorithm’s applicability for real-world transit networks that have small treewidth, including the metro networks of major cities, such as London and Tokyo. Our algorithm leverages tree decompositions to shrink the original graph into much smaller graphs, for which reliability can be efficiently and exactly computed using a brute force method. To the best of our knowledge, this is the first exact algorithm for Network Reliability that can scale to handle real-world instances of the problem. Elsevier2020 eng 0951-8320 1712.09692 00050164140005010.1016/j.ress.2019.106665 193 https://research-explorer.ista.ac.at/record/8934 Goharshady AK, Mohammadi F. 2020. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 193, 106665. Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.” <i>Reliability Engineering and System Safety</i>, vol. 193, 106665, Elsevier, 2020, doi:<a href="https://doi.org/10.1016/j.ress.2019.106665">10.1016/j.ress.2019.106665</a>. Goharshady, A. K., &#38; Mohammadi, F. (2020). An efficient algorithm for computing network reliability in small treewidth. <i>Reliability Engineering and System Safety</i>. Elsevier. <a href="https://doi.org/10.1016/j.ress.2019.106665">https://doi.org/10.1016/j.ress.2019.106665</a> Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.” <i>Reliability Engineering and System Safety</i>. Elsevier, 2020. <a href="https://doi.org/10.1016/j.ress.2019.106665">https://doi.org/10.1016/j.ress.2019.106665</a>. Goharshady AK, Mohammadi F. An efficient algorithm for computing network reliability in small treewidth. <i>Reliability Engineering and System Safety</i>. 2020;193. doi:<a href="https://doi.org/10.1016/j.ress.2019.106665">10.1016/j.ress.2019.106665</a> A. K. Goharshady and F. Mohammadi, “An efficient algorithm for computing network reliability in small treewidth,” <i>Reliability Engineering and System Safety</i>, vol. 193. Elsevier, 2020. A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020). 69182019-09-29T22:00:44Z2026-10-04T22:31:01Z