AMC 10 · 2022 · #17

학년 7 counting
permutations-basicfactorialfundamental-counting-principlelogical-deductionextreme-principle extreme-principleif-then-reasoningeasier-related-problemsystematic-enumeration ↑ 선수 지식: permutations-basicfundamental-counting-principle
📏 중간 풀이 💡 3 개 인사이트
문제
4 곱하기 4 격자를 0과 1로 채웁니다. 네 행의 합이 어떤 순서로든 1, 2, 3, 4여야 하고 네 열의 합도 마찬가지여야 합니다. 그런 격자가 몇 개인지 세세요.

답을 골라 클릭하세요.

(A)
144
(B)
240
(C)
336
(D)
576
(E)
624
풀이 과정
전략 극단의 원리

칸이 16 개이고 각 칸이 두 가지이므로 격자는 2¹⁶ = 65536 개입니다. 하나씩 훑기에는 너무 많고, 바로 쓸 공식도 없습니다. 여기서 길을 여는 것이 도구 #14(극단의 원리)입니다. 격자 한가운데가 아니라 움직일 여지가 전혀 없는 합부터 손대는 것입니다. 칸 넷짜리 행의 합이 4 라면 그 행은 전부 1 이어야 하고, 열의 합이 4 인 열도 전부 1입니다. 그렇게 꽉 찬 줄 두 개가 생기면 합이 1 인 행과 합이 1 인 열까지 자동으로 결정됩니다. 그 행과 열은 이미 꽉 찬 줄에서 1을 하나 받았기 때문입니다. 도구 #9(더 쉬운 문제로 줄이기)로 결정된 네 줄을 떼어내면 같은 모양의 2 × 2 문제만 남습니다. 도구 #5(패턴 찾기)로 완성된 격자가 따르는 규칙을 읽어냅니다. 도구 #4(변수 도입하기)로 행의 합을 r₁, …, r₄, 열의 합을 c₁, …, c₄ 라 두면 경우를 하나하나 따지지 않고 한 번에 논증할 수 있습니다. 그다음 도구 #2(빠짐없이 나열하기)로 격자가 아니라 격자를 만들어내는 두 개의 순서를 셉니다. 마지막으로 도구 #3(가능성 지우기)으로 결과를 선택지와 맞춥니다.

1STEP 1

두 순서에 이름 붙이기

행과 열의 합이 같은 총합을 만듭니다.

r₁ + r₂ + r₃ + r₄ = 1 + 2 + 3 + 4 = 10 = c₁ + c₂ + c₃ + c₄
2STEP 2

합이 4인 줄 채우기

합이 4면 그 줄은 전부 1입니다.

r_i = 4 → a_i1 = a_i2 = a_i3 = a_i4 = 1, c_j = 4 → a₁j = a₂j = a₃j = a₄j = 1
3STEP 3

합이 1인 줄 채우기

합이 1인 줄은 갈 곳이 하나뿐입니다.

r_i = 1 → c_j = 4 인 열에서만 a_ij = 1; c_j = 1 → r_i = 4 인 행에서만 a_ij = 1
4STEP 4

네 줄 떼어 내기

네 줄을 떼면 작은 격자만 남습니다.

& c=3 & c=2 ; r=3 & 1 & 1 ; r=2 & 1 & 0
5STEP 5

순서 한 쌍에 격자 하나

두 순서가 격자를 완전히 결정합니다.

a_ij = 1 ⇔ r_i + c_j ≥ 5
6STEP 6

순서를 세고 곱하기

두 순서의 개수를 곱합니다.

4! · 4! = 24 · 24 = 576
7STEP 7

보기와 맞추기

결과는 576입니다.

4! · 4! = 576 → (D)
정답
576
대칭성만으로도 답이 확정됩니다. 유효한 격자의 두 행을 맞바꾸면 행 합의 집합은 그대로이고 어떤 열의 합도 변하지 않으므로 결과는 여전히 유효합니다. 두 열을 맞바꾸어도 마찬가지입니다. 그러므로 유효한 격자 하나의 네 행과 네 열을 섞으면 항상 유효한 격자가 나오고, 그렇게 얻는 것이 24 · 24 = 576 개입니다. 이 576 개는 모두 서로 다릅니다. 행의 합 1, 2, 3, 4에 중복이 없어서 행을 옮기면 어느 행이 어느 합을 갖는지가 바뀌고, 따라서 격자 자체가 바뀌기 때문입니다. 결국 유효한 격자들은 정확히 576 개씩 무리를 이루고, 전체 개수는 576의 배수여야 합니다. 다섯 선택지 중 576의 배수는 576 하나뿐입니다. 144, 240, 336은 너무 작고 624는 배수가 아닙니다. 더 작은 확인도 통과합니다. 유효한 격자에는 항상 1이 10 개, 0이 6 개 들어 있고, 0과 1의 역할을 바꾸면 행의 합 1, 2, 3, 4가 3, 2, 1, 0이 되고 열도 똑같이 바뀌므로, 0의 배치는 1의 배치를 뒤집은 거울상입니다. 완성된 격자가 정확히 그 모양입니다.
💡핵심 정리

움직일 여지가 없는 곳부터 시작하세요. 합이 4 인 행은 전부 1 이어야 하고, 그 사실 하나가 연쇄적으로 퍼져 모든 칸을 강제합니다. 그래서 진짜 결정할 것은 어느 행이 어느 합을 갖고 어느 열이 어느 합을 갖느냐뿐이며, 그 개수가 4! · 4! = 576입니다.

  • 두 개의 순서에 이름 붙이기
  • 합이 4면 그 줄은 전부 1
  • 합이 1인 줄은 갈 곳이 없다
  • 네 줄을 떼면 2x2만 남는다
  • 순서 한 쌍에 격자 하나
  • 순서를 세고 곱하기
  • 선택지와 맞추기