by Alvaro » Fri Nov 23, 2007 1:20 pm
I didn't think of anything fancy to do it in 3 steps. I just listed all the possibilities and tried to always perform a weighing that would divide the possibilities left in three groups of about the same size.
Initially, there are 24 possibilities: 1 is heavy, 2 is heavy, ..., 12 is heavy, 1 is light, 2 is light, ..., 12 is light.
If we weigh {1,2,3,4} -vs- {5,6,7,8}, we have three possible outcomes:
1) {1,2,3,4} is heavier than {5,6,7,8}. This corresponds to cases 1H, 2H, 3H, 4H, 5L, 6L, 7L and 8L.
2) {1,2,3,4} is lighter than {5,6,7,8}. This corresponds to cases 1L, 2L, 3L, 4L, 5H, 6H, 7H and 8J.
3) {1,2,3,4} is exactly as heavy as {5,6,7,8}. This corresponds to cases 9H, 10H, 11H, 12H, 9L, 10L, 11L and 12L.
Now, you already solved the sub-problem (3) in two additional weighings, and sub-problems (1) and (2) are symmetrical, so you only have to solve one of them.
In the sub-problem (1), the next weighing could be something like {1,2,5}-vs-{3,4,6}, which subdivides the 8 cases into these subproblems:
1.1) {1,2,5} is heavier than {3,4,6}: 1H, 2H, 6L.
1.2) {1,2,5} is iighter than {3,4,6}: 5L, 3H, 4H.
1.3) {1,2,5} is as heavy as {3,4,6}: 7L, 8L.
1.1) can be resolved by weighing {1} -vs- {2}, and the rest of the cases are equally trivial.