Alex has red tokens and blue tokens. There is a booth where Alex can give two red tokens and receive in return a silver token and a blue token, and another booth where Alex can give three blue tokens and receive in return a silver token and a red token. Alex continues to exchange tokens until no more exchanges are possible. How many silver tokens will Alex have at the end?
- A)
- B)
- C)
- D)
- E)
Answer
E
Key insight
Exchanges stop only at 1 red and 2 blue; solving 75-2x+y = 1, 75+x-3y = 2 gives x+y = 103 exchanges.
Solution
Every exchange produces one silver token, so we need the total number of exchanges. Let be the number of red-booth exchanges (red , blue ) and the number of blue-booth exchanges (blue , red ). At the end,
Which final state is possible? Exchanges stop only when red and blue . The quantity is unchanged by a red exchange () and drops by under a blue exchange, so it stays a multiple of (it starts at ). Among the six candidate end states, only and have divisible by , and is unreachable since every exchange hands back a token. So Alex ends with red and blue.
Solve:
From the first, ; substituting, , so , , .
Total exchanges: .
The answer is .
Why this works
Simulating steps is hopeless, but the order of exchanges does not matter for the final count: each type of exchange changes the token counts by a fixed vector, so the end state is a linear function of how many of each were done. Identify the terminal state (here with a small invariant), then solve the linear system.
Alternative approach
Use two invariants instead of a system. falls by per blue exchange only: , so . falls by per red exchange and per blue: , so . Again .
The trap
Trying to simulate all the exchanges by hand, or assuming the process ends with 0 tokens of each color.
Common mistakes
- Trying to simulate all the exchanges by hand, or assuming the process ends with 0 tokens of each color.
- Counting only one booth's exchanges (e.g. plus a miscount) and landing on choices (B) or (C).
Techniques
Set up the equation/formula and compute; no special trick needed · Use an invariant, parity, or coloring argument