Leicht zu prüfen, schwer zu lösen Stellen Sie sich vor, Sie lösen ein extrem schweres Sudoku. Sie sitzen Stunden daran. Das ist mühsam. Aber wenn Ihnen jemand die fertige Lösung gibt, können Sie in Sekunden überfliegen und sagen: "Ja, das stimmt. In keiner Reihe ist eine Zahl doppelt." Hier liegt der Kern des Problems: Es gibt Aufgaben, die ein Computer...