Erklären Sie das P-vs-NP-Problem in der theoretischen Informatik. Definieren Sie die Klassen P und NP präzise und diskutieren Sie die theoretischen Konsequenzen, falls P gleich NP oder ungleich NP bewiesen würde. Beziehen Sie sich dabei auf das Konzept der Polynomiellen Zeitreduktion.