[论文解读] Tilings of Rectangular Regions by Rectangular Tiles: Counts Derived from Transfer Matrices

Richard J. Mathar|arXiv (Cornell University)|Jun 30, 2014

Cellular Automata and Applications参考文献 7被引用 4

一句话总结

本文提出一种转移矩阵方法，用于计算使用2D和3D矩形瓷砖对矩形区域及3D矩形空间进行铺砌的方案数，通过状态向量追踪已覆盖区域的轮廓来建模铺砌过程。该方法推导出在适中宽度的地板和房间中，针对 $1\times3$、$1\times4$、$2\times3$、$1\times1\times2$、$1\times1\times3$、$1\times1\times4$ 和 $1\times2\times3$ 瓷砖的显式生成函数，从而通过状态有向图上的闭合路径实现铺砌方案的精确计数。

ABSTRACT

Step by step completion of a left-to-right tiling of a rectangular floor with tiles of a single shape starts from one edge of the floor, considers the possible ways of inserting a tile at the leftmost uncovered square, passes through a sequence of rugged shapes of the front line between covered and uncovered regions of the floor, and finishes with a straight front line at the opposite edge. We count the tilings by mapping the front shapes to nodes in a digraph, then counting closed walks on that digraph with the transfer matrix method. Generating functions are detailed for tiles of shape 1 x 3, 1 x 4 and 2 x 3 and modestly wide floors. Equivalent results are shown for the 3-dimensional analog of filling bricks of shape 1x 1 x 2, 1 x 1 x 3, 1 x 1 x 4, 1 x 2 x 2 or 1 x 2 x 3 into rectangular containers of small cross sections.

研究动机与目标

• 开发一种系统化方法，用于计算使用固定矩形瓷砖对矩形区域及3D矩形容器进行铺砌的方案数。
• 将铺砌过程建模为基于已覆盖与未覆盖区域之间边界轮廓的状态转移序列。
• 应用转移矩阵方法，将铺砌计数问题转化为在状态向量有向图上计数闭合路径。
• 为特定瓷砖形状与容器尺寸推导显式生成函数，实现铺砌计数的精确计算。

提出的方法

• 用高度向量 $ (h_1 h_2 \ldots h_m) $ 表示每个中间铺砌状态，其中 $ h_i $ 编码第 $ i $ 列处瓷砖向未覆盖区域的延伸程度，且满足 $ 0 \leq h_i \leq t_n $。
• 构建一个有向图（有向图），其中节点为状态向量，边表示能将铺砌从一个状态有效推进到另一个状态的瓷砖放置操作。
• 使用转移矩阵方法，计数从全零状态向量 $ (00\ldots0) $ 出发并返回的长度为 $ N $ 的闭合路径，该状态对应完全铺砌。
• 通过图论规则推导普通生成函数 $ T_{t_m \times t_n}(m,z) = \sum_N T(m,N) z^N $：边权为 $ z $，路径的串行与并行组合规则，以及环路的几何级数展开。
• 应用剪枝规则以消除不连通子图，简化生成函数表达式。
• 利用生成函数结构通过系数提取法提取精确的铺砌计数结果，并与已知整数序列（如 OEIS A000079、A103143、A237357、A237358、A233291）进行验证。

实验结果

研究问题

• RQ1 如何高效计算使用 $ t_m \times t_n $ 矩形瓷砖对 $ m \times n $ 矩形地板进行铺砌的方案数，包括两种方向？
• RQ2 部分铺砌的状态空间结构是怎样的？如何将其编码为有限有向图以实现计数？
• RQ3 能否为 $ 1\times3 $、$ 1\times4 $、$ 2\times3 $ 以及3D砖块（如 $ 1\times1\times4 $ 和 $ 1\times2\times3 $）的铺砌问题推导生成函数？这些函数揭示了哪些关于铺砌计数的规律？
• RQ4 2D与3D铺砌问题的生成函数如何与已知整数序列及组合结构相关联？
• RQ5 对称性与连通性在状态有向图中起什么作用？如何通过去除无关部分简化生成函数？

主要发现

• 对于 $ 1\times3 $ 瓷砖在 $ 1\times n $ 地板上的铺砌，推导出生成函数，并证明其系数与已知组合计数一致。
• 对于 $ 1\times4 $ 瓷砖在 $ 2\times n $ 地板上的铺砌，生成函数为 $ T_{1\times4}(2,4,z) = \frac{1 - z^4 - z^8 + z^{12} - z^6}{(1 - z^2 - 2z^4 + z^8)(-z^{12} + z^4 + 1 - z^8 + z^6)} $，其系数与 $ 1\times4 $ 铺砌计数的平方相匹配。
• 对于 $ 1\times1\times4 $ 砖块在 $ 2\times4\times n $ 房间中的铺砌，生成函数的系数满足 $ T(2,4,N) = T_{1\times4}^2(4,N) $，证实了2D与3D铺砌计数之间的结构性关系。
• 对于 $ 1\times2\times3 $ 砖块在 $ 2\times2\times n $ 房间中的铺砌，生成函数为 $ \frac{1}{1 - 2z^2} $，其系数为2的幂次，反映出每次放置后强制返回直线轮廓的特性。
• 对于使用 $ 1\times2\times3 $ 砖块的 $ 3\times3\times n $ 房间，生成函数为 $ \frac{1 - z^3}{1 - 22z^6 - 7z^3 - 36z^9} $，生成的计数为 $ 1, 6, 64, 616, 5936, 57408, \ldots $，与 OEIS A237357 一致。
• 对于使用 $ 1\times2\times3 $ 砖块的 $ 3\times4\times n $ 房间，生成函数具有复杂的有理函数形式，其分子与分母均为多项式，生成的系数为 $ 1, 1, 11, 64, 296, 1716, 9123, \ldots $，与 OEIS A237358 一致。