Toward a lower bound for sorting networks
From MaRDI portal
Recommendations
Cited in
(12)- Formally proving size optimality of sorting networks
- Lower bounds for merging networks
- Formalizing size-optimal sorting networks: extracting a certified proof checker
- New Bounds on Optimal Sorting Networks
- Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
- The Complexity of Sorting with Networks of Stacks and Queues
- On the analysis of sorting networks from the viewpoint of circuit theory
- A super-logarithmic lower bound for hypercubic sorting networks
- Improved sorting networks with O(log N) depth
- Constructing sorting networks from k-sorters
- Sorting nine inputs requires twenty-five comparisons
- Bounds on the size of test sets for sorting and related networks
This page was built for publication: Toward a lower bound for sorting networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4999428)