A computer assisted optimal depth lower bound for sorting networks with nine inputs

A computer assisted optimal depth lower bound for sorting networks with nine inputs

It is demonstrated that there is no nine-input sorting network of depth six. The proof was obtained by executing on a supercomputer a branch-and-bound algorithm which constructs and tests a critical subset of all possible candidates. Such proofs can be classified as experimental science, rather than...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Parberry, I.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Computer networks
Computer systems organization > Architectures > Distributed architectures > Grid computing
Computer systems organization > Architectures > Parallel architectures
Computer systems organization > Architectures > Parallel architectures > Cellular architectures
Computer systems organization > Architectures > Parallel architectures > Multicore architectures
Computer systems organization > Architectures > Serial architectures > Superscalar architectures
Computing methodologies > Modeling and simulation > Simulation types and techniques > Massively parallel and high-performance simulations
Hardware > Emerging technologies > Quantum technologies > Quantum dots and cellular automata
Software and its engineering > Software organization and properties > Software system structures > Distributed systems organizing principles > Grid computing
Sorting
Theory of computation > Design and analysis of algorithms > Data structures design and analysis > Sorting and searching
Theory of computation > Models of computation
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:It is demonstrated that there is no nine-input sorting network of depth six. The proof was obtained by executing on a supercomputer a branch-and-bound algorithm which constructs and tests a critical subset of all possible candidates. Such proofs can be classified as experimental science, rather than mathematics. In keeping with the paradigms of experimental science, a high-level description of the experiment and analysis of the result are given.
DOI:10.1145/76263.76280