30 Jun
2014
30 Jun
'14
6:43 p.m.
On 14-06-28 11:38 PM, Rafael Almeida wrote:
People are indeed going to expect that the < operator is transitive. Even though the compiler can do nothing about it. I'm not sure how to explain why we need < to be transitive. If you do so, please explain that to me as well. I always took it for granted that such law must be obeyed.
Every sub-quadratic-time comparison-based sorting algorithm assumes that comparisons are transitive.