[论文解读] Cobweb posets - Recent Results

A. K. Kwaśniewski, Maciej Dziemiańczuk|arXiv (Cornell University)|Jan 25, 2008

Advanced Combinatorial Mathematics参考文献 30被引用 20

一句话总结

本文研究了蛛网偏序集（cobweb posets）——由容许整数序列定义的有向无环图（DAG），其推广了斐波那契树，并支持F-二项式系数的联合组合解释。主要贡献是刻画了从这些偏序集导出的离散超盒的铺砌条件，证明了自然数、斐波那契数列和高斯数列等序列存在铺砌，而其他序列则不存在，从而解决了该领域长期存在的铺砌问题。

ABSTRACT

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 ([6,7] and references therein to the first author).[7,6,8] include natural enquires to be reported on here. The purpose of this presentation is to report on the progress in solving computational problems which are quite easily formulated for the new class of directed acyclic graphs interpreted as Hasse diagrams. The problems posed there and not yet all solved completely are of crucial importance for the vast class of new partially ordered sets with joint combinatorial interpretation. These so called cobweb posets - are relatives of Fibonacci tree and are labeled by specific number sequences - natural numbers sequence and Fibonacci sequence included. The cobweb posets might be identified with a chain of di-bicliques i.e. by definition - a chain of complete bipartite one direction digraphs [6]. Any chain of relations is therefore obtainable from the cobweb poset chain of complete relations via deleting arcs in di-bicliques of the complete relations chain. In particular we response to one of those problems [1].

研究动机与目标

• 解决蛛网铺砌问题：确定何种条件下，F-盒（离散超盒）可被铺砌为形如$V_m$的子盒。
• 刻画允许铺砌$m$维$F$-盒的容许序列，扩展$F$-二项式系数的组合解释。
• 提供有效刻画与算法，以识别允许此类铺砌的序列，特别关注GCD-同态序列。
• 建立蛛网偏序集、惠特尼数与特殊数列（包括斐波那契数列和高斯数列）之间的联系。
• 将铺砌问题重新表述为在特殊构造图中寻找团的问题，从而支持算法化方法。

提出的方法

• 将蛛网偏序集定义为有向双完全二分图（完全二分有向图）的链，其中每一层$\Phi_n$对应于一个容许序列$F = \langle k_F \rangle_{k=0}^n$中的项。
• 将$F$-二项式系数${{n}\choose{k}}_F$表示为将$m$维$F$-盒$V_{k+1,n}$划分为$\kappa = |V_m|$个两两不相交且等势的子盒（大小为$V_m$）的方式数。
• 引入$V_{m,n}$的$\kappa$-划分概念作为铺砌，要求所有子盒均为$V_m$形式，且互不相交且覆盖完整。
• 使用离散超盒语言建模铺砌问题，其中$V_{m,n}$是边长由序列$F$给出的$m$维盒子，铺砌对应于自相似分解。
• 将铺砌问题重新表述为在编码有效子盒配置的图中寻找团的问题，从而支持算法化搜索铺砌方案。
• 应用GCD-同态序列的概念，识别支持铺砌的$F$-序列的结构特性，通过“主蛛网容许二叉树”取得进展。

实验结果

研究问题

• RQ1 在何种条件下，$m$维$F$-盒$V_{m,n}$可被铺砌为形如$V_m$的子盒？
• RQ2 哪些容许序列$F$允许所有$F$-盒的铺砌，且能否被有效刻画或算法生成？
• RQ3 容许性条件本身是否足以保证铺砌，还是需要额外的结构约束？
• RQ4 GCD-同态序列与铺砌存在性之间有何关系，能否用于预测或构造铺砌？
• RQ5 能否将铺砌问题约化为已知的图论问题，如在特殊设计图中寻找团？

主要发现

• 已证明自然数列$F = \langle n \rangle_{n \geq 0}$存在铺砌，通过离散超盒划分与自相似分解实现。
• 斐波那契数列$F = \langle F_n \rangle_{n \geq 0}$也存在铺砌，扩展了斐波那契系数的组合解释。
• 高斯数列$F = \langle n_q \rangle_{n \geq 0}$的铺砌已确认，证明了该框架的广泛应用性。
• 并非所有容许序列都允许铺砌——已构造反例，表明容许性是必要条件但非充分条件。
• 铺砌问题被重新表述为在特殊构造图中寻找团的问题，从而为识别铺砌提供了潜在的算法解法。
• 在解决GCD-同态问题方面取得进展，其中“主蛛网容许二叉树”为识别GCD-同态序列提供了工具。