[논문 리뷰] Paving Rectangular Regions with Rectangular Tiles: Tatami and Non-Tatami Tilings

Richard J. Mathar|arXiv (Cornell University)|2013. 11. 24.

Quasicrystal Structures and Properties참고 문헌 4인용 수 4

한 줄 요약

이 논문은 $1\times2$, $1\times3$, $1\times4$, $2\times3$ 타일을 사용하여 직사각형 바닥을 타일링하는 종합적인 계산 연구를 제시한다. 타일링은 네 개의 타일이 한 점에서 만날 수 있는 지점 수(타미 타일링 조건 위반)와 대칭적으로 다르지 않은 구성으로 분류된다. 너비 $m=9$까지의 완전 타일링과 비합동 타일링에 대한 정확한 수와 생성함수를 구하고, 대칭성 감소를 통한 재귀적 수치 세기 방법을 사용하며, 슬라이드 라인으로 세분화된 타일링에 대한 추측된 생성함수를 제공한다.

ABSTRACT

The number of complete tilings of m X n floors for tiles of shape 1 X 2, 1 X 3, 1 X 4 and 2 X 3 is computed numerically for floors up to width m=9 and variable floor lengths n. Counts are obtained for two classes, for fixed tile stack orientation on one hand and for counts up to rotations and reflections on the other hand. Counts are refined by the number of points on the floor where 4 tiles meet, i.e., by the degree of violation of the requirement for Tatami tilings.

연구 동기 및 목표

• 고정된 직사각형 타일 $1\times2$, $1\times3$, $1\times4$, $2\times3$를 사용하여 $m\times n$ 직사각형 바닥의 모든 완전 타일링을 체계적으로 열거하는 것.
• 네 개의 타일이 한 점에서 만날 수 있는 지점 수에 따라 타일링을 분류하여, 타미 타일링 조건(네 개의 타일이 한 점에서 만날 수 없음)에서의 이탈 정도를 정량화하는 것.
• 기하학적 대칭성으로 인한 중복 계산을 줄이기 위해 전체 수와 회전 및 반사 대칭에 대해 서로 다른 타일링(비합동 타일링)의 수를 계산하는 것.
• 수평선 중 타일을 가로질르지 않는 '슬라이드 라인'의 수에 따라 타일링을 세분화하여, 타일링의 구조적 분류를 제공하는 것.

제안 방법

• 타일을 한 개씩 배치하면서 $m\times n$ 격자에 대해 유효한 타일링을 모두 열거하는 재귀적 백트래킹 알고리즘을 사용하여 완전한 커버리지와 겹침이 없도록 보장한다.
• 로토-반사적으로 합동인 타일링 구성 중 사전순으로 가장 작은 표현만 식별하고 세는 데 이진 수열 매핑을 사용하여 비합동 타일링의 계산을 가능하게 한다.
• 표 $T_t(n,m)$ 및 $\bar{T}_t(n,m)$의 열 합을 바탕으로 각 타일링 유형 $t$에 대해 생성함수 $T_t(z,m)$와 $\bar{T}_t(z,m)$를 계산한다.
• 열거 이전에 유효한 바닥-타일 조합만 걸러내기 위해 조건 $nm \equiv 0 \mod(t_n t_m)$를 적용한다.
• 계산된 데이터에서 관찰된 패tern을 바탕으로 슬라이드 라인으로 세분화된 타일링에 대한 추측된 닫힌 형식의 생성함수(예: $\hat{\bar{T}}_1(z,3)$)를 도출한다.
• 자동화된 테스트 셋을 통해 검증된 C++ 프로그램을 사용하여 전수 탐색과 대칭성 제거를 구현한다.

실험 결과

연구 질문

• RQ1 고정된 $1\times2$ 타일만을 사용하여 $m\times n$ 직사각형을 타일링할 수 있는 서로 다른 방법의 수는 전체 수와 대칭적으로 다르지 않은 구성 모두를 포함해 얼마나 되는가?
• RQ2 네 개의 타일이 한 점에서 만날 수 있는 지점 수에 따라 타일링의 분포는 어떻게 되며, 이는 타미 타일링 조건에서의 이탈 정도를 어떻게 정량화하는가?
• RQ3 수평선 중 타일을 가로질르지 않는 '슬라이드 라인'의 수가 특정한 값을 가진 타일링으로 제한했을 때 타일링의 수는 어떻게 변하는가?
• RQ4 고정된 $m$에 대해 $n$이 변화하는 경우, 타일링 수의 수열을 기술하는 생성함수는 무엇인가? 특히 타미 타일링과 비타미 타일링에 대해 설명한다.
• RQ5 특정한 슬라이드 라인 수를 가진 대칭성 감소 타일링 수에 대해 닫힌 형식의 생성함수를 추측할 수 있는가?

주요 결과

• $3\times n$ 도미노 타일링의 경우, 슬라이드 라인이 하나인 비합동 타일링의 수는 추측된 생성함수 $\hat{\bar{T}}_1(z,3) = z^2(1 - 2z^2)/[(1 - z^2)(1 - 3z^2 + z^4)(1 - z^2 - z^4)]$로 주어진다. 이는 계산된 데이터에서 유도된 것이다.
• $3\times n$ 타일링에서 타미 타일링(네 개의 타일이 한 점에서 만날 수 없음)의 수는 복잡한 유리 생성함수로 표현되며, 이는 다수의 유리항을 포함하고 있다. 이는 추측 41에 제시되어 있다.
• $3\times n$ 도미노 타일링의 경우, $n=12$일 때 비합동 타일링의 총 수는 $\bar{T}(12,3) = 145601$로 계산되었으며, 이는 슬라이드 라인 및 네 개 타일 만남 구성에 대한 합으로 표현된다.
• $4\times n$ 도미노 타일링 중 슬라이드 라인이 없는 경우의 수는 $\hat{\bar{T}}_0(12,4) = 14520$로 유도되었으며, 이는 전체 수 $\bar{T}(12,4) = 37794$와 대칭성 감소 데이터를 기반으로 한다.
• 논문은 $m \leq 9$이고 $n$이 증가하는 경우에 대해 $T_t(n,m)$ 및 $\bar{T}_t(n,m)$의 정확한 표를 제공하며, $T_0(n,m)$는 타미 타일링에 해당한다.
• 소스 코드는 공개되어 있으며, 타일링 구성의 이진 표현을 사전순 최소화를 통해 대칭성 감소를 구현한 재귀적 타일링 열거를 구현하고 있다.