예제로 배우는 폴리아 정리

이 논문은 폴리아 열거 정리(Pólya’s Enumeration Theorem)를 처음 접하는 독자를 위해, 복잡한 전제조건 없이 직접 적용할 수 있는 간단한 절차를 제시한다. 저자는 ‘단순한 예제부터 시작하라’는 힐베르트의 격언을 인용하며, 4개의 사분면으로 나뉜 원판을 빨강(R), 흰색(W), 파랑(B) 세 가지 색으로 색칠하는 문제를 선택한다. 이 문제는 대칭의 종류에 따라 서로 다른 경우의 수를 갖게 되므로, 폴리아 정리의 핵심인 ‘대칭군’과 ‘사이클 지수’를 직관적으로 보여줄 수 있다. 먼저 ‘Setting I(고정된 원판)’에서는 대칭이 전혀 없으므로 각 사분면을 독립적으로 3가지 색 중 하나로 선택한다. 따라서 경우의 수는 3⁴=81이며, 이는 폴리아 정리를 적용할 필요가 없는 가장 기본적인 경우다. 다음으로 ‘Setting R(회전만 허용)’에서는 원판을 자유롭게 회전시킬 수 있다. 회전 대칭군은 차수 4인 순환군 C₄이며, 생성원소 (1234) 로부터 네 개의 원소를 만든다. 각 원소를 불변 사이클 형태로 분해하면 (1)(2)(3)(4), (1234), (13)(24), (1432) 가 된다. 여기서 중요한 점은 1‑사이클을 반드시 포함해야 한다는 것이다. 사이클을 변수 x 로 바꾸고 괄호를 유지한 뒤, 모든 항을 평균(1/4)하면 사이클 지수 I_C(x)=¼