[论文解读] Another bijection for 021-avoiding ascent sequences

David Callan|arXiv (Cornell University)|Feb 24, 2014

Coding theory and cryptography参考文献 2被引用 3

一句话总结

本文提出了一种021-避免上升序列与Dyck路径之间的新算法双射，通过基于序列条目插入上下对的方式迭代构建Dyck路径。该双射保持了关键统计量，如上升次数、下降次数和末尾零的个数，为Chen等人基于递归的构造提供了一种具有不同结构特性的直接替代方法。

ABSTRACT

Chen and collaborators give a recursively defined bijection from 021-avoiding ascent sequences to 021-avoiding (aka 132-avoiding) permutations. Here we give an algorithmic bijection from 021-avoiding ascent sequences to Dyck paths. Our bijection does not appear to be closely related to the Chen bijection but, like the Chen bijection, it preserves several interesting statistics.

研究动机与目标

• 提供一种与Chen等人基于递归的方法不同的、关于021-避免上升序列与Dyck路径之间的新算法双射。
• 在双射过程中保持有意义的组合统计量，如上升次数、下降次数和末尾零的个数。
• 建立一种构造性、迭代的方法来逐步生成路径，从序列出发逐级构建Dyck路径。
• 通过基于序列值和路径特征的显式插入规则，阐明上升序列与Dyck路径之间的结构关系。

提出的方法

• 该双射通过从左到右处理021-避免上升序列中的每个条目，逐步构建Dyck路径，起始于路径UD。
• 对于每个条目 $ u_i $，算法根据 $ u_i $ 的值、其与前驱条目的关系以及当前路径结构，应用以下四种情况之一。
• 情况1（$ u_i = 0 $）：在最后一个峰处插入UD，形成更长的末尾上升段。
• 情况2（$ u_i = u_{i-1} \neq 0 $）：通过在路径前和后添加UD来提升路径，增加其高度。
• 情况3（$ u_i = a+1 $，其中 $ a $ 为至今的上升次数）：将UD附加到路径末尾。
• 情况4（$ u_i $ 处于特定范围）：在第 $ j $ 个关键下降步处插入UD，将起始处的上升步前移，以保持路径平衡并确保插入位置正确。

实验结果

研究问题

• RQ1 能否在021-避免上升序列与Dyck路径之间构造一种直接的、非递归的双射？
• RQ2 此类双射下哪些组合统计量被保持，它们与路径特征（如山谷、下降和关键下降步）之间有何关系？
• RQ3 上升序列的结构，特别是条目值和位置，如何决定所生成Dyck路径的形状与特征？
• RQ4 该新双射在结构上是否与Chen等人基于递归的构造不同？若是，其差异体现在哪些方面？

主要发现

• 该双射是算法性且迭代的，从上升序列逐步构建Dyck路径，每个插入规则均基于当前序列值和路径状态。
• 序列中上升次数恰好对应于Dyck路径中山谷（DU对）的数量。
• 序列中下降次数对应于Dyck路径中DUU子串的数量。
• 序列中末尾零的个数对应于Dyck路径中最后一段上升长度减一。
• 序列中初始零的个数对应于Dyck路径中第一段下降的长度。
• Dyck路径的抬升程度对应于紧接在最后一个非零条目之前且与其相等的条目个数。