The reliability polynomial associated with an independence system is $g ( p ) = \sum_{k = 0}^n f_k p^k ( 1 - p )^{n - k} $, where $f_k $ is the number of independent sets of cardinality k and n is the cardinality of the ground set. An independence system $( T,\Gamma )$ is shellable if all maximal independent sets have the same cardinality and if there exists an ordered partition of the set of independent sets into intervals $\{ [ F_i ,G_i ] \}_{i = 1}^I $ (an interval $ [ F ,G ] = \{ F^\prime :F \subseteq F^\prime \subseteq G \}$) where for all $n^\prime $, $n^\prime \leqq I$, $G_{n^\prime } $, is a maximal independent set and ($T, \cup _{i=1}^{n^\prime } [ F_i ,G_i ]$) is an independence system. For the class of shellable independence systems, tight upper and lower bounds are given on $g ( p )$, when the number of maximal independent sets and the number of minimum cardinality dependent sets are fixed. These results can be applied to obtain bounds on the reachability measure, which is the probability that...
Read full abstract