5.3-6

[Dayal-Kumar]

I suggest a better solution. Define a new comparator for P which calls to RANDOM(0,1) in case both arguments are equal to break the tie. Rest is same as PERMUTE_BY_SORTING.