We establish new depth upper bounds for sorting networks on 27 and 28 channels, improving the previous best bound of 14 to 13. Our 28-channel network is constructed with reflectional symmetry by combining high-quality prefixes of 16- and 12-channel networks, extending them greedily one comparator at a time, and using a SAT solver to complete the remaining layers.
翻译:我们针对27和28通道的排序网络建立了新的深度上界,将先前的最佳上界从14改进至13。我们通过结合16通道和12通道网络的高质量前缀,以反射对称方式构建了28通道网络,每次贪婪地扩展一个比较器,并利用SAT求解器完成剩余层。