Skip to main content
5 votes

Examples of the value of proofs for algorithms

Here is a natural problem from graph theory where the proof and the algorithm are closely intertwined. In my view, one can discover this algorithm only via thinking about the proof and the algorithm "...
Andras Farago's user avatar
3 votes

Great algorithms, machine learning and no linear algebra

I see that Expectation Maximization (EM) has not been mentioned, and it's certainly "up there" in the top 10: http://www.cs.uvm.edu/~icdm/algorithms/10Algorithms-08.pdf .
Aryeh's user avatar
  • 10.6k
2 votes

Examples of the value of proofs for algorithms

I see several advantages of mastering the proof of correctness and complexity of an algorithm. I list them below and illustrate with a concrete example. I tried to stay in the domain of classical ...
holf's user avatar
  • 2,174
2 votes

Examples of the value of proofs for algorithms

A practical answer: In my career I encountered a few scenarios, some with my direct involvement, where I had to prove that my algorithm performs just as good as the currently best known possible. ...
Avi Tal's user avatar
  • 1,606

Only top scored, non community-wiki answers of a minimum length are eligible