Name the outer pentagon vertices, in order from the client clockwise, . Name the upper inner vertex , the left inner vertex , and the lower-right inner vertex . The two remaining inner vertices are the labelled servers .
Four edge-disjoint server paths are
Each uses different links, although some intermediary vertices are shared. Any three failed links therefore leave at least one path intact. The client has exactly four incident links; failing those four disconnects it. Thus the minimum link cut has size four, giving
For mixed failures use the three paths , and . Their internal vertices are disjoint, as are their links. One failed link or intermediary node can destroy at most one of these paths, so any two failures leave a path intact. Failing the three intermediary nodes disconnects both servers: has neighbors , and has neighbors . Therefore
The two certificates distinguish edge-disjoint paths from internally vertex-disjoint paths, exactly the distinction needed between the two failure models.

Articles by others on the same topic (0)

There are currently no matching articles.