AMC 10 · 2013 · #12

학년 7 counting
paritygraph-connectivityfundamental-counting-principlesystematic-enumeration systematic-enumerationeasier-related-problemidentify-subproblems ↑ 선수 지식: paritysystematic-enumeration
📏 긴 풀이 💡 3 개 인사이트 📊 도형
문제
정해진 두 끝점 사이에서 모든 도로를 정확히 한 번씩 지나야 한다. 경로의 수를 세어라.

답을 골라 클릭하세요.

(A)
7
(B)
9
(C)
12
(D)
16
(E)
18
풀이 과정
전략 빠짐없이 나열하기

도로 일곱 개를 나열하는 방법은 너무 많아서 무작정 경로를 적어 보는 것은 가망이 없다. 두 가지 생각이 이 일을 손으로 끝낼 수 있고 확신할 수 있는 크기로 줄여 준다. 첫째, 도로가 아니라 도로의 '끝'을 센다. 한 도시에 붙은 도로 끝의 개수가 그 도시에 몇 번 들를 수 있는지를 결정하며, 이것이 나열을 시작하기도 전에 모든 경로의 모양을 못박는다. 둘째, 도시 C와 E는 도로가 두 개뿐이라 들어가면 반드시 나머지 하나로 나와야 한다. 선택의 여지가 없는 강제된 우회로이므로, 이를 접어 넣으면 도시가 셋뿐인 그림이 남는다. 이 접기가 되돌릴 수 있어야 한다. 그렇지 않으면 작은 그림은 다른 질문에 답하는 셈이 되므로, 되돌릴 수 있다는 사실은 가정하지 않고 증명한다. 그러면 짧고 완전함이 증명된 목록이 남고, 접으면서 버린 선택은 마지막에 곱셈으로 되살린다.

1STEP 1

도시마다 도로 개수 세기

도시별 도로 수를 세는 것이 첫 다.

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

홀수는 시작과 끝을 못박는다

홀수가 시작과 끝을 고정한다.

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

C와 E는 강제된 우회로

도로가 둘뿐인 도시는 강제된 우회로다.

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

접어 넣고, 되돌아가는지 확인하기

그것을 접어 넣으면 더 작은 그림이 남는다.

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

순서와 쌍둥이로 나누기

개수가 순서 곱하기 선택으로 나뉜다.

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

도시 순서를 모두 나열하기

가능한 도시 순서는 이다.

ADBDAB, ADABDB, ADBADB, ABDADB
7STEP 7

순서 하나를 실제 경로로 되펴기

각각이 실제 경로로 되펴진다.

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

두 개수를 곱하기

곱하면 16, 보기 (E).

4 × (2 × 2) = 4 × 4 = 16
정답
16
같은 16개의 경로를 이 풀이가 한 번도 쓰지 않은 기준, 즉 A에서 처음 나가는 도로로 다시 분류해 보자. 네 가지 도시 순서는 A → D로 시작하는 셋(ADBDAB, ADABDB, ADBADB)과 A → B로 시작하는 하나(ABDADB)로 갈라져 3 × 4 = 12와 1 × 4 = 4가 된다. 그 12개 안에서 첫 A–D 걸음은 절반은 직행 도로 AD이고 절반은 우회로 A E D이므로, 출발 도로별 집계는 AD로 시작 6개, AE로 시작 6개, AB로 시작 4개이며 합이 16이다. 도로 AD와 E를 지나는 우회로는 서로 바꿔치기할 수 있는 쌍둥이이므로 이 두 6은 반드시 같아야 했고, 실제로 같다. 이는 틀릴 수도 있었던 진짜 검사다. 크기도 그럴듯하다. 도로 일곱 개의 배열은 7! = 5040가지인데 제약이 워낙 빡빡해 아주 적은 수만 살아남으므로 십몇 개라는 답은 자연스럽다. 반면 18이 되려면 6단계가 존재할 수 없다고 증명한 다섯 번째 도시 순서가 필요하다. 12, 즉 선택지 (C)는 A에서 D 쪽으로 떠나는 경로만 센 부분합이라는 점도 알아 둘 만하다. 그 경우에서 멈추는 것이 오답으로 가는 가장 자연스러운 길이다.
💡핵심 정리

먼저 도시마다 도로 끝의 개수를 세라. 짝수면 언제나 지나가는 곳이고 홀수면 여행이 시작되거나 끝나는 곳이다. 그리고 도로가 두 개뿐인 도시는 접어서 없앨 수 있는 복도다.

  • 도시마다 도로 개수 세기
  • 홀수는 시작과 끝을 못박는다
  • C와 E는 강제된 우회로
  • 접어 넣고, 되돌아가는지 확인하기
  • 순서와 쌍둥이로 나누기
  • 도시 순서를 모두 나열하기
  • 순서 하나를 실제 경로로 되펴기
  • 두 개수를 곱하기