[論文レビュー] 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)) $ を構築する。
• これらの生成関数を用いて、$ s = \lfloor \sqrt{n} \rfloor $ を用いた $ n = s^2 + t $ および $ n = s^2 + s + t $ の場合の区分的公式に基づき $ e(n) $ を計算する。

実験結果

リサーチクエスチョン

• RQ1 サイズ $ n $ の異なる正方形の多ポリオミノで、最小周囲長に達するものの数はいくつか？
• RQ2 周囲長を最小化する多ポリオミノの構造は何か？また、長方形からどのように体系的に生成できるか？
• RQ3 最小周囲長の多ポリオミノの列挙において、回転および反転の対称性はどのように適切に扱えるか？
• RQ4 すべての $ n $ に対してそのような多ポリオミノの数を符号化する生成関数は何か？また、群作用と分割論の理論からどのように導出されるか？
• RQ5 周囲グラフにおけるカット頂点に関する以前の問題を克服し、列挙を厳密に行うことは可能か？

主な発見

• $ e(n) $、すなわちサイズ $ 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 $ であり、これは一辺を完全に削除したほぼ正方形の長方形に対応する。
• $ e(n) $ の最大値は $ n = s^2 + 1 $ および $ n = s^2 + s + 1 $ で発生し、$ s = 49 $ のとき $ e(s^2 + 1) $ は 14165630358 に達し、$ e(s^2 + s + 1) $ は 20206501603 に達する。
• Cauchy-Frobeniusの補題を用いて導出された生成関数 $ q(x) $ は、正方形の二面体的対称性を正しく反映しており、$ r(x) $ は長方形の対称性を反映しており、正確な列挙を可能にする。