Computing a path compensator PI I for the Hx y depicted in Fig. 3: gray vertex is sx y .
(a), (b), and (c) represent three connector pair coverage cycles (heavy lines).
(d) A coverage union (broken lines are shared edges among the connector pair coverage cycles).
(e) A cycle after taking symmetric difference among the cycles.
(f) After Step 3 and 4