News for hackers. Stuff that matters.

A comment on Ask HN: How to Think Systematically as a Programmer?. Parent comment

Re:Ask HN: How to Think Systematically as a Programmer? by svrma on Tuesday October 13, 2020 @03:06PM (#24769008)
Thanks for this! This is something I've been practicing of late. I realized that have a lot of problem in arguing the correctness of greedy algorithms. Do you have any recommendation for a collection of proof techniques useful for greedy algorithms?
[ Parent | on HN ]
Re:Ask HN: How to Think Systematically as a Programmer? by drallison on Thursday October 22, 2020 @01:36AM (#24855203)
Kinda depends whether by "correctness" you mean "proof". I always found Social Processes and Proofs of Theorems and Programs by Richard A. De Millo, Richard J. Lipton, and Alan J. Perlis inspirational.

I do not know of any collection of proof techniques that would be uniformly useful for greedy algorithms. If you discover such a collection, please share it with me.

[ Parent | on HN ]