Premium
A factoring algorithm using polygon‐to‐chain reductions for computing K‐terminal network reliability
Author(s) -
Wood R. Kevin
Publication year - 1985
Publication title -
networks
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.977
H-Index - 64
eISSN - 1097-0037
pISSN - 0028-3045
DOI - 10.1002/net.3230150204
Subject(s) - mathematics , algorithm , factoring , combinatorics , discrete mathematics , bounded function , minimum cut , finance , economics , mathematical analysis
Let G = ( V,E ) be an undirected graph whose edges may fail, and let G k denote G with a set k ⊆ V specified. Edge failures are assumed to be statistically independent and to have known probabilities. The k ‐terminal reliability of G k , denoted R ( G k ), is the probability that all vertices in k are connected by working edges. Computing k ‐terminal reliability is an NP‐hard problem not known to be in NP. A factoring algorithm for computing network reliability recursively applies the formula R ( G k ) = P i R ( G k′ * e i + q i R ( G k − e i )), where G k′ * e i is G k with edge e i contracted, G k − e i is G k with e i deleted and p i = 1 − q i is the reliability of edge e i . Various reliability‐preserving reductions may be performed after each factoring operation in order to reduce computational complexity. The complexity of a slightly restricted factoring algorithm using standard reductions, along with newly developed polygon‐to‐chain reductions, will be bounded below by an invariant of G , the “minimum domination.” For 2 ≤ ∣K∣ ≤ 5 or ∣V∣ − 2 ≤ ∣K∣ ≤ ∣V∣, this bound is always achievable. The factoring algorithm with polygon‐to‐chain reductions will always perform as well as or better than an algorithm using only standard reductions, and for some networks, it will outperform the simpler algorithm by an exponential factor. This generalizes early results that were only valid for K = V . Removing the restriction on edge selection leaves results essentially unchanged in the upper range of ∣ K ∣, but minimum domination becomes only a tight upper bound for the lower range.