A formal approach to analyzing programs — The big-O notation has become an essential part of coding interviews. Come up with a solution, code it, and then reason about the Big-O complexity. These interviews have led to the perception that Big-O is a measure of the exact runtime of a program, straying from the original definition. In…