3 ms·

Not sure what you mean by your comment. You can use loop invariants when solving problems that call for an iterative solution.

• jonsen 8y ago
  “Can you write code to reverse a linked list in place?” “Sure, I’ll just implemment a loop according to this invariant ... “ Would be nice to have the invariant ready then.
  • thfuran 8y ago
    Why not just keep the implementation of the solution to any question you might be asked in your pocket?
    • jonsen 8y ago
      A given pocket can contain many more invariants than implementations.
• raincom 8y ago
  Loop variants for popular problems and popular algorithms to solve problems. This can give us inductive way of looking various problems. And classify problems/algos based on invariants.