맨해튼 폴리오미노 최적 부분 타일링

초록

본 논문은 맨해튼 폴리오미노를 도미노로 부분 타일링하는 문제에 대해, 열 개수에 비례하는 선형 시간 알고리즘을 제시한다. 그래프 최적화 기법을 활용해 불가능한 영역을 빠르게 식별하고, 최대 매칭을 통해 최적 타일링을 구성한다.

상세 분석

맨해튼 폴리오미노는 각 열이 연속된 블록으로 이루어진 특수한 형태의 폴리오미노이며, 전통적인 완전 타일링 문제와 달리 부분 타일링에서는 남는 격자를 최소화하는 것이 목표이다. 저자들은 먼저 폴리오미노를 이분 그래프의 두 파트(검은·흰색 격자)로 변환하고, 도미노를 두 인접한 격자 쌍으로 모델링한다. 이때 각 열의 높이 차이가 1 이하인 경우에만 인접성이 존재한다는 특성을 이용해 그래프의 차수를 제한한다.

핵심 아이디어는 “불균형 열”을 식별해 해당 열에 남는 격자를 사전에 제거하고, 남은 부분에 대해 최대 매칭을 수행하는 것이다. 불균형 열은 해당 열의 블록 수가 짝수인지 홀수인지에 따라 결정되며, 홀수 열은 반드시 하나의 격자를 남겨야 한다. 저자들은 이러한 열을 “핵심 열”이라 정의하고, 핵심 열 사이의 연결 관계를 단순화된 경로 그래프로 만든다. 경로 그래프는 각 정점이 열을, 간선이 인접 열 사이의 가능한 도미노 배치를 의미한다.

그 다음, 저자들은 전통적인 “Hungarian algorithm”이나 “Hopcroft‑Karp” 같은 최대 매칭 알고리즘 대신, 경로 그래프의 특수 구조를 이용해 O(n) 시간에 매칭을 구한다. 구체적으로, 왼쪽에서 오른쪽으로 순차적으로 탐색하면서 현재 열이 짝수이면 바로 매칭을 시도하고, 홀수이면 이전 열과의 매칭 여부를 판단해 보류한다. 이 과정에서 “스택 기반 보류 메커니즘”을 도입해 이전 열에 남은 격자를 추적한다. 결과적으로 전체 알고리즘은 열의 개수 n에 대해 Θ(n) 시간 복잡도를 갖는다.

또한, 저자들은 이 알고리즘이 최적임을 증명하기 위해 “교환 불가능성”과 “증강 경로 부재”를 이용한 수학적 귀류법을 전개한다. 즉, 현재 매칭이 최적이 아니라면 반드시 증강 경로가 존재해야 하는데, 제시된 선형 탐색 과정에서 모든 가능한 증강 경로를 탐색했음이 보이므로 모순이 발생한다. 따라서 제안된 알고리즘은 남는 격자의 수를 최소화하는 최적 부분 타일링을 보장한다.

마지막으로, 실험 결과는 무작위 및 실제 데이터셋에 대해 기존의 O(n√n) 혹은 O(n^2) 알고리즘보다 평균 10배 이상 빠른 성능을 보여준다. 특히, 열이 수천 개에 달하는 대형 폴리오미노에서도 메모리 사용량이 선형으로 유지되어 실용성이 높다.