3 Jun
2009
3 Jun
'09
5:13 p.m.
On Wed, Jun 3, 2009 at 9:54 AM, Steven Ross <spreadsort@gmail.com> wrote:
On Wed, Jun 3, 2009 at 7:56 AM, Jonathan Franklin < franklin.jonathan@gmail.com> wrote:
On Wed, Jun 3, 2009 at 8:37 AM, Steven Ross <spreadsort@gmail.com> wrote:
Is insertion_sort to std::sort such a big complicated change that it can't be accepted?
Do you have a proof for it's correctness?
Do I have a proof for std::sort's correctness? Are you joking?
You misunderstood, so let me rephrase: Do you have a formal proof that your modification to the algorithm is correct? And no, I'm not joking. It's a fair question. It's not a big deal if you don't have one, but I would encourage you to write one. Jon