Hier ist, wie ich es meiner Mutter erklärte, hoffentlich wird es dir dienen :)
Es gibt Probleme, für die es leicht ist, eine Lösung zu finden (P, aber sie werden weniger als "leicht lösbar" bezeichnet), Probleme, für die es leicht ist zu überprüfen, ob eine gegebene Lösung korrekt ist (NP, aber nennen wir sie "leicht überprüfbar"). ) und Probleme, die weder leicht lösbar noch leicht überprüfbar sind. Der Einfachheit halber sei angenommen, dass "Easy" formal definiert ist und dass jedes Problem eine eindeutige Lösung hat.
Nun ist es den Menschen gelungen, mithilfe der Mathematik interessante Beziehungen zwischen diesen beiden Begriffen "leicht lösbar" und "leicht überprüfbar" zu beweisen, so dass einige Probleme nicht leicht lösbar und andere nicht leicht überprüfbar sind. Ein grundlegendes Beispiel für ein solches Ergebnis ist, dass ein Problem, das leicht lösbar ist, auch leicht überprüfbar ist: Finden Sie einfach seine Lösung und vergleichen Sie es mit der angegebenen Lösung.
Erfreulicherweise ist für viele praktische Probleme (wie die Entscheidung, ob es eine mögliche Zuordnung von Studenten zu Professoren und Klassenzimmern gibt, wenn es nur einen geringen Spielraum gibt) nicht bekannt, ob es einen "einfachen" Weg gibt, dies zu lösen, aber Es ist bekannt, wie einfach zu überprüfen ist, ob eine Lösung korrekt ist oder nicht. Die Leute versuchten viel und versagten, versuchten dann zu beweisen, dass es nicht möglich war und versagten auch: Sie wissen es einfach nicht. Einige denken, dass alle Probleme, die leicht überprüfbar sind, leicht lösbar sind (wir sollten nur mehr darüber nachdenken), andere denken, dass wir unsere Zeit nicht damit verschwenden sollten, einfache Lösungen für diese Probleme zu finden.
Was wir herausgefunden haben, ist, wie man Zusammenhänge zwischen Problemen zeigt (zB wenn man weiß, wie man zur Schule geht, wie man zur Bäckerei geht, die direkt davor ist) und leicht überprüfbaren Problemen, die mit allen anderen leicht überprüfbaren Problemen verbunden sind ( NP-vollständig, aber nennen wir sie "Schlüsselprobleme"), so dass, wenn jemand eines Tages zeigt, dass eines der Schlüsselprobleme leicht zu lösen ist, alle Probleme, die leicht überprüfbar sind, auch leicht lösbar sind (dh P = NP). Wenn andererseits jemand zeigt, dass eines der Schlüsselprobleme nicht leicht lösbar ist, kann auch keines der anderen leicht lösbar sein (dh P NP).
Die Frage ist also spannend und in der Praxis relativ wichtig (obwohl einige argumentieren, dass wir uns eher auf alternative Definitionen von "einfach" konzentrieren sollten), und die Leute investieren ziemlich viel Geld und Zeit in die Debatte.