Hallo Leute,
so diesmal was ganz anderes – es geht ums P vs. NP Problem – es ist bisher noch nicht gelungen P=NP zu beweisen.
Allerdings gibt es eine altbekannte Vorgehensweise Unterprobleme davon zu lösen.
So auch das sog. SAT Problem, in welchem viele Wahrheitswerte aneinander gereiht sind und diese ergeben dann entweder SAT oder UNSAT als Ergebnis.
SAT ist NP Schwer, dass heißt nicht einfach so für alle Instanzen gleich lösbar ohne P=NP zu haben. Denn alle bekannten SAT Solver laufen exponentiell.
So und nun gibts da aber einen Ansatz den ich in den letzten Monaten sehr erforscht habe -> es handelt sich um das Zerlegen des SAT Problems in Teile.
Diese Teile werden einzeln gelöst und dann nach dem lösen sinnvoll zusammengefasst.
Dies ist leider nicht so einfach, wie es klingt aber doch bis zu einem gewissen Grad machbar.
Dazu wird das Hauptproblem in entkoppelte Einzelteile (Komponenten) aufgeteilt -> diese werden dann intelligent verbunden (gemerged).
Alles weiter möchte ich noch nicht verraten – ich hoffe das ich bald durch bin und dann evtl. auch SHA256 SAT Abbilder damit lösen kann – ihr merkt es wird spannend 🙂
Danke und Gruß!
Robert