AMC 10 · 2013 · #12

Grade 7 counting
paritygraph-connectivityfundamental-counting-principlesystematic-enumeration systematic-enumerationeasier-related-problemidentify-subproblems ↑ Prerequisites: paritysystematic-enumeration
📏 Long solution 💡 3 insights 📊 Diagram
Problem
A route must drive every road exactly once between two fixed endpoints. Count the routes.

Pick an answer.

(A)
7
(B)
9
(C)
12
(D)
16
(E)
18
How to solve
Strategy Make a Systematic List

Seven roads can be ordered in a great many ways, so listing routes blindly is hopeless. Two ideas shrink the job to something a person can finish by hand and be sure of. First, count road-ends instead of roads: how many road-ends a city has decides how many times a route can stop there, and that pins down the shape of every route before any listing starts. Second, cities C and E each have only two roads, so a route that enters must leave by the other one — these are forced detours carrying no choice, and splicing them out leaves a three-city picture. The splice has to be reversible, otherwise the small picture would be answering a different question, so that reversal gets proved rather than assumed. What survives is a short, provably complete list, and the choices thrown away by the splice are put back by multiplication at the end.

1STEP 1

Count the roads at each city

Counting roads per city is the first move.

deg A=3, deg B=3, deg C=2, deg D=4, deg E=2, 3+3+2+4+2=14=2 · 7
2STEP 2

Odd counts fix where stops can happen

The odd counts fix the start and finish.

3=1_start+2 · 1, 3=1_finish+2 · 1, 4=2 · 2, 2=2 · 1
3STEP 3

C and E are forced detours

Two-road cities are forced detours.

… B C D … or … D C B …, … A E D … or … D E A …
4STEP 4

Splice them out, and check it reverses

Splicing them out leaves a smaller picture.

small picture: cities A,B,D; links AB, AD, e, BD, c
5STEP 5

Split the count into order and twins

The count splits into order times choices.

#routes=#city orders × 2 × 2
6STEP 6

List every city order

There are four possible city orders.

ADBDAB, ADABDB, ADBADB, ABDADB
7STEP 7

Stretch one order back to a real route

Each stretches back to a real route.

A D B C D E A B: AD, BD, BC, CD, DE, AE, AB
8STEP 8

Multiply the two counts

Multiplying gives 16, choice (E).

4 × (2 × 2) = 4 × 4 = 16
Answer
16
Re-sort the same 16 routes by a feature the derivation never used: the first road out of A. The four city orders split as three beginning A → D (ADBDAB, ADABDB, ADBADB) and one beginning A → B (ABDADB), giving 3 × 4 = 12 and 1 × 4 = 4. In the 12, the first A–D step is the direct road AD half the time and the detour A E D the other half, so the tally by opening road is 6 starting on AD, 6 starting on AE, 4 starting on AB — total 16. Those two sixes had to match, since the road AD and the detour through E are interchangeable twins, and they do; that agreement is a real test the count could have failed. The size is also sensible: seven roads admit 7! = 5040 orderings, and only a tiny, tightly constrained handful survive, so an answer in the teens fits while 18 would need a fifth city order that Step 6 proved cannot exist. Note that 12, choice (C), is exactly the sub-count of routes that leave A towards D — stopping after that case is the natural way to land on the wrong answer.
💡Key takeaway

Count the road-ends at each city first: even means you always pass through, odd means the trip must start or end there — and a city with only two roads is a corridor you can shrink away.

  • Count the roads at each city
  • Odd counts fix where stops can happen
  • C and E are forced detours
  • Splice them out, and check it reverses
  • Split the count into order and twins
  • List every city order
  • Stretch one order back to a real route
  • Multiply the two counts