Difference between revisions of "2011 IMO Problems/Problem 4"
(→Alternative Solution) |
(→Alternative Solution) |
||
Line 19: | Line 19: | ||
We can compute the answer <math>W(n)</math> by conditioning on the position of the heaviest weight in the order of placement : | We can compute the answer <math>W(n)</math> by conditioning on the position of the heaviest weight in the order of placement : | ||
<cmath>W(n)=\sum_{k=1}^{n}W(k-1)2^{n-k}\frac{(n-1)!}{(k-1)!}</cmath> | <cmath>W(n)=\sum_{k=1}^{n}W(k-1)2^{n-k}\frac{(n-1)!}{(k-1)!}</cmath> | ||
− | The | + | The heaviest wight can only go to the left pan. <math>W(k-1)</math> is the number of ways to place the first <math>(k-1)</math> weights which got placed before the heaviest weight at position <math>k</math>. We used the fact that the number of valid ways does not depend on the actual weights as long as each weight is heavier than the sum of all the weights lighter than it. There are <math>\frac{(n-1)!}{(k-1)!}</math> ways to select <math>(k-1)</math> weights ( when order matters ) after the heaviest one out of <math>(n-1)</math> other weights . This is because there are <math>(n-1)</math> ways to select the 1st weight after the heaviest, <math>(n-2)</math> to select the next one etc. |
Each of these <math>(n-k)</math> weights can go to the left or the right pan so there are <math>2^{n-k}</math> ways to create left-right combinations. | Each of these <math>(n-k)</math> weights can go to the left or the right pan so there are <math>2^{n-k}</math> ways to create left-right combinations. | ||
Rearange to setup recursive relationship: | Rearange to setup recursive relationship: |
Revision as of 22:55, 13 July 2023
Problem
Let be an integer. We are given a balance and weights of weight . We are to place each of the weights on the balance, one after another, in such a way that the right pan is never heavier than the left pan. At each step we choose one of the weights that has not yet been placed on the balance, and place it on either the left pan or the right pan, until all of the weights have been placed. Determine the number of ways in which this can be done.
Solution
Call our answer . We proceed to prove .
It is evident .
Now, the key observation is that smaller weights can never add up to the weight of a larger weight, ie which side is heavier is determined completely by the heaviest weight currently placed. It follows, therefore, that the number of ways to place weights on the balance according to the rule is the same no matter which distinct powers of two are the weights, as each weight completely overpowers any smaller weight and is completely overpowered by any larger weight. That is, there is the 1st heaviest weight, the 2nd heaviest, the 3rd, ..., the n-th heaviest, and each weight is negligible compared to any heavier weight. Thus, any valid placement of weights of weight can changed by replacing with the -th heaviest weight in the set , where , and vice versa, forming a relation. With this in mind, we use recursion upon the last weight placement. There are choices; namely, you can put any weight on either side except for the heaviest weight on the right. For the first weight placements, the answer reduces to . We can reduce in the same way.
Alternative Solution
We can compute the answer by conditioning on the position of the heaviest weight in the order of placement : The heaviest wight can only go to the left pan. is the number of ways to place the first weights which got placed before the heaviest weight at position . We used the fact that the number of valid ways does not depend on the actual weights as long as each weight is heavier than the sum of all the weights lighter than it. There are ways to select weights ( when order matters ) after the heaviest one out of other weights . This is because there are ways to select the 1st weight after the heaviest, to select the next one etc. Each of these weights can go to the left or the right pan so there are ways to create left-right combinations. Rearange to setup recursive relationship: That is: as
--alexander_skabelin 9:24, 13 July 2023 (EST)
Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.