Sorting nine inputs requires twenty-five comparisons

Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp

Research output: Contribution to journalArticlepeer-review

14 Scopus citations

Abstract

This paper describes a computer-assisted non-existence proof of 9-input sorting networks consisting of 24 comparators, hence showing that the 25-comparator sorting network found by Floyd in 1964 is optimal. As a corollary, the 29-comparator network found by Waksman in 1969 is optimal when sorting 10 inputs. This closes the two smallest open instances of the optimal-size sorting network problem, which have been open since the results of Floyd and Knuth from 1966 proving optimality for sorting networks of up to 8 inputs.

Original languageEnglish
Pages (from-to)551-563
Number of pages13
JournalJournal of Computer and System Sciences
Volume82
Issue number3
DOIs
StatePublished - 1 Jan 2016

Keywords

  • Computer-assisted proofs
  • SAT solving
  • Sorting networks
  • Symmetry breaking

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Networks and Communications
  • Computational Theory and Mathematics
  • Applied Mathematics

Fingerprint

Dive into the research topics of 'Sorting nine inputs requires twenty-five comparisons'. Together they form a unique fingerprint.

Cite this