Fig. 19

Branching on H along the hyperpath \(\pi _1\). In a \(\pi _1\) is highlighted in H with the color red. The rest of the figure illustrates the backwards branching. Each subfigure b–f shows a graph \(H^i\) and how it is created from H. Dashed and dotted hyperarcs are not part of the graphs, but were deleted due to branching. For each \(H^i\), the deleted hyperarc \(p(v_i)\) is red and dashed. Each fixed hyperarc is thick, and if fixing any hyperarc has led to deletion of other hyperarcs, these are gray and dotted. Furthermore, the caption for each subfigure indicates the set of hyperpaths represented by that graph. a H: {π₁, π₂, π₃, π₄}, π₁ is red. b H⁵: {π₂, π₄}, c H⁴: \(\emptyset\). d H³: {π₃}. e H²: \(\emptyset\). f H¹: \(\emptyset\)