“…. , t 0 ) = (1, 1, 1, 0, 1, 0, 0)) induces P = {s (7) , s (5) , s (4) , s (3) , s (2) , s (1) , s (0) }. Because u 6 = 0, MPRE(s, t) returns P. For each node in P, there is a minimal path that includes the node such as s → s (7) = (1, 0, 0, 0, 1, 1, 0, 0) → s (7,5) = (1, 0, 1, 0, 1, 1, 0, 0) → s (7,5,4) = (1, 0, 1, 1, 1, 1, 0, 0) → s (7,5,4,3) = (1, 0, 1, 1, 0, 1, 0, 0)(= t), s → s (5) = (0, 0, 1, 0, 1, 1, 0, 0) → s (5,4) = (0, 0, 1, 1, 1, 1, 0, 0) → s (5,4,7) = (1, 0, 1, 1, 1, 1, 0, 0) → s (5,4,7,3) = (1, 0, 1, 1, 0, 1, 0, 0)(= t), s → s (0) = (0, 0, 0, 0, 1, 1, 0, 1) → s (0,7) = (1, 0, 1, 1, 0, 0, 1, 0) → s (0,7,2) = (1, 0, 1, 1, 0, 1, 1, 0) → s (0,7,2,1) = (1, 0, 1, 1, 0, 1, 0, 0)(= t), and so on.…”