Postby assarf » 19 Jun 2015, 11:19
I don't see why.
In (14) the indices which play a role are: 1, 4, and 7. In (0) the indices are 1,4,7, and 10.
When (0) is true, why should (14) be true?
Consider the following example:
$$x_1 = x_4 = x_7 = 1 \qquad \text{and} \qquad x_{10} = -2$$
Then we've got:
$$x_1 + x_4 + x_7 + x_{10} = 1 + 1 + 1 - 2 = 1$$
So (0) is true. BUT:
$$ -x_1 - x_4 - x_7 = -1 -1 -1 = -3 \not\ge -1$$
so (14) is not true.
And for
$$x_1 = x_4 = x_7 = x_{10} = -1$$
you get that (14) is true and (0) is not.
But since I do not know your complete input, I cannot say if the configuration I gave you, is indeed feasible. But from the information you gave (14) and (0) are independent.
no signature