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。所构建的28通道网络具有反射对称性,其通过结合16通道与12通道网络的高质量前缀、逐比较器贪婪扩展、并利用SAT求解器完成剩余层的方式构造而成。