[논문 리뷰] The number of Latin rectangles

Peter G. Doyle|ArXiv.org|2007. 03. 29.

Algorithms and Data Compression참고 문헌 1인용 수 5

한 줄 요약

이 논문은 감소한 구성에 대한 포함배제 원리를 적용하여 $k$-라인 라틴 사각형의 수를 계산하는 일반적인 방법을 제시한다. 이는 라이저의 순열 공식을 확장한 것이다. 감소한 $k$-라인 라틴 사각형의 수를 나타내는 표현식인 $R_k(n)$을 평가하는 데 약 $n^{(2^{k-1})}$회의 산술 연산이 필요하며, 이는 $k$에 대해 지수적으로 증가하는 복잡도를 가진다. 이 접근법은 $(k-1)$-원소 집합의 집합 분할 라티스 위에서 모비우스 역전개를 활용한다.

ABSTRACT

We show how to generate an expression for the number of k-line Latin rectangles for any k. The computational complexity of the resulting expression, as measured by the number of additions and multiplications required to evaluate it, is on the order of n^(2^(k-1)). These expressions generalize Ryser's formula for derangements.

연구 동기 및 목표

• 임의의 고정된 $k$에 대해 $k$-라인 라틴 사각형의 수에 대한 닫힌 표현식을 유도하는 것.
• 라이저의 순열 공식을 고차원 라틴 사각형으로 일반화하는 것.
• $k$-라인 라틴 사각형의 수를 평가하는 데 필요한 계산 복잡도를 정량화하는 것.
• 감소한 사각형 표현식은 존재하고 계산 가능하지만, $k$가 증가함에 따라 복잡도가 급격히 증가하여 큰 $k$에 대해서는 실용적이지 않다는 것을 보여주는 것.

제안 방법

• 감소한 고립홀 구성에 대한 포함배제를 적용하여 $k$-라인 라틴 사각형의 수를 세는 것.
• $(k-1)$-원소 집합의 분할 라티스 위에서 모비우스 역전개를 사용하여 핵심 생성 함수 $g_k$를 도출하는 것.
• $\sum s_{\sigma} = n$을 만족하는 비음수 정수 해에 대한 다변수 합으로 $R_k(n)$을 표현하는 것. 여기서 $\sigma$는 $\{1,\dots,k-1\}$의 부분집합을 뜻한다.
• 분할 라티스 위에서 포함배제를 통해 함수 $g_k(\mathbf{t})$를 재귀적으로 정의하며, 부분합 $f_I$의 곱을 포함하는 항들을 포함하는 것.
• 모든 $s_{\sigma}$에 대해 다항계수와 $g_k(\mathbf{t})$의 거듭제곱을 포함하는 합으로 최종 표현식을 구성하며, 부호는 번갈아가며 적용하는 것.
• 최종적으로 $L_k(n) = n! \cdot R_k(n)$이라는 항등식을 활용하여 감소하지 않은 사각형의 수를 복원하는 것.

실험 결과

연구 질문

• RQ1 임의의 고정된 $k$에 대해 $k$-라인 라틴 사각형의 수에 대한 일반 공식을 도출할 수 있는가?
• RQ2 이 공식의 평가에 필요한 계산 복잡도는 $n$에 대해 어떻게 되는가?
• RQ3 포함배제 과정의 구조는 $(k-1)$-원소 집합의 집합 분할 라티스와 어떻게 관련이 있는가?
• RQ4 왜 감소한 사각형 표현식은 일반 사례보다 더 다루기 쉬운가?
• RQ5 단일 표현식으로 $L_k(n)$을 $k$와 $n$의 의존성을 모두 포함시킬 수 있는가? 이때 지수적 팽창 없이도 가능한가?

주요 결과

• 감소한 $k$-라인 라틴 사각형의 수인 $R_k(n)$은 $n$으로 합이 맞는 비음수 정수에 대한 $(2^{k-1} - 1)$중합으로 표현될 수 있으며, 각 항은 다항계수와 함수 $g_k$의 거듭제곱을 포함한다.
• 감소한 $R_k(n)$을 평가하는 데 필요한 계산 복잡도는 약 $n^{(2^{k-1})}$회의 덧셈과 곱셈 연산 수준이다.
• For $k=2$, the formula reduces to Ryser’s known inclusion-exclusion formula for derangements.
• For $k=3$, the expression involves a sum over four variables $s_{00}, s_{10}, s_{01}, s_{11}$, with the function $g_3(t_{00}, t_{10}, t_{01}, t_{11}) = f_1 f_2 - f_{1,2}$, where $f_1 = t_{00} + t_{01}$, $f_2 = t_{00} + t_{10}$, and $f_{1,2} = t_{00}$.
• For $k=4$, the expression involves a sum over eight variables $s_{\sigma}$, with $g_4(\mathbf{t}) = f_1 f_2 f_3 - f_{1,2} f_3 - f_{2,3} f_1 - f_{1,3} f_2 + 2f_{1,2,3}$, reflecting Möbius inversion on the partition lattice of a 3-set.
• 감소하지 않은 경우 $L_k(n)$의 공식은 더 높은 복잡도를 가지며, 약 $n^{(2^k)}$회의 연산이 필요하여 감소한 경우보다 상당히 비효율적이다.