Principled network reliability approximation: A counting-based approach
R. Paredes,L. Dueñas-Osorio,K.S. Meel,M.Y. Vardi
DOI: https://doi.org/10.1016/j.ress.2019.04.025
2019-11-01
Abstract:<p>As engineered systems expand, become more interdependent, and operate in real-time, reliability assessment is key to inform investment and decision making. However, network reliability problems are known to be #P-complete, a computational complexity class believed to be intractable, and thus motivate the quest for approximations. Based on their theoretical foundations, reliability evaluation methods can be grouped as: (i) <em>exact or bounds</em>, (ii)<em>guarantee-less sampling</em>, and (iii) <em>probably approximately correct</em> (PAC). Group (i) is well regarded due to its useful byproducts, but it does not scale in practice. Group (ii) scales well and verifies desirable properties, such as the <em>bounded relative error</em>, but it lacks error guarantees. Group (iii) is of great interest when precision and scalability are required. We introduce <math>K</math>-RelNet, an extended counting-based method that delivers PAC guarantees for the <math>K</math>-terminal reliability problem. We also put our developments in context relative to classical and emerging techniques to facilitate dissemination. Then, we test in a fair way the performance of competitive methods using various benchmark systems. We note the range of application of algorithms and suggest a foundation for future computational reliability and resilience engineering, given the need for principled uncertainty quantification in complex systems.</p>
engineering, industrial,operations research & management science