Suppose all of the balls end up blue.
If I pick red+white and replace them with blue, the difference (white - red) is unchanged.
If I pick red+blue and replace them with two white, then the difference (white - red) increases by 3
If I pick white+blue and replace them with two red, then the difference (white - red) decreases by 3.
In all cases, the difference (white - red) stays the same mod 3. That difference is presently 1, but if they all end up blue, the final difference would be 0, which != 1 mod 3. No operations of the type allowed can produce this change.
The analogous argument applies regardless of which color we pick to be the final one. The desired final state can only be achieved if two of the three stacks start out with counts that are equal to one another mod 3.
Posted by Paul
on 2015-07-29 15:47:02