
TL;DR
This paper presents new boolean circuit constructions for sorting multiple integers efficiently, improving previous results and addressing open questions in the field of circuit complexity for sorting algorithms.
Contribution
It introduces optimized boolean circuits for sorting integers and their prefixes, advancing the theoretical understanding of sorting circuit complexity.
Findings
Constructed circuits with size $O(nm^2)$ and depth $O( ext{log}(n) + m ext{log}(m))$
Developed circuits for sorting based on first $k$ bits with size $O(nmk(1 + ext{log}^*(n) - ext{log}^*(m)))$
Resolved open questions from prior work by Asharov et al.
Abstract
We build boolean circuits of size and depth for sorting integers each of -bits. We build also circuits that sort integers each of -bits according to their first bits that are of size and depth . This improves on the result of Asharov et al. arXiv:2010.09884 and resolves some of their open questions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
