[논문 리뷰] Calculation of the Number of all Pairs of Disjoint S-permutation Matrices

Krasimir Yordzhev|arXiv (Cornell University)|2015. 01. 14.

graph theory and CDMA systems참고 문헌 11인용 수 4

한 줄 요약

이 논문은 그래프 이론적 기법을 사용하여 순서 없는 쌍의 분리된 $9 \times 9$ S-순열 행렬을 세는 일반적인 공식을 제시한다. $n \times n$ 이분 그래프로 문제를 모델링하고 그 차수 수열과 동형류를 활용함으로써, 분리된 쌍이 정확히 419,250,816개가 존재하며, 두 개의 임의로 선택된 $9 \times 9$ S-순열 행렬이 분리될 확률은 약 0.385임을 도출한다.

ABSTRACT

The concept of S-permutation matrix is considered. A general formula for counting all disjoint pairs of $n^2 imes n^2$ S-permutation matrices as a function of the positive integer $n$ is formulated and proven in this paper. To do that, the graph theory techniques have been used. It has been shown that to count the number of disjoint pairs of $n^2 imes n^2$ S-permutation matrices, it is sufficient to obtain some numerical characteristics of all $n imes n$ bipartite graphs.

연구 동기 및 목표

• 모든 순서 없는 분리된 $n^2 \times n^2$ S-순열 행렬 쌍을 세는 일반적인 공식 유도.
• S-순열 행렬의 분리성과 $n \times n$ 이분 그래프의 구조적 성질 사이의 연결 고리 설정.
• $n=3$ (즉, $9 \times 9$ 행렬)의 경우를 중심으로 분리된 쌍의 정확한 수 계산 — 스도쿠 수량 세기의 핵심 사례.
• 두 개의 임의로 선택된 $9 \times 9$ S-순열 행렬이 분리될 확률 결정.

제안 방법

• 각 행과 열, $n \times n$ 블록에 정확히 하나의 1이 있는 $n^2 \times n^2$ 이진 행렬로 S-순열 행렬을 모델링.
• 두 S-순열 행렬 간의 분리 조건을 $n \times n$ 이분 그래프의 인접 구조로 표현.
• 동형류를 사용하여 동일한 구성으로 묶고 그 수를 계산.
• 정점의 차수에 따라 그래프를 분류하기 위해 차수 수열 벡터 $\langle \psi_0, \psi_1, \dots, \psi_n \rangle$ 정의 및 대칭성 활용.
• 포함-배제 원리와 동형류에 대한 부호화된 수세기 적용 — 공식 $\xi_n = \sum_{g \in \mathcal{G}_{n,k}} |g| \cdot (-1)^{\psi_n(g)} \cdot 6^{\psi_1(g)} \cdot 2^{\psi_2(g)}$ 사용.
• C++ 프로그램을 구현하여 $\xi_3$를 수치적으로 계산하고, 최종 수를 $\eta_n = \frac{(n!)^{2n}}{2} \xi_n$를 통해 유도.

실험 결과

연구 질문

• RQ1 순서 없는 분리된 $9 \times 9$ S-순열 행렬 쌍은 총 몇 개인가?
• RQ2 두 개의 임의로 선택된 $9 \times 9$ S-순열 행렬이 분리될 확률은 얼마인가?
• RQ3 분리된 S-순열 행렬 쌍의 수를 $n \times n$ 이분 그래프의 그래프 이론적 불변량을 사용해 계산할 수 있는가?
• RQ4 이러한 쌍의 수를 $n$의 함수로 나타내는 일반 공식은 무엇인가?

주요 결과

• 순서 없는 분리된 $9 \times 9$ S-순열 행렬 쌍의 총 수는 정확히 419,250,816개이다.
• 두 개의 임의로 선택된 $9 \times 9$ S-순열 행렬이 분리될 확률은 약 0.385211이다.
• 3×3 이분 그래프의 동형류에 대한 부호화된 합으로 계산된 $\xi_3$의 값은 17,972이다.
• 공식 $\eta_n = \frac{(n!)^{2n}}{2} \xi_n$는 임의의 $n$에 대해 순서 없는 분리된 쌍의 수를 제공한다.
• 이 방법은 S-순열 행렬의 분리성 문제를 이분 그래프 동형류의 수세기 및 부호화된 가중치를 사용하여 조합적 복잡도를 감소시켰다.
• C++ 구현은 $n=3$에 대해 이론적 유도의 정확성을 확인한다.