equal
deleted
inserted
replaced
32 "px" denotes the parent starting the "exclusive" part, and |
32 "px" denotes the parent starting the "exclusive" part, and |
33 "pt" denotes the parent starting the "Tail" part. |
33 "pt" denotes the parent starting the "Tail" part. |
34 |
34 |
35 "px" is chosen as the parent with the lowest rank with the goal of |
35 "px" is chosen as the parent with the lowest rank with the goal of |
36 minimising the size of the exclusive part and maximise the size of the |
36 minimising the size of the exclusive part and maximise the size of the |
37 tail part, hopefully reducing the overall complexity of the stable sort. |
37 tail part, hopefully reducing the overall complexity of the stable-tail |
|
38 sort. |
38 |
39 |
39 In case of equal ranks, the stable node ID is used as a tie-breaker. |
40 In case of equal ranks, the stable node ID is used as a tie-breaker. |
40 """ |
41 """ |
41 r1, r2 = cl.fast_rank(p1), cl.fast_rank(p2) |
42 r1, r2 = cl.fast_rank(p1), cl.fast_rank(p2) |
42 if r1 < r2: |
43 if r1 < r2: |