AMC 10 · 2015 · #20

학년 8 patternnumber-theory
recursive-sequencefunction-compositionmodular-arithmeticperiodic-function pattern-recognitioneasier-related-problem ↑ 선수 지식: recursive-sequencemodular-arithmetic
📏 긴 풀이 💡 4 개 인사이트
문제
표의 각 행이 앞 행을 스스로 가리키는 자리에서 찾아 만들어진다. 멀리 있는 한 칸을 구하여라.

답을 골라 클릭하세요.

(A)
0
(B)
1
(C)
2
(D)
3
(E)
4
풀이 과정
전략 패턴 찾기

2015 이라는 번호는 허풍입니다. 그 높이에서는 아무것도 직접 계산할 수 없으므로, 진짜 목표는 행에서 행으로 가는 기계와 그것이 자리 잡는 모양입니다. 먼저 도구 #15(다르게 정리하기)입니다. 정의를 믿고 쓰려면 먼저 다시 정리해야 하기 때문입니다 — f(i,j) = f(i-1,f(i,j-1))는 순환처럼 보이므로, 순환이 아니라는 것과 i 행이 오직 i-1 행에만 의존한다는 것을 먼저 보여야 합니다. 다음으로 도구 #4(변수 도입하기)로 각 행을 {0,1,2,3,4} 위의 함수 R_i 로 이름 붙입니다. 그 언어로 옮기면 규칙 전체가 한 문장으로 줄어듭니다 — i 행은 1 에서 출발해 R_i-1을 계속 적용하는 산책의 처음 다섯 정거장입니다. 도구 #5(패턴 찾기)로 0 행부터 5 행까지 계산하고, 더 중요하게는 행이 무너지는 이유를 드러냅니다: 1을 지나는 산책이 점점 짧아지다가 아예 움직이지 않게 됩니다. 마지막으로 도구 #9(더 쉬운 문제로 줄이기)가 간격을 메워, 2015 행 문제를 'f(i,1) 이라는 한 칸이 다시는 바뀌지 않는다'는 훨씬 쉬운 주장으로 바꿉니다.

1STEP 1

규칙이 순환이 아님을 확인

규칙은 근거가 있고 순환이 아니다.

f(i,0) → f(i-1,1)이고 f(i,j) → f(i,j-1), f(i-1,·): 모든 호출이 사전식 순서에서 (i,j)를 반드시 낮춥니다
2STEP 2

각 행을 함수로 읽기

각 행은 거듭 적용되는 함수로 읽힌다.

R_i(j) = R_i-1^ j+1(1), 즉 i 행 = (R_i-1(1), R_i-1²(1), R_i-1³(1), R_i-1⁴(1), R_i-1⁵(1))
3STEP 3

0, 1, 2 행은 아직 재배열

처음 몇 행은 아직 재배열이다.

R₀(x) = mod₅(x+1), 1 행 = (2,3,4,0,1); R₁(x) = mod₅(x+2), 2 행 = (3,0,2,4,1); R₂(x) = mod₅(2x+3)
4STEP 4

3 행에서 균형이 깨진다

한 행 뒤에 그것이 깨진다.

x ≡ 2x+3 (mod 5) → x ≡ 2; 산책 1 → 0 → 3 → 4 → 1의 주기는 4 이므로 3 행 = (0,3,4,1,0)
5STEP 5

산책이 짧아지다 멈춘다

산책이 짧아지다 멈춘다.

R₃: 1 → 3 → 1 (주기 2) 이므로 4 행 = (3,1,3,1,3); 그러면 R₄(1) = 1 이므로 5 행 = (1,1,1,1,1)
6STEP 6

얼어붙은 한 칸이 모든 행을 잠근다

얼어붙은 한 칸이 이후 모든 행을 잠근다.

R_i(1) = 1 → 모든 j 에 대해 R_i+1(j) = R_i^ j+1(1) = 1 → R_i+1(1) = 1; 출발점 f(4,1) = 1 이므로 모든 i ≥ 5 에서 f(i,j) = 1
7STEP 7

2015 행에 착지하기

따라서 먼 칸은 1이다, 보기 (B).

2015 ≥ 5 → f(2015,2) = 1 → (B)
정답
1
행 함수라는 지름길이 무언가를 몰래 끼워 넣지 않았는지 확인하려고, 5 행과 6 행을 원래의 세 규칙만으로 다시 만들어 봅니다. f(5,0) = f(4,1) = 1; f(5,1) = f(4, f(5,0)) = f(4,1) = 1이고, 같은 대입으로 f(5,2) = f(5,3) = f(5,4) = 1입니다. 이어서 f(6,0) = f(5,1) = 1이고 f(6,j) = f(5, f(6,j-1)) = f(5,1) = 1입니다. 두 행 모두 전부 1로 나와 일치합니다. 방향에 대한 두 번째 확인: i = 0,1,2,3,4,5 에서 i 행에 나타나는 값의 집합은 {0,1,2,3,4}, {0,1,2,3,4}, {0,1,2,3,4}, {0,1,3,4}, {1,3}, {1}로 줄어들기만 하므로, 붕괴가 뒤늦게 되돌아갈 수는 없습니다. 답 1, 즉 선택지 (B)가 유일한 생존자이고, 나머지 네 선택지는 5 행 이전에 이미 탈락한 값들입니다(2는 3 행에서, 0과 4는 4 행에서, 3은 5 행에서 사라졌습니다).
💡핵심 정리

규칙이 자기 출력을 계속 다시 집어넣는다면, 자기 자신으로 가는 입력을 찾으세요. 과정이 고정점에 내려앉는 순간 그곳을 떠날 수 없으므로, 2015 행은 5 행보다 손이 더 가지 않습니다.

  • 규칙이 순환이 아님을 확인
  • 각 행을 함수로 읽기
  • 0, 1, 2 행은 아직 재배열
  • 3 행에서 균형이 깨진다
  • 산책이 짧아지다 멈춘다
  • 얼어붙은 한 칸이 모든 행을 잠근다
  • 2015 행에 착지하기