카드별 뒤집힘 조건을 출현 횟수의 홀짝 합동식으로 바꾸고, p2와 p3 선택으로 네 패턴을 분류해 유리한 순서 있는 결과 160개, 확률 10/81을 얻는다.
들어가기 앞서…
이 문제는 네 번의 카드 상태를 직접 추적하면 경우가 빠르게 복잡해진다. 하지만 카드에는 앞면과 뒷면 두 상태만 있으므로, 실제로 필요한 정보는 각 카드가 몇 번 뒤집혔는지의 홀짝뿐이다.
따라서 한 번의 시행을 카드별 뒤집힘 표로 바꾼 뒤, 주사위 눈 i\(i\)가 나온 횟수 ni\(n_i\)의 홀짝 조건으로 압축한다. 이후에는 여섯 카드 상태가 아니라 여섯 눈의 출현 횟수 홀짝 패턴만 세면 된다.
문제
2027학년도 6월 모의고사 수학 확률과 통계 28번 문제문제 텍스트객관식
앞면에 숫자 1,2,3,4,5,6\(1,2,3,4,5,6\)이 하나씩 적혀 있는 카드 6\(6\)장이 있다. 각 카드의 뒷면에는 앞면에 적힌 숫자와 같은 숫자가 적혀 있다.
처음에는 숫자 1,6\(1,6\)이 적힌 카드는 뒷면이 보이도록 놓여 있고, 숫자 2,3,4,5\(2,3,4,5\)가 적힌 카드는 앞면이 보이도록 놓여 있다.
이 6\(6\)장의 카드와 한 개의 주사위를 사용하여 다음 시행을 한다.
주사위를 한 번 던져 나온 눈의 수가 k\(k\)일 때,
k\(k\)가 홀수이면 k\(k\) 이하의 수가 적힌 카드를 모두 한 번씩 뒤집고,
k\(k\)가 짝수이면 k\(k\) 이상의 수가 적힌 카드를 모두 한 번씩 뒤집는다.
이 시행을 4\(4\)번 반복한 후 6\(6\)장의 카드가 모두 앞면이 보이도록 놓여 있을 확률은?
①16219\(\dfrac{19}{162}\)
②10813\(\dfrac{13}{108}\)
③8110\(\dfrac{10}{81}\)
④32441\(\dfrac{41}{324}\)
⑤547\(\dfrac{7}{54}\)
정답
③
풀이
한 번의 시행을 카드별 표로 바꾼다
네 번의 주사위 결과를 처음부터 나열하면 전체 경우가 64\(6^4\)개이다. 먼저 한 번의 시행에서 주사위 눈 하나가 어떤 카드를 뒤집는지 정리한다.
주사위 눈 k\(k\)
뒤집히는 카드
1\(1\)
{1}\(\{1\}\)
2\(2\)
{2,3,4,5,6}\(\{2,3,4,5,6\}\)
3\(3\)
{1,2,3}\(\{1,2,3\}\)
4\(4\)
{4,5,6}\(\{4,5,6\}\)
5\(5\)
{1,2,3,4,5}\(\{1,2,3,4,5\}\)
6\(6\)
{6}\(\{6\}\)
이 표를 카드별로 다시 읽으면 다음과 같다.
카드
이 카드가 뒤집히는 주사위 눈
1\(1\)
1,3,5\(1,3,5\)
2\(2\)
2,3,5\(2,3,5\)
3\(3\)
2,3,5\(2,3,5\)
4\(4\)
2,4,5\(2,4,5\)
5\(5\)
2,4,5\(2,4,5\)
6\(6\)
2,4,6\(2,4,6\)
처음에 카드 1,6\(1,6\)은 뒷면이고 카드 2,3,4,5\(2,3,4,5\)는 앞면이다. 마지막에 모두 앞면이 되려면 카드 1,6\(1,6\)은 홀수 번 뒤집혀야 하고, 카드 2,3,4,5\(2,3,4,5\)는 짝수 번 뒤집혀야 한다. 즉 카드 상태를 매번 따라가는 문제가 아니라 뒤집힌 횟수의 홀짝을 맞추는 문제이다.
한 번의 시행 표를 카드별로 다시 읽으면 마지막 조건이 홀짝 조건으로 바뀐다.
출현 횟수의 홀짝 조건으로 압축한다
주사위 눈 i\(i\)가 네 번의 시행 동안 나온 횟수를 ni\(n_i\)라고 하자. 카드별 조건은 다음 합동식으로 바뀐다.
첫 번째 식은 카드 1\(1\)이 홀수 번 뒤집힌다는 조건이다. 두 번째 식은 카드 2,3\(2,3\)이 짝수 번 뒤집힌다는 조건이고, 세 번째 식은 카드 4,5\(4,5\)가 짝수 번 뒤집힌다는 조건이다. 네 번째 식은 카드 6\(6\)이 홀수 번 뒤집힌다는 조건이다.
이제 가능한 구조를 줄인다. 첫 번째 식과 두 번째 식을 더하면 n1+n2≡1(mod2)\(n_1+n_2\equiv1\pmod{2}\)이다. 두 번째 식과 세 번째 식을 더하면 n3+n4≡0(mod2)\(n_3+n_4\equiv0\pmod{2}\)이다. 세 번째 식과 네 번째 식을 더하면 n5+n6≡1(mod2)\(n_5+n_6\equiv1\pmod{2}\)이다.
여기에 원래 조건 중 하나인 n2+n3+n5≡0(mod2)\(n_2+n_3+n_5\equiv0\pmod{2}\)도 함께 남기면 조건은 다음처럼 압축된다.