Games & Processes
Turn-based games, iterated processes, tournaments, scheduling
What you need to know
- Round-robin. If teams each play every other team once, there are games. With no ties, each game has one winner, so the wins also add up to . Example: teams play games and win in all.
- Single elimination. players need exactly matches: each match knocks out one player, and everyone but the champion is knocked out. Example: players need matches.
- Invariants. An invariant is something no step changes, like even/odd, or a total's remainder when divided by some . A final state with a different value can never be reached. Example: are on a board. A move erases two numbers and writes their difference, which lowers the sum by twice the smaller one. So the sum, at the start, stays odd, and the last number left is never .
- Winning and losing positions. A position is losing if the player to move loses with best play on both sides. That happens when every move leads to a winning position. A position is winning when some move leads to a losing one. In "take to stones; whoever takes the last stone wins," the losing positions are the multiples of . Example: taking to stones, is losing. Whatever you take, your opponent tops the round up to stones, and in the end takes the last one.
How AMC 10 tests it
- Problems 5–12: games in a tournament, handshakes at a party, days until a schedule repeats.
- Problems 12–20: a number is changed again and again by a rule; find its value after many steps.
- Problems 15–22: two-player games of taking objects away, asking which starting sizes are first-player wins.
- Problems 18–25: a repeated process with a counting answer.
Standard approaches
- Work out the first several steps by hand; a cycle or pattern usually shows up fast.
- Look for an invariant the process keeps (even/odd, a sum's remainder).
- For two-player games, work backward from the end, marking positions W (winning) or L (losing).
- For tournaments, use total wins to set up an equation.
- For "how many starting values," find the pattern, then count with remainders.
Worked example
Alice and Bob alternately remove , , or coins from a pile of coins, Alice first; whoever takes the last coin wins. For how many integers with does Bob have a winning strategy?
(A) (B) (C) (D) (E)
Solution.
Step 1: the rule. Mark each pile size L (losing) or W (winning) for the player about to move. A pile of is L (the other player just took the last coin). A pile is W exactly when taking , , or coins can leave an L pile.
Step 2: the table. For example, is L (its only move leaves , a W), and is L (its moves leave , , , all W).
| W/L | L | W | L | W | W | W | W | L | W | L | W | W | W | W | L | W | L |
Step 3: the period. Each entry depends only on the entries , , and places back. Entries to (L, W, L, W) match entries to , so from there on the table repeats every . The L piles are the numbers with remainder or when divided by (written or ).
Step 4: who wins. Alice moves first, so Bob wins exactly when the starting pile is L.
Step 5: count. Multiples of : , which is numbers. Remainder : , which is numbers. Total: .
The answer is .
Pitfalls
- Counting round-robin games as instead of . That counts each game twice: teams play games, not .
- Stopping a simulation before the cycle has repeated in full, then following a false pattern.
- Marking a position W because one move leads to a W position. A winning move must lead to an L position.
- Off-by-one mistakes between "after steps" and "at step ." If the start is step , then after steps you are at step .
Traps that recur
- Treating the game as ordinary Nim (using wall sizes 6, 2, 1 directly) even though removing a middle brick splits a wall into two. (2021 AMC 10B #24)
- Treating the 18 games as freely arrangeable (choosing which 3 go in each round) without enforcing that every player plays exactly once per round. (2013 AMC 10A #24)
- Reporting the number of transitive triples, 945 (choice C), or the total number of triples, 1330 (choice E), instead of their difference. (2016 AMC 10B #22)
- Trying to simulate all the exchanges by hand, or assuming the process ends with 0 tokens of each color. (2013 AMC 10B #17)
Problems, easiest first
Open any of them to try it here; the worked solution is on the problem's own page.