The quest for optimal sorting networks: Efficient generation of two-layer prefixes

Michael Codish, Luis Cruz-Filipe, Peter Schneider-Kamp

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

11 Scopus citations

Abstract

Previous work identifying depth-optimal n-channel sorting networks for 9 ≥ n ≥ 16 is based on exploiting symmetries of the first two layers. However, the naive generate-and-test approach typically applied does not scale. This paper revisits the problem of generating two-layer prefixes modulo symmetries. An improved notion of symmetry is provided and a novel technique based on regular languages and graph isomorphism is shown to generate the set of non-symmetric representations. An empirical evaluation demonstrates that the new method outperforms the generate-and-test approach by orders of magnitude and easily scales until n = 40.

Original languageEnglish
Title of host publicationProceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014
EditorsFranz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages359-366
Number of pages8
ISBN (Electronic)9781479984480
DOIs
StatePublished - 5 Feb 2015
Event16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014 - Timisoara, Romania
Duration: 22 Sep 201425 Sep 2014

Publication series

NameProceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014

Conference

Conference16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014
Country/TerritoryRomania
CityTimisoara
Period22/09/1425/09/14

ASJC Scopus subject areas

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

Fingerprint

Dive into the research topics of 'The quest for optimal sorting networks: Efficient generation of two-layer prefixes'. Together they form a unique fingerprint.

Cite this