Loop variants for popular problems and popular algorithms to solve problems. This can give us inductive way of looking various problems. And classify problems/a

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.