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.