[论文解读] 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.

研究动机与目标

• 确定在 2×k 网格中恰好有 v 对垂直对齐和 h 对水平对齐的配置数量，这些对形成多米诺骨牌。
• 对 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 值下的匹配计数。
• 该方法将匹配枚举从单一配置推广到统一的生成函数框架。