1
2
3
4
5
6
7
8
9
10
11
12
|
C(v_1) + C(v_2) + C(v_5) + C(v_6)
\geq C(v_1) + C(v_2) + C(v_5) + C(v_6) - 2*c(v_1, v_2)
= C(v_1,v_2) + C(v_5) + C(v_6)
\geq C(v_1,v_2) + C(v_5) + C(v_6) - 2*c(v_1 v_2, v_6)
= C(v_1,v_2, v_6) + C(v_5)
\geq C(v_1,v_2, v_3) + C(v_5) \textrm{if $v_6$ is connected to $v_1$ or $v_2$}
\geq C(v_1,v_2, v_3) + C(v_5) - 2*c(v_1 v_2 v_3, v_5)
= C(v_1,v_2, v_3, v_5)
\geq C(v_1,v_2, v_3, v_4) \textrm{if $v_5$ is connected to $v_1$ or $v_2$ or $v_3$}
|
