Proofs & Constructive Algorithms

Let's look at the idea of proof in competitive programming. In the contest you are given several problems, and some problems may require you to do brute force, or sometime you might be required to check some more test cases and you would reach the so...