The VLSI Optimality of the AKS Sorting Network

Abstract : Ajtai, Komlos, and Szemeredi recently proposed a sorting network of O(nlogn) comparators and O(logn) depth. Their construction is of great theoretical interest, for it shows that O(nlogn) comparisons suffice to sort n elements, even under the constraint that comparisons be nonadaptively executed in O(logn) parallel stages. At present, the AKS network appears not suitable for practical implementations, due to the large value of the constraints; however, improvements are conceivable that could make the network more attractive for real-world applications, It is therefore natural to ask what is the performance of the AKS network in the synchronous VLSI model of computation which has been proposed to capture the essential features of planar very large scale integration as a computing environment. In this model it is known that any chip capable of sorting n words of length q = (1+ alpha)logn. with alpha 0, must satisfy a certain relationship where A is the chip area, and T is the computation time.

[1]  G. Bilardi,et al.  A Minimum Area VLSI Architecture for O(logn) Time Sorting , 1983 .

[2]  Sartaj Sahni,et al.  Bitonic Sort on a Mesh-Connected Parallel Computer , 1979, IEEE Transactions on Computers.

[3]  H. T. Kung,et al.  Sorting on a mesh-connected parallel computer , 1977, CACM.

[4]  Kenneth E. Batcher,et al.  Sorting networks and their applications , 1968, AFIPS Spring Joint Computing Conference.

[5]  Thompson The VLSI Complexity of Sorting , 1983, IEEE Transactions on Computers.

[6]  Franco P. Preparata,et al.  New Parallel-Sorting Schemes , 1978, IEEE Transactions on Computers.

[7]  Frank Thomson Leighton,et al.  Tight Bounds on the Complexity of Parallel Sorting , 1985, IEEE Trans. Computers.

[8]  János Komlós,et al.  An 0(n log n) sorting network , 1983, STOC.

[9]  C. Thomborson,et al.  A Complexity Theory for VLSI , 1980 .