[论文解读] Polyominoes with maximally many holes

Matthew Kahle, Érika Roldán|arXiv (Cornell University)|Jul 26, 2018

Collagen: Extraction and Characterization参考文献 2被引用 5

一句话总结

本文确定了具有 n 个方块的多格形最多可包围的孔洞数，证明当 n 较大时 f(n) ≈ n/2。它构造了显式多格形族，使得在特定的 nₖ 和 hₖ 下满足 f(nₖ) = hₖ，并建立了紧致的渐近界，表明 f(n) = n/2 − Θ(√n)，其中下界中的常数 √(3/2) 是最优的。

ABSTRACT

What is the maximum number of holes that a polyomino with $n$ tiles can enclose? Call this number $f(n)$. We show that if $n_k = \left( 2^{2k+1} + 3 \cdot 2^{k+1}+4 ight) / 3$ and $h_k = \left( 2^{2k}-1 ight) /3$, then $f(n_k) = h_k$ for $k \ge 1$. We also give nearly matching upper and lower bounds for large $n$, showing as a corollary that $f(n) \approx n/2$.

研究动机与目标

• 确定一个 n-格形最多可包围的孔洞数 f(n)。
• 构造显式多格形族，使其在特定 n 下达到理论上的最大孔洞数。
• 为较大的 n 建立 f(n) 的紧致渐近上界和下界，表明 f(n) ≈ n/2。
• 证明下界中常数 √(3/2) 无法改进，从而确立渐近估计的紧致性。
• 探索这些极值多格形的结构与几何性质，包括其在适当缩放下是否收敛于类似分形的极限形状。

提出的方法

• 将 f(n) 定义为所有 n-格形中孔洞数的最大值，将 g(m) 定义为满足 f(n) = m 的最小 n。
• 通过在结构化的矩形网格中嵌入一个重复的 4 格 2 孔洞图案 S，构造一个递归的多格形族 Sₖ。
• 使用一种铺砌构造，包含重复的 S 模式、顶部一行、左侧一列以及右侧的双格延伸，构建 Rₖ 和 Rₖ,ₗ，其方块数和孔洞数已知。
• 通过分析方块数 mₖ,ₗ = 40k² + 20k + l 和孔洞数 tₖ,ₗ = 20k² + ⌊l/2⌋ 的增长，推导出渐近界，表明对任意 C₁ > √(5/2)，有 f(n) ≥ n/2 − C₁√n。
• 应用递归论证和孔洞计数不等式，证明 f(n+1) − f(n) ≤ 1，确保 f(n) 缓慢增长。
• 利用 f 与 g 之间的对偶性，证明 g(hₖ) = nₖ − 1，并推导出上界 f(n) ≤ n/2 − C₂√n（C₂ < √(3/2)），从而证明紧致性。

实验结果

研究问题

• RQ1 一个由 n 个单位方格组成的多格形最多可包围多少个孔洞？
• RQ2 能否通过显式构造实现 f(n) 的理论最大值？这些最大值在哪些 n 值下达到？
• RQ3 当 n 趋于无穷大时，f(n) 的最紧致渐近界是什么？
• RQ4 下界中常数 √(3/2) 是否最优？能否进一步改进？
• RQ5 在适当缩放下，这些极值多格形是否会收敛于一个极限分形形状？

主要发现

• 对于 nₖ = (2^{2k+1} + 3·2^{k+1} + 4)/3 和 hₖ = (2^{2k} − 1)/3，本文证明对所有 k ≥ 1 有 f(nₖ) = hₖ。
• 本文表明 f(nₖ − 1) = hₖ 且 f(nₖ − 2) = hₖ − 1，确认最大孔洞数在 nₖ 之前达到。
• 它建立了 g(hₖ) = nₖ − 1，即构造 hₖ 个孔洞所需的最少方块数为 nₖ − 1。
• 对于较大的 n，本文证明 f(n) = n/2 − Θ(√n)，其中下界 f(n) ≥ n/2 − C₁√n 对任意 C₁ > √(5/2) 成立。
• 上界 f(n) ≤ n/2 − C₂√n 对任意 C₂ < √(3/2) 成立，且该常数为最优——无法使用更小的 C₂。
• 多格形 Rₖ,ₗ 的构造表明，f(n) = n/2 − √(3n/2 + 1/4) + 1/2 无限多次成立，支持了渐近形式在极限下精确成立的猜想。