P vs. NP: The Biggest Puzzle in Computer Science