The P vs NP problem is a fundamental question in computer science, unproven for decades, with immense consequences. If ...