[論文レビュー] Generating Functions for Domino Matchings in the $2 imes k$ Game of Memory

Donovan Young|arXiv (Cornell University)|May 30, 2019

Advanced Combinatorial Mathematics参考文献 7被引用数 1

ひとこと要約

本稿では、同じ数字のペアが水平または垂直なドミノを形成する2×kグリッドにおけるドミノマッチングの数を数える母関数を導出している。グリッドグラフからh組の水平およびv組の垂直頂点ペアを削除したマッチングを分析することで、集約マッチング多項式を構築し、その結果を線形チャーブ・ダイアグラムと結びつける。これにより、ドミノ配置の形式的母関数が得られる。

ABSTRACT

When all the elements of the multiset $\{1,1,2,2,3,3,\ldots,k,k\}$ are placed in the cells of a $2 imes k$ rectangular array, in how many configurations are exactly $v$ of the pairs directly over top one another, and exactly $h$ directly beside one another --- thus forming $2 imes 1$ or $1 imes 2$ dominoes? We consider the sum of matching numbers over the graphs obtained by deleting $h$ horizontal and $v$ vertical vertex pairs from the $2 imes k$ grid graph in all possible ways, providing a generating function for these aggregate matching polynomials. We use this result to derive a formal generating function enumerating the domino matchings, making connections with linear chord diagrams.

研究の動機と目的

• 正確にv組の垂直に整列したペアとh組の水平に整列したペアを持つ2×kグリッドにおける配置の数を特定すること。
• 2×kグリッドグラフからh組の水平およびv組の垂直頂点ペアをすべての可能な方法で削除した場合のマッチング数の合計をモデル化すること。
• すべての妥当な構成にわたるこれらのマッチングを集約する生成関数を導出すること。
• 得られた生成関数と組合せ論における線形チャーブ・ダイアグラムとの関係を確立すること。

提案手法

• 2×kグリッドグラフを構築し、h組の水平およびv組の垂直頂点ペアのすべての可能な削除を検討することで、部分的マッチングをモデル化する。
• すべての削除されたグラフにおける完全マッチングの数を合計することで、集約マッチング多項式を定義する。
• 生成関数の技法を用いて、垂直（v）および水平（h）ペアリングに基づくドミノマッチングの数を符号化する。
• グラフ理論的ツールを用いて、グリッドの構造と線形チャーブ・ダイアグラムの列挙との関係を関係づける。
• すべてのvおよびhの値に対してドミノマッチングの数を体系的に符号化する形式的生成関数を導出する。
• ドミノマッチングと線形チャーブ・ダイアグラムとの間の全単写像または構造的対応関係を確立して、生成関数の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 2×kメモリーゲームのどの配置が、正確にv組の垂直に整列したペアとh組の水平に整列したペアの同じ数字のペアを生成するか？
• RQ2 2×kグリッドグラフからh組の水平およびv組の垂直頂点ペアを削除した後、得られる完全マッチング（ドミノ配置）の総数は何か？
• RQ3 すべてのvおよびhの値にわたって、このようなドミノマッチングを体系的に列挙する生成関数を構築できるか？
• RQ4 導出された生成関数と、組合せ論における既知の構造、たとえば線形チャーブ・ダイアグラムとの関係は何か？

主な発見

• 本稿では、垂直（v）および水平（h）ドミノの数に基づいて、2×kメモリーゲームにおけるすべてのドミノマッチングを数える形式的生成関数を導出している。
• 集約マッチング多項式は、2×kグリッドグラフからh組の水平およびv組の垂直頂点ペアのすべての可能な削除を合計することで構築されている。
• 得られた生成関数は、任意のkに対してドミノ配置の完全な組合せ的列挙を提供する。
• この手法により、ドミノマッチングと線形チャーブ・ダイアグラムとの間の構造的リンクが確立され、生成関数の組合せ的解釈が豊かになる。
• 生成関数は形式的かつ正確であり、任意の指定されたvおよびhに対してマッチング数を体系的に計算可能である。
• このアプローチは、個々の構成に限らないマッチングの列挙を、統一された生成関数フレームワークに一般化している。