AN ALGORITHM FOR GENRATING A FACTORED SYMBOLIC RELIABILITY FORMULA FO DIRECTED SOURCE-TO-ALL-TERMINAL NETWORK

摘要

In a probabilistic network,source-to-allterminal(SAT)reliability is the probability that a specified vertex can reach every other vertex.This paper presents a new arc-reductions(open- or short-circuiting)method for obtaining a reliability formula of directed network.This method reduces the computing cost and data processing effort required to generate a factored formula,and obtains a shorter formula than that of our recent paper.