Figure 3: Breaking an undirected cycle to create three subproblems.