@Crest Das Halteproblem ist nochmal deutlich schwerer, denn es ist ja nichtmal entscheidbar. Und zwischen "nicht entscheidbar" und np-vollständig ist jede Menge Platz. Schach (nxn-Brett) ist beispiel [weiter…]

klar, besser wäre wahr, doch wir liegen nie falsch, sondern sämtlich gut. [weiter…]