Enumerating disjunctions and conjunctions of paths and cuts in reliability theory

  • Authors:
  • Leonid Khachiyan;Endre Boros;Khaled Elbassioni;Vladimir Gurvich;Kazuhisa Makino

  • Affiliations:
  • Department of Computer Science, Rutgers University, 110 Frelinghuysen Road, Piscataway, NJ 08854-8004, USA;RUTCOR, Rutgers University, 640 Bartholomew Road, Piscataway, NJ 08854-8003, USA;Max-Planck-Institut für Informatik, 66123 Saarbrücken, Germany;RUTCOR, Rutgers University, 640 Bartholomew Road, Piscataway, NJ 08854-8003, USA;Department of Mathematical Informatics, Graduate School of Information and Technology, University of Tokyo, Tokyo 113-8656, Japan

  • Venue:
  • Discrete Applied Mathematics
  • Year:
  • 2007

Quantified Score

Hi-index 0.04

Visualization

Abstract

Let G=(V,E) be a (directed) graph with vertex set V and edge (arc) set E. Given a set P of source-sink pairs of vertices of G, an important problem that arises in the computation of network reliability is the enumeration of minimal subsets of edges (arcs) that connect/disconnect all/at least one of the given source-sink pairs of P. For undirected graphs, we show that the enumeration problems for conjunctions of paths and disjunctions of cuts can be solved in incremental polynomial time. Furthermore, under the assumption that P consists of all pairs within a given vertex set, we also give incremental polynomial time algorithm for enumerating all minimal path disjunctions and cut conjunctions. For directed graphs, the enumeration problem for cut disjunction is known to be NP-complete. We extend this result to path conjunctions and path disjunctions, leaving open the complexity of the enumeration of cut conjunctions. Finally, we give a polynomial delay algorithm for enumerating all minimal sets of arcs connecting two given nodes s"1 and s"2 to, respectively, a given vertex t"1, and each vertex of a given subset of vertices T"2.