[论文解读] On Cobweb posets tiling problem

Maciej Dziemiańczuk|ArXiv.org|Sep 26, 2007

Advanced Combinatorial Mathematics参考文献 3被引用 12

一句话总结

本文研究了蛛网偏序集（cobweb posets）的铺砌问题——即通过确定在何种条件下这些偏序集的有限层可以被划分为形式为 $\sigma P_m$ 的最大不相交块。作者证明了自然数列和斐波那契数列可通过递归划分算法实现铺砌，但表明并非所有蛛网可适配序列都允许铺砌，且通过反例表明两个铺砌可适配序列的乘积可能不再具有铺砌可适配性。

ABSTRACT

Kwasniewski's cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation was derived in the source papers and it entailes natural enquieres already formulated therein. In our note we response to one of those problems. This is a tiling problem. Our observations on tiling problem include proofs of tiling's existence for some cobweb-admissible sequences. We show also that not all cobwebs admit tiling as defined below.

研究动机与目标

• 为解决Kwaśniewski提出的蛛网偏序集铺砌问题，特别是有限层是否可被划分为最大不相交块 $\sigma P_m$。
• 确定识别哪些蛛网可适配序列允许此类铺砌的有效刻画或算法。
• 研究铺砌序列在逐点乘积下的封闭性，特别是两个铺砌序列的乘积是否仍保持铺砌可适配性。
• 通过递归划分方法，为自然数列和斐波那契数列等特定序列提供铺砌存在的构造性证明。
• 通过反例表明，并非所有蛛网可适配序列都是铺砌可适配的，从而挑战铺砌在乘积运算下的封闭性。

提出的方法

• 提出一种递归铺砌算法（cprta1），通过从顶层 $\Phi_n$ 递归分离出 $m$-层块 $P_m$，将层 $\langle\Phi_k \to \Phi_n\rangle$ 进行划分。
• 利用自然数列的性质 $n_F = m_F + k_F$，将 $\Phi_n$ 上的顶点划分为两个不相交子集以分配块。
• 通过层置换 ($\sigma$) 重新定位层，使子层 $\langle\Phi_k \to \Phi_{n-1}\rangle$ 可递归地用更小的块 $\sigma P_{m-1}$ 进行铺砌。
• 以蛛网可适配序列（即满足 $\binom{n}{k}_F \in \mathbb{N}_0$）为铺砌可行性的基础。
• 分析周期序列 $B_{c,M}$（周期为 $M$，在 $M$ 的倍数处取值为 $c$），证明当层的层级顶点数可被块层级整除时，铺砌是可能的。
• 使用序列的逐点乘积（如 $A \cdot B$）生成新序列，并通过分析每层的顶点数结构来测试铺砌的可行性。

实验结果

研究问题

• RQ1 在何种条件下，有限蛛网子偏序集层 $\langle\Phi_k \to \Phi_n\rangle$ 可被划分为形式为 $\sigma P_m$ 的最大不相交块？
• RQ2 是否存在一种有效算法，可为蛛网可适配序列构造此类铺砌？
• RQ3 两个蛛网铺砌序列的逐点乘积是否仍为铺砌可适配序列？
• RQ4 是否存在蛛网可适配序列允许使用 $\sigma P_m$ 块进行铺砌的必要且充分条件？
• RQ5 能否通过周期性或可除性等性质，从组合或代数角度刻画铺砌性质？

主要发现

• 通过 cprta1 算法，自然数列 $F_n = n$ 可实现铺砌，该算法通过顶点数分解递归地划分层。
• 斐波那契数列也允许铺砌，因其结构特性（如泽肯多夫表示）支持块划分，尽管此处未详细证明。
• 构造了一个反例：两个铺砌可适配序列 $A = 1,2,1,2,\ldots$ 和 $B = 1,1,3,1,1,3,\ldots$ 的乘积得到 $F = 1,2,3,2,1,6,1,\ldots$，但无法对层 $\langle\Phi_5 \to \Phi_7\rangle$ 实现铺砌。
• 层 $\langle\Phi_5 \to \Phi_7\rangle$ 在 $\Phi_5, \Phi_6, \Phi_7$ 层的顶点数为 $1,6,1$，无法用 $\sigma P_3$ 块进行铺砌，因层级大小不匹配。
• 两个铺砌序列的逐点乘积不一定是铺砌序列，反例已证明此点。
• 周期序列 $B_{c,M}$（在 $M$ 的倍数处取值 $c$）在层的层级大小可被对应块大小整除时为铺砌可适配序列，可通过 $c$-重复制块实现铺砌。