## Abstract

The probability of having faults in a multiprocessor computer system increases as the size of system grows. One way to quantify the reliability of a system is using the probability that a fault-free subsystem of a certain size still exists with the presence of individual faults. The higher the probability is, the more reliable the system is. In this paper, we establish the reliability for networks based on AG_{n}, the n-dimensional alternating group graph. More specifically, we calculate the probability of a subnetwork (or subgraph) AG_{n} ^{n−1} being fault-free, when given a single node's fault probability. Since subnetworks of AG_{n} intersect in highly complex manners, our scheme is to use the Principle of Inclusion–Exclusion to obtain a lower-bound of the probability, by considering intersections of up to four subgraphs. We show that the lower-bound derived this way is very close to the upper-bound obtained in a previous result, which means the lower-bound we get is a very tight one. Therefore, both lower-bound and upper-bound are close approximations of the accurate probability.

Original language | English |
---|---|

Pages (from-to) | 9-28 |

Number of pages | 20 |

Journal | Theoretical Computer Science |

Volume | 728 |

DOIs | |

State | Published - 5 Jun 2018 |

## Keywords

- Intersection patterns
- Principle of inclusion–exclusion
- Probabilistic fault model
- Subgraph reliability