This scheme not only cuts down the comparison
between elements, but also maximizes parallelization
by classifying data concurrently.
Exclusive property: If element a is less than element b
which belongs to a sorted queue q, any element
greater than b in q cannot be less than a.