P vs. NP and the Computational Complexity Zoo