정사각형 격자에서의 모노머‑다이머 타타미 타일링 수식과 생성 알고리즘

초록

본 논문은 n×n 정사각형 격자에서 m(<n)개의 모노머를 포함하고 네 개의 타일이 한 점에서 만나지 않는 타타미 배치를 정확히 셈한다. m과 n이 같은 홀짝성을 가질 때 그 개수는 m·2^m + (m+1)·2^{m+1}이며, m=n인 경우는 n·2^{n‑1}개의 배치가 n개의 동등한 클래스(각 2^{n‑1}개)로 나뉜다. 전체 배치 수는 2^{n‑1}(3n‑4)+2 로, 이는 n의 모든 합성에서 각 부분의 제곱합과 일치한다. 또한 n·2^{n‑1}개의 배치를 상수 시간으로 생성하는 두 알고리즘과 그레이 코드 순서를 제시한다.

상세 분석

이 연구는 타타미 타일링이라는 전통적인 일본 매트 배치 문제를 조합론적 관점에서 정형화한다. 타일은 1×1 모노머와 1×2 다이머(가로·세로) 두 종류이며, “tatami condition”이라 불리는 네 타일이 한 점에서 만나지 않는 제약을 둔다. 저자들은 먼저 T‑다이어그램이라는 구조적 도구를 도입한다. T‑다이어그램은 격자 내에서 네 종류의 ‘피처’(loner, vee, bidimer, vortex)를 색으로 표시하고, 각 피처는 격자 경계까지 레이(광선)를 뻗어 다른 피처와 교차하지 않게 만든다. 이 구조를 이용하면, m<n인 경우 모든 타일링은 정확히 하나의 비대칭 피처(bidimer 혹은 vortex)와 다수의 독립적인 ‘대각선(diagonal)’으로 완전히 기술된다. 대각선은 모노머를 시작점으로 하여 연속적인 다이머를 따라 경로를 이루며, 한 번의 “대각선 플립”으로 모노머와 그에 연결된 다이머들의 방향을 반전시킬 수 있다. 중요한 점은 서로 다른 대각선이 교차하지 않으므로 플립이 서로 독립적이라는 것이다.

Lemma 1‑4를 통해 피처의 위치와 종류가 결정되면, 남은 대각선의 개수 d가 바로 2^d개의 서로 다른 타일링을 만든다. 피처가 bidimer이면 m = n‑2y_f, vortex이면 m = n‑y_f+1 (y_f는 피처와 가장 가까운 경계 사이 거리)이며, 대각선 수는 n‑2y_f‑2 혹은 n‑2y_f‑1 등으로 명시된다. 피처가 차지할 수 있는 위치는 격자 중심을 기준으로 4(n‑2k)개(k는 거리)이며, 각 위치마다 대각선 수가 달라져 2^d가 달라진다. 이를 모두 합산하면

T(n,m) = m·2^m + (m+1)·2^{m+1}

라는 간단한 닫힌식이 도출된다. 특히 m=n인 경우는 T(n,n)=n·2^{n‑1}이며, 이는 피처가 존재하지 않고 모든 셀을 대각선으로만 채우는 경우에 해당한다. 저자들은 기존 귀납적 증명 대신, n개의 클래스로 균등하게 나누는 새로운 대칭적 증명을 제시한다. 각 클래스는 특정 “running bond”(연속적인 레이)와 그에 연결된 대각선 플립 조합으로 정의된다.

전체 배치 수 Σ_{m}T(n,m) = 2^{n‑1}(3n‑4)+2 로, 이는 n의 모든 합성(composition)에서 각 파트의 제곱합과 동일함을 보여 흥미로운 수론적 연결고리를 제공한다. 마지막으로, n·2^{n‑1}개의 배치를 효율적으로 생성하기 위한 두 알고리즘을 제안한다. 첫 번째는 단순히 2^{n‑1}개의 이진 문자열을 순회하는 방법이며, 두 번째는 대각선 플립을 ‘대각선 뒤집기’라는 그레이 코드 연산으로 구현한다. 두 번째 알고리즘은 반사 그레이 코드를 이용해 인접한 배치 사이의 차이를 최소화(한 번에 하나의 대각선만 플립)함으로써 상수 시간 생성과 메모리 효율성을 동시에 달성한다. 전체적으로 이 논문은 타타미 타일링의 구조적 특성을 명확히 파악하고, 정확한 계수식과 효율적인 생성 방법을 제공함으로써 조합론, 알고리즘 설계, 그리고 응용 수학 분야에 중요한 기여를 한다.