... where A3 f 2→ A4 f 3→ A5 f 4→ O2 A6 → A7 A0 = A = {O1 .a , O1 .A} , A1 = {O1 .a , O1 .A, O2 .A} , A2 = { O1 .a , O1 .A, O2 .A, O1.b, O1.c }, A3 = {O1 .a , O1 .A, O2 .A, O1.b, O1.c, O3 .a} , A4 = ... F ∪ O Put A0 = A, A1 = t1 (A0 ), , Am = tm(Am-1), and D (A) = Am, we have A0 ⊆ A1 ⊆ ⊆ Am = D (A) ⊆ M A problem A → B on a network (O,F) is called solvable if and only if there is a sequence ... = {O1 .a , O1 .A, O2 .A, O1.b, O1.c, O3 .a, O4 .a} , A5 = {O1 .a , O1 .A, O2 .A, O1.b, O1.c, O3 .a, O4 .a, O2.b}, A6 = {O1 .a , O1 .A, O2 .A, O1.b, O1.c, O3 .a, O4 .a, O2.b, O2.c}, A7 = {O1 .a , O1 .A, O2 .A, O1.b,...