Subato

Resource Files

LogicSolver: Theorie

Gegeben sei eine Formel mit N Variablen und K Klauseln. Schätzen Sie die Worst-Case-Komplexität in Abhängigkeit von N und K ab, für...

  1. das Greedy-Verfahren
  2. das Backtracking-Verfahren.

Begründen Sie jeweils ausführlich.



You are not logged in and therefore you cannot submit a solution.