Fig. 6.

All the possible reduced edges in $R(Q_{\overline{p}}^{*},p)$ for the same instance in Figure 4. We can verify that among all possibilities of $R(Q_{\overline{p}}^{*},p)$, the number of cycles in $R(Q_p^{*},p)$ is always no less than that in $R(Q_{\overline{p}}^{*},p)$. Thus, in this instance, p is optimal