Proof of the complexity of the algorithm
Changed name
Changed name of map