Backtracking vs. vollständige Enumeration
Erklären Sie - z. B. anhand des Beispiels der logischen Ausdrücke (SAT-Problem) - wie Backtracking die Anzahl der zu evaluierenden vollständigen Belegungen reduziert.
MTAwMDAw:PkEU2le1OLicjD34cCI8nWb+JfFMIE0CskBhB72z83M=:jzjut4aEfYO2UPoz:38RHo2WAGI+f/WGyBMCV++dIC1zzGSWtNEm+azGWDWYf/AE8ldfnWjDS0T/gnzhu2LSzbVVm5za3UW3EmrjJNXw7Jje7OL4ipueWrwIKw/GEiW+Fuhsu3SqW3d0AUAPFBUJHDbdu7Ug2P+6HLZeHfeg=
Komplexität von Backtracking-Algorithmen
Warum verändern Backtracking-Algorithmen die theoretische Komplexitätsklasse des Problems nicht?
MTAwMDAw:/r/PZ1Z5wcor8H+AytL/wDcgie+s1orsHCN5xsjGv/w=:ActJ6RTqbNSWz0Zl:SffGdh/P94FtaWOH+Ga0Gcoxf8G8eIKaxCcv6lSH56/CEA99lTz7VL761LXmTbFq9mgVqNTH3SKeUMIfZeN/pdxC+qy7H6MIxTMMndIHu4Qa/z2dOQiOHEpEzBhDoanmkKcvfOEbWhmnfYSkX1fSLoN2Qeh7otQ/Pmw=