4 ms·
Do I miss something, or does the quick sort example fail to handle the case where the value of "fst" is present more than once in the list?
by phoyd 5y ago
Do I miss something, or does the quick sort example fail to handle the case where the value of "fst" is present more than once in the list?
- rigille 5y agoThanks for pointing that out! It's now fixed.
- NieDzejkob 5y agoHow hard would it be to prove correctness of this quicksort in an example?
- colonwqbang 5y agoIf only there was some way to formally verify that an algorithm is correctly implemented