[论文解读] Counting polyominoes with minimum perimeter

Sascha Kurz|arXiv (Cornell University)|Jun 21, 2005

Advanced Combinatorial Mathematics参考文献 4被引用 13

一句话总结

本文使用生成函数和群论对称性约化（Cauchy-Frobenius引理）对具有 $ n $ 个方格且周长最小的正方形多格骨牌进行了完整枚举，以计算在旋转和翻转下互不相同的配置数量。关键结果是给出了 $ e(n) $（此类极值多格骨牌的数量）的闭式公式，通过生成函数 $ r(x) $ 和 $ q(x) $ 表达，并计算了 $ n \leq 144 $ 时的显式数值，最大值出现在 $ n = s^2+1 $ 和 $ n = s^2+s+1 $ 时。

ABSTRACT

The number of essentially different square polyominoes of order n and minimum perimeter p(n) is enumerated.

研究动机与目标

• 确定大小为 $ n $ 的不同正方形多格骨牌中实现最小可能周长的数量 $ e(n) $。
• 通过重新构建枚举过程而无需依赖有缺陷的引理，解决早期关于周长图中割点问题的证明模糊性。
• 提供一种严格且考虑对称性的最小周长多格骨牌枚举方法，涵盖平移、旋转和反射。
• 推导出编码每个 $ n $ 对应此类多格骨牌数量的闭式生成函数 $ r(x) $ 和 $ q(x) $。

提出的方法

• 利用最小周长与最大内部边数之间的等价关系：$ B(n) = 2n - \lceil 2\sqrt{n} \rceil $，因此最小周长为 $ p(n) = 2\lceil 2\sqrt{n} \rceil $。
• 将极值多格骨牌表征为通过从矩形网格中删除角落方格而得到的形状，确保结果形状保持连通且无孔洞。
• 应用 Cauchy-Frobenius 引理以处理对称性（旋转和反射），使用群作用于角落删除集合。
• 定义生成函数：$ a(x) = \prod_{j=1}^\infty \frac{1}{1-x^j} $ 表示无限制分拆，$ s(x) = 1 + \sum_{k=1}^\infty x^{k^2} \prod_{j=1}^k \frac{1}{1-x^{2j}} $ 表示对称的角落删除。
• 构建 $ r(x) = \frac{1}{4}(a(x)^4 + 3a(x^2)^2) $ 以表示矩形对称性，$ q(x) = \frac{1}{8}(a(x)^4 + 3a(x^2)^2 + 2s(x)^2a(x^2) + 2a(x^4)) $ 以表示正方形对称性。
• 利用这些生成函数，通过基于 $ n = s^2 + t $ 和 $ n = s^2 + s + t $ 的分段公式计算 $ e(n) $，其中 $ s = \lfloor \sqrt{n} \rfloor $。

实验结果

研究问题

• RQ1 有多少种不同的大小为 $ n $ 的正方形多格骨牌能实现最小可能周长？
• RQ2 最小周长多格骨牌的结构是什么？它们如何从矩形系统性地生成？
• RQ3 在最小周长多格骨牌的枚举中，如何正确处理对称性（旋转和反射）？
• RQ4 哪些生成函数能够编码所有 $ n $ 对应的此类多格骨牌数量？它们如何从群作用和分拆理论推导得出？
• RQ5 尽管早期周长图中关于割点的问题存在缺陷，该枚举能否实现严格化？

主要发现

• 大小为 $ n $ 的最小周长多格骨牌数量 $ e(n) $ 由基于 $ s = \lfloor \sqrt{n} \rfloor $ 的分段公式给出，包括 $ n = s^2 $、$ n = s^2 + t $、$ n = s^2 + s $ 和 $ n = s^2 + s + t $ 的情况。
• 当 $ n = s^2 $ 时，$ e(n) = 1 $，对应于完美正方形网格。
• 当 $ n = s^2 + s $ 时，$ e(n) = 1 $，对应于移除一整条边后的近似正方形矩形。
• 当 $ n = s^2 + 1 $ 和 $ n = s^2 + s + 1 $ 时，$ e(n) $ 达到最大值，其中 $ e(s^2 + 1) $ 在 $ s = 49 $ 时达到 14165630358，$ e(s^2 + s + 1) $ 在 $ s = 49 $ 时达到 20206501603。
• 通过 Cauchy-Frobenius 引理推导出的生成函数 $ q(x) $ 正确地考虑了正方形的二面体对称性，$ r(x) $ 则对应于矩形对称性，从而实现了精确枚举。