Backtracking-with-backjumping

Autor/Urheber:

Die Autorenschaft wurde nicht in einer maschinell lesbaren Form angegeben. Es wird Tizio als Autor angenommen (basierend auf den Rechteinhaber-Angaben).

Shortlink:

https://dewiki.de/b/2108a3

Quelle:

Wikimedia Commons

Größe:

180 x 162 Pixel (5462 Bytes)

Beschreibung:

This image shows a possible backjump, where a node (the grey one) is skipped. Regular backtracking instead proceed as in Image:Backtracking-no-backjumping.svg

Lizenz:

Public domain

Credit:

Die Autorenschaft wurde nicht in einer maschinell lesbaren Form angegeben. Es wird angenommen, dass es sich um ein eigenes Werk handelt (basierend auf den Rechteinhaber-Angaben).

Bild teilen:

         

Weitere Informationen zur Lizenz des Bildes finden Sie hier. Letzte Aktualisierung: Mon, 15 Apr 2024 19:31:09 GMT

Relevante Bilder

Relevante Artikel

Das Erfüllbarkeitsproblem der Aussagenlogik ist ein Entscheidungsproblem der theoretischen Informatik. Es beschäftigt sich mit der Frage, ob eine gegebene aussagenlogische Formel erfüllbar ist. Mit anderen Worten: Existiert eine Belegung der Variablen von mit den Werten wahr oder falsch, sodass zu wahr ausgewertet wird? .. weiterlesen