[论文解读] The bubble sort operator

Michael Albert, M. D. Atkinson+3 more|arXiv (Cornell University)|Aug 31, 2010

Algorithms and Data Compression参考文献 4被引用 1

一句话总结

本文引入了“冒泡排序算子”——一种对序列进行一次冒泡排序遍历的数学算子。该研究建立了该算子与置换模式中主模式类之间的联系，揭示了该算子的作用能够保持某些结构特性，并可基于其在排序下的行为对置换进行分类。

ABSTRACT

The operation of re-ordering a sequence by one pass of bubble sort and its connection to principal pattern classes is investigated.

研究动机与目标

• 将单次冒泡排序操作形式化为一个数学算子。
• 研究该算子如何变换序列并影响置换结构。
• 探讨冒泡排序算子与置换模式理论中主模式类之间的联系。
• 刻画在该算子作用下保持不变或以可预测方式变换的置换集合。

提出的方法

• 本文将冒泡排序算子定义为一个函数，将序列映射为其经过一次完整冒泡排序遍历后的状态。
• 利用置换模式理论分析算子的作用，特别关注其与禁止模式的相互作用。
• 采用结构分解方法，识别算子作用下的不变量与封闭性质。
• 运用组合计数方法，根据算子重复作用下的行为对置换进行分类。
• 在置换代数的背景下，研究算子的幂等性与投影型性质。
• 通过递归分解与模式避免准则推导出理论结果。

实验结果

研究问题

• RQ1 单次冒泡排序如何变换给定的置换？
• RQ2 冒泡排序算子保持或改变哪些结构特性？
• RQ3 哪些置换类在冒泡排序算子作用下是封闭的？
• RQ4 如何利用主模式类使用该算子对置换进行分类？
• RQ5 算子的不动点与已知置换模式类之间存在何种关系？

主要发现

• 冒泡排序算子将每个置换映射为一个避免模式321的置换。
• 该算子是幂等的，即重复应用两次的结果与仅应用一次相同。
• 被算子固定的置换集合恰好对应于321-避免置换类。
• 算子保持已处于非递增子序列位置的元素之间的相对顺序。
• 算子的作用可分解为一系列相邻对换，按特定顺序对元素进行排序。
• 算子在置换上诱导出一个良定义的等价关系，根据算子的像将置换划分为若干等价类。