[논문 리뷰] Random Permutations, Random Sudoku Matrices and Randomized Algorithms

Krasimir Yordzhev|arXiv (Cornell University)|2013. 12. 01.

graph theory and CDMA systems인용 수 8

한 줄 요약

이 논문은 $n^2 \times n^2$ 사각형 수수께끼 행렬을 생성하기 위한 새로운 랜덤 알고리즘을 제안한다. 이 알고리즘은 $\mathbb{Z}_n$의 순열로 이루어진 행을 가진 $(2n) \times n$ 행렬인 $\Pi_n$ 행렬의 구조를 활용한다. 논문은 $\Pi_n$에서 $\Sigma_{n^2}$로의 전단사 사상 $\varphi$를 도입하여 수수께끼 조건을 이진 행렬로 표현함으로써, 효율적인 상호배타성 검증을 가능하게 한다. 주요 기여는 점진적으로 상호배타적인 $\Pi_n$ 행렬을 조합하여 유효한 수수께끼 행렬을 생성하는 $O(n^4)$ 시간 알고리즘을 개발한 것이다. 이는 난수 샘플링 기반의 단순 몬테카를로 방법에 비해 크게 향상된 성능을 보인다.

ABSTRACT

Some randomized algorithms, used to obtain a random $n^2 imes n^2$ Sudoku matrix, where $n$ is a natural number, is reviewed in this study. Below is described the set $Π_n$ of all $(2n) imes n$ matrices, consisting of elements of the set $\mathbb{Z}_n =\{ 1,2,\ldots ,n\}$, such that every row is a permutation. It is proved that such matrices would be particularly useful in developing efficient algorithms in generating Sudoku matrices. An algorithm to obtain random $Π_n$ matrices is presented in this paper. The algorithms are evaluated according to two criteria - probability evaluation, and time evaluation. This type of criteria is interesting from both theoretical and practical point of view because they are particularly useful in the analysis of computer programs.

연구 동기 및 목표

• 랜덤 $n^2 \times n^2$ 수수께끼 행렬을 생성하기 위한 효율적인 랜덤 알고리즘을 개발하는 것.
• $\mathbb{Z}_n$의 순열로 이루어진 행을 가진 $(2n) \times n$ 행렬의 집합 $\Pi_n$을 정식으로 정의하여, 이 집합이 수수께끼 행렬의 구성 요소로 기능함을 명시하는 것.
• $\Pi_n$에서 $\Sigma_{n^2}$로의 전단사 사상 $\varphi: \Pi_n \to \Sigma_{n^2}$를 수립하여, $\Pi_n$ 행렬을 블록 제약 조건을 표현하는 이진 행렬로 변환하는 것.
• 확률 및 시간 복잡도 기준을 활용해 알고리즘을 평가하여, 단순 몬테카를로 샘플링에 비해 향상된 효율성을 입증하는 것.

제안 방법

• $\Pi_n$를 각 행이 $\mathbb{Z}_n$의 순열인 $(2n) \times n$ 행렬의 집합으로 정의하여, 수수께끼 생성의 기초를 마련한다.
• 알고리즘 3.1을 도입하여 각 행에 대해 $\mathbb{Z}_n$의 원소를 순열화함으로써 $\Pi_n$에 속하는 랜덤 행렬을 생성한다.
• 알고리즘 3.3을 개발하여 각 $P_k \in \Pi_n$을 이진 행렬 $A = \varphi(P_k) \in \Sigma_{n^2}$로 매핑한다. 여기서 $A$는 단위 행렬을 이용해 블록 위치를 인코딩한다.
• 전단사 사상 $\varphi$를 활용해 상호배타성 검증을 수행한다: 두 $\Pi_n$ 행렬이 상호배타적임은 그에 대응하는 $\Sigma_{n^2}$ 행렬 간에 1이 겹치지 않는 것으로 확인된다.
• 최종 수수께끼 행렬 $S$를 점진적으로 구성한다. 이때 $k \cdot A_k$를 $S$에 더할 수 있는 조건은 합 $B = \sum A_k$가 이진 행렬(항목이 0 또는 1이어야 함)이어야 한다는 것이다.
• 알고리즘 4.1을 적용하여 while 루프를 사용해 $P_k$를 재샘플링함으로써, 상호배타적인 $\Pi_n$ 행렬을 확보함으로써 유효한 수수께끼 제약 조건을 보장한다.

실험 결과

연구 질문

• RQ1 $\Pi_n$ 행렬이 랜덤 수수께끼 행렬 생성에 구조적으로 유용한 기초로 사용될 수 있는가?
• RQ2 $\Pi_n$ 행렬과 $\Sigma_{n^2}$ 이진 행렬 간에 수수께끼 제약 조건을 유지하는 전단사 사상이 존재하는가?
• RQ3 $\Sigma_{n^2}$ 표현을 활용해 $\Pi_n$ 행렬 간의 상호배타성 검증을 효율적으로 수행할 수 있는가?
• RQ4 제안된 알고리즘이 난수 샘플링 기반의 단순 몬테카를로 방법에 비해 더 낮은 시간 복잡도를 달성하는가?
• RQ5 이 방법을 사용해 수수께errick 행렬을 구성할 때 반복 단계당 성공 확률은 얼마인가?

주요 결과

• $\Pi_n$에는 총 $n!^{2n}$개의 원소가 있으며, 모든 $P \in \Pi_n$은 유일하게 $A = \varphi(P) \in \Sigma_{n^2}$로 매핑되며, 이는 전단사 관계를 형성한다.
• 두 $\Pi_n$ 행렬이 상호배타적임은 그에 대응하는 $\Sigma_{n^2}$ 행렬 간에 1이 겹치지 않는 것과 동치이며, 이는 행렬 덧셈을 통한 효율적 검증이 가능함을 의미한다.
• 제안된 알고리즘 4.1의 시간 복잡도는 $O(n^4)$이며, 제약 조건 검증을 최적화함으로써 단순 몬테카를로 방법의 $O(n^6)$에 비해 크게 향상되었다.
• 반복 단계당 성공 확률은 $p(n) = \sigma_n / n^{2n^2}$이며, 여기서 $\sigma_n$은 유효한 $n^2 \times n^2$ 수수께errick 행렬의 수이다. $\sigma_2 = 288$이고, $\sigma_3 \approx 6.671 \times 10^{21}$이다.
• 알고리즘은 구성 과정에서 정확성을 보장한다: 행, 열, 블록 순열 제약 조건을 모두 만족하는 행렬만 최종 수수께errick 행렬에 추가된다.
• 전체 수수께errick 제약 조건을 브루트 포스로 검증하는 대신, 이를 이진 행렬에 인코딩하여 각 행렬 검증 시간을 $O(n^3)$에서 $O(n)$으로 감소시켰다.