On the Computational Complexity of Optimal Sorting Network Verification

Download or read book On the Computational Complexity of Optimal Sorting Network Verification written by Ian Parberry and published by . This book was released on 1990 with total page 34 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "A sorting network is a combinational circuit for sorting, constructed from comparison-swap units. The depth of such a circuit is a measure of its running time. It is reasonable to hypothesize that only the fastest (that is, the shallowest) networks are likely to be fabricated. It is shown that the problem of verifying that a given sorting network actually sorts is Co-NP complete even for sorting networks of depth only 4[log n] + 0(1) greater than optimal. This is shallower than previous depth bounds by a factor of two."