P and NP Reduction in Computer Science