Mein Programmier-Projekt: Polynomial 3-SAT Solver

Zeitraum: 2010 bis heute

Status: Online, Veröffentlichung in einer Fachzeitschrift angestrebt

Website: http://www.louis-coder.com/Polynomial_3-SAT_Solver/Polynomial_3-SAT_Solver.htm

Download: http://www.louis-coder.com/Polynomial_3-SAT_Solver/Polynomial_3-SAT_Solver_Math.pdf

Eingesetzte Techniken: Visual C++ 2005, LaTeX (zum Erstellen des zugehörigen Papers), Konversation mit Fachleuten und Fachzeitschriften

 

Mit sogenannten “SAT Solvern” beschäftigt sich hauptsächlich die Theoretische Informatik. Satisfiability (“SAT”) ist ein mathematisch genau definiertes Entscheidungsproblem. Es ist zu entscheiden, ob eine gegebene Instanz einer speziellen Formel (KNF mit Booleschen Variablen) eine Lösung hat oder nicht. Es ist kein Algorithmus bekannt, der diese Entscheidung bewiesenermaßen in handhabbarer Zeit vollziehen kann. Demjenigem, der einen Beweis für oder gegen die Existenz solch eines Algorithmus vorlegen kann, winken hohe Preisgelder und Auszeichnungen. Ein möglicher Beweis für die Existenz des Algorithmus ist, ihn einfach anzugeben. Darum bemühe ich mich in meinem Projekt “Polynomial 3-SAT Solver”.

 

 

Sehen Sie als nächstes: Mein Programmier-Projekt: LanguageReviser