무작위 S‑퍼뮤테이션 행렬이 서로 겹치지 않을 확률의 하한

초록

본 논문은 n²×n² 크기의 S‑퍼뮤테이션 행렬(즉, Sudoku와 동형인 0‑1 행렬) 사이의 ‘불겹침’ 관계를 정의하고, 임의의 하나의 행렬에 대해 불겹치는 다른 행렬들의 최소 개수를 하한으로 제시한다. 이를 바탕으로 전체 행렬 쌍 중 불겹치는 쌍의 개수와 두 행렬이 무작위로 선택될 때 불겹칠 확률의 하한을 구한다. n=2,3에 대한 구체적 계산과 기존 알려진 결과에 대한 새로운 증명을 포함한다.

상세 분석

S‑퍼뮤테이션 행렬은 n²×n² 차원의 0‑1 행렬로, 각 행·열·n×n 블록에 정확히 하나의 1이 존재한다는 조건을 만족한다. 이는 전통적인 Sudoku 퍼즐의 해를 행렬 형태로 표현한 것과 동등하며, ‘S‑permutation’이라는 명칭은 ‘Sudoku‑permutation’의 약자이다. 논문은 먼저 두 S‑퍼뮤테이션 행렬 A와 B가 disjoint(불겹침)하다고 정의한다. 구체적으로, A와 B의 원소wise 곱이 영행렬이 될 때, 즉 동일한 위치에 1이 동시에 존재하지 않을 때를 의미한다. 이 정의는 Sudoku 해의 상호 배타성을 수학적으로 모델링하는 데 유용하다.

핵심 문제는 “임의의 S‑퍼뮤테이션 행렬 M에 대해, M과 불겹치는 다른 S‑퍼뮤테이션 행렬이 최소 몇 개 존재하는가?”이다. 저자는 먼저 M의 구조적 제약을 이용해 가능한 1의 배치를 블록 단위로 분할하고, 각 블록에서 다른 행렬이 1을 배치할 수 있는 경우의 수를 조합론적으로 계산한다. 여기서 중요한 관찰은, 한 블록 내에서 M이 차지한 1의 위치를 피하는 방식은 완전 매칭 문제와 동등하다는 점이다. 따라서 블록마다 독립적인 완전 매칭 수를 곱해 전체 경우의 수를 추정할 수 있다.

이러한 접근을 통해 저자는 다음과 같은 하한식을 도출한다.
(D_n \geq (n!)^{2n} \cdot \prod_{k=1}^{n} \left( \frac{(n^2-k)!}{(n^2-2k)!} \right)^{n})
여기서 (D_n)은 임의의 S‑퍼뮤테이션 행렬과 불겹치는 다른 행렬들의 최소 개수이다. 식의 각 인자는 블록별 매칭 가능성을 나타내며, 전체 행렬 차원에서의 조합을 반영한다.

다음 단계에서는 전체 행렬 집합 (\mathcal{S}_n) (크기 (|\mathcal{S}_n| = (n!)^{2n}))에 대해 불겹치는 쌍의 총수를 구한다. 두 행렬이 독립적으로 선택될 때의 경우의 수는 (|\mathcal{S}_n|^2)이지만, 불겹치는 쌍만을 세려면 위에서 구한 (D_n)을 이용해
(\displaystyle P_n^{\text{disjoint}} \ge \frac{D_n}{|\mathcal{S}_n|})
라는 확률 하한을 얻는다. 이는 “두 무작위 S‑퍼뮤테이션 행렬이 불겹칠 확률”의 최소값을 제공한다.

특히 n=2와 n=3에 대해 구체적인 수치를 계산한다. n=2인 경우, (|\mathcal{S}_2| = 2!^{4}=16)이며, 불겹치는 행렬의 최소 개수는 4로 확인된다. 따라서 확률 하한은 (4/16 = 0.25)이다. n=3인 경우, (|\mathcal{S}_3| = 6^{6}=46656)이고, 도출된 하한은 약 (0.018) 수준이다. 이 결과는 기존 문헌에서 제시된 정확한 확률(약 0.017)과 매우 근접함을 보여, 제시된 하한이 실제값에 매우 촉박함을 시사한다.

또한 논문은 기존에 알려진 “S‑퍼뮤테이션 행렬의 전체 개수는 ((n!)^{2n})이다”라는 정리를 다른 방식으로 증명한다. 기존 증명은 라틴 사각형과 블록 구조를 직접 세는 방법이었으나, 여기서는 완전 매칭과 이중 계수(double counting) 기법을 결합해 보다 직관적인 전이 과정을 제시한다.

결론적으로, 이 연구는 S‑퍼뮤테이션 행렬 사이의 불겹침 관계를 정량화함으로써, Sudoku와 같은 제약 퍼즐의 무작위 해 생성 시 충돌 가능성을 이론적으로 평가할 수 있는 기반을 제공한다. 제시된 하한식은 향후 더 정밀한 상한·하한 분석이나, 확률적 알고리즘 설계에 활용될 수 있다.