2012/06/20 by Allen Chang, Chang, Allen, Eyal Amir +1
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Reliability and Maintenance Optimization #Software Reliability and Analysis Research #cs.AI #cs.DS
paper · pdf · doi:10.48550/arxiv.1206.5253
Appears in Proceedings of the Twenty-Third Conference on Uncertainty in Artificial Intelligence (UAI2007)
arxiv created 2012/06/20 · openalex publication_date 2012/06/20 · arxiv updated 2012/06/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper we introduce a new network reachability problem where the goal is to find the most reliable path between two nodes in a network, represented as a directed acyclic graph. Individual edges within this network may fail according to certain probabilities, and these failure probabilities may depend on the values of one or more hidden variables. This problem may be viewed as a generalization of shortest-path problems for finding minimum cost paths or Viterbi-type problems for finding highest-probability sequences of states, where the addition of the hidden variables introduces correlations that are not handled by previous algorithms. We give theoretical results characterizing this problem including an NP-hardness proof. We also give an exact algorithm and a more efficient approximation algorithm for this problem.