Provide a theoretical explanation of the P versus NP problem. Define P and NP clearly in terms of deterministic and non-deterministic Turing machines. Discuss the implications of a proof that P equals NP versus P does not equal NP, specifically focusing on the impact on modern cryptography and algorithmic efficiency.