algoithm

Each problem should have algorithm, proof of correctness of algorithm(using formal proof such as induction), and running time (using masters theorem).