Originally posted by: Kyteland
You have 12 golf balls, 11 of the same weight and one of a deviating weight. You are allowed to use a balance scale 3 times. BUT, you do not know whether the deviating golf ball is heavier or lighter than the rest. Using the scale 3 times, you have to point out the deviating ball AND tell whether its heavier or lighter than the rest.
I think I have this one.
At first glance, it doesn't seem possible at all-- but if you do the math, you realize that there are 3 distinct weighings, each with 3 different outcomes (either the left side weighs more, the right side weighs more, or they are even). If you could make each weighing totally independent from the others (or as close to independent as possible), you have a total of 3*3*3, or 27, different outputs. This is more than the 24 different possible ways for exactly one of the golf balls in particular to be lighter (or heavier) than the other 11. So there is, at least in theory, enough information available to determine exactly which ball is different and whether it is heavier or lighter than the rest.
So how can you make each weighing as independent from the others as possible? From Information Theory (specifically Bayes Theorem) we know in general that the more independent two events are, the less effect one event will have on the other's probabilities of possible outcomes. We also know that, in general, we gain more information from an event when each possible outcome is equally likely than we do from an event where one outcome is heavily favored.
With those ideas in mind, our first weighing should be 4 against 4. Why? Each of the 3 possible outcomes (left side weighs more, right side weighs more, both sides even) are equally likely. Thus, we maximize the amount of information gained with this first weighing. Say we weigh ABCD against EFGH.
Case 1: ABCD < EFGH
If ABCD is lighter than EFGH, then we know the heavier/lighter ball is not I,J,K, or L so we can effectively ignore them the rest of the way. Our second weighing should again maximize the probability of each possible outcomes, with the knowledge that one of A,B,C, or D is light or that one of E,F,G, and H is heavy. We do not want to weigh 4 against 4 again using all of A,B,C,D,E,F,G, and H because no matter how we arrange it we can only end up with 2 possibilities instead of 3 as we now know for certain one side will have to contain the lighter/heavier ball. So we choose to weigh 3 against 3, with two sitting out. We could choose to remove one ball from each side for our second weighing, but it is not possible for the lighter side to become the heavy side this way-leaving just two possible outcomes instead of the 3 we need. Hence, the two balls that sit out the second weighing must come from the same side of the first weighing-- say G and H. Weighing ABC vs DEF isn't much better though, as the odds are pretty high that ABC will weigh less than DEF ( 5/8 probability). If instead we weight ABE vs CDF, the probabilities of each of the possible outcomes are fairly even (3/8 odds that ABE is lighter, 3/8 odds that ABE is heavier, and 2/8 odds that the two sides are even). If ABE is lighter, then we know either A or B is light or F is heavy-- and we simply weigh A against B for our third and final weighing to determine which is which. If ABE is heavier, then we know either E is heavy or C or D is light and we weigh C against D to determine which is which. If ABE and CDF are equal, then we know G or H is heavy and we weigh G against H to determine which is which.
Case 2: ABCD > EFGH
The logic for when ABCD weighs more than EFGH is identical to Case 1. We again use ABE vs CDF for our second weighing. If ABE is heavier, then we know either A or B is heavy or F is light so we weigh A against B for our third weighing. If ABE is lighter, then we know either E is light or C or D are heavy so we weigh C against D for our third weighing. If ABE weighs the same as CDF, than we know G or H is light and we weigh G against H for our third weighing.
Case 3: ABCD = EFGH
If ABCD and EFGH are even, then we know one of I,J,K or L is heavy or light, and all of A,B,C,D,E,F,G,H are normal so they can (mostly) be ignored the rest of the way. For our second weighing, we could weight IJ against KL, but this would leave only two outcomes (they can't possibly be even!) and thus will not give us enough information to find out which of the 8 remaining possibilities is true. We could weight I versus J for our second weighing, but if they are even then we would have four remaining possibilities (K is light, K is heavy, L is light, and L is heavy) with only one weighing left (which has 3 possible outcomes), so we won't have enough information. Hence, for our second weighing we bring back one of the normal golf balls and try IJ vs AK. If IJ is less than AK then we know either I or J is light or K is heavy, and we weigh I versus J for our third weighing to decide. If IJ is more than AK we know either I or J is heavy or K is light, and we again weigh I versus for our third weighing to decide. If IJ and AK are even, then we know I,J, and K are normal so L must be either heavy or light-- and we weigh L against any of the other golf balls for our final weighing to determince whether L is heavy or light.