Figure 5.

Running example for the proof of Theorem 1. A running example for the proof of Theorem 1 where T is a tree in the instance tuple I, S is an assumed solution for <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/S10/S12/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/S10/S12/mathml/M92">View MathML</a>, and R = Γ(S, X, w). Highlighted regions in T are the edge partitions E1, E2, and E3. The rest of edges form the partition E4. By counting the costs for each partition we have Σ1 =6 - 4 = 2, Σ2 =1 - 3 = −2, Σ3 = 2 − 1 = 1, and Σ4 =3 − 3 = 0. Overall we have DC(T, S) − DC(T, R) = 1.

Lin et al. BMC Bioinformatics 2012 13(Suppl 10):S12   doi:10.1186/1471-2105-13-S10-S12