论文 A Lower Bound on the Size of Shellsort Sorting Networks. Robert Cypher, 1989 阅读笔记。这篇文章证明了基于单调递减间隔序列的希尔排序的时间复杂度均为 Ω(nlog2n/loglogn)。
一些符号
若不特殊说明,下文中的所有集合都是自然数集 N 的子集。
一个集合 T 的补集记为:T=N−T,它的第 i 小元素记为 Ti。
对于任意实数 r,定义这两个集合:Low(T,r)={v∈T∣v<r},High(T,r)={v∈T∣v≥r}。
对于任意正整数 x 与整数 y,定义这样一个集合:Slice(T,x,y)={v∈T∣v≡y(modx)}。
(后面先鸽子)