Ebook131 pages3 hours
Das Erfüllbarkeitsproblem SAT: Algorithmen und Analysen
By Uwe Schöning and Jacobo Torán
Rating: 0 out of 5 stars
()
About this ebook
SAT (für satisfiability) ist der Name des bekanntesten NP-vollständigen Problems, des Erfüllbarkeitsproblems der Aussagenlogik. Gegeben ist hierbei eine Formel mit Boole’schen Variablen und Verknüpfungen und gesucht wird eine „Lösung“, also eine Wertezuweisung an die Variablen, so dass die Formel wahr wird.
Dieses algorithmische Problem ist Dreh- und Angelpunkt für alle NP-Vollständigkeitsnachweise und wurde schon als „Drosophila“ der Algorithmik bezeichnet. Für SAT werden seit einiger Zeit leistungsstarke Algorithmen entwickelt, die in der Lage sind, Formeln mit hunderten oder tausenden von Variablen zu lösen. Bei schwierigen Formeln mit nur wenigen Lösungen kommt dies der sprichwörtlichen Suche nach der Nadel im Heuhaufen gleich. Wie derartige Algorithmen arbeiten und wie die zugehörigen logischen Kalküle und heuristischen Suchmethoden eingesetzt werden, wird in diesem Buch – die erste deutschsprachige Veröffentlichung zum Thema – eingehend und fundiert erklärt.
Der Titel erscheint als Band 1 der Reihe
Mathematik für Anwendungen
Diese Textbuchreihe soll zeigen, dass Mathematik mehr ist als nur eine Zusammenstellung von Theoremen und Definitionen – tatsächlich eröffnet die Mathematik die Möglichkeit, anwendungsnah Probleme der realen Welt zu lösen. Gedacht als Grundlage für Vorlesungen und Seminare in den Ingenieurwissenschaften und der Informatik, zielt jeder Band darauf ab, ein bestimmtes Thema kompakt und didaktisch durchdacht zu erfassen und dabei den Balanceakt zwischen formal-korrekter und informal-verständlicher Darstellung zu vollbringen. Nicht nur Studierende, sondern auch Praktiker aus der Industrie sowie Lehrer und Schüler in mathematischen Fächern werden diese Reihe zu schätzen wissen.
Mathematics for Applications
This series of textbooks is designed to demonstrate how mathematics is more than just a collection of theorems and definitions – it is a powerful means to solve real-world problems! Intended for use in lecture courses and seminars in any field of engineering or computer science, each volume aims for a compact and didactically sound presentation of its subject matter, balancing the demands of formal correctness with the need for general accessibility. Not only students, but also those working in technical professions, teachers of high school mathematics and even their students should find these books valuable.
Dieses algorithmische Problem ist Dreh- und Angelpunkt für alle NP-Vollständigkeitsnachweise und wurde schon als „Drosophila“ der Algorithmik bezeichnet. Für SAT werden seit einiger Zeit leistungsstarke Algorithmen entwickelt, die in der Lage sind, Formeln mit hunderten oder tausenden von Variablen zu lösen. Bei schwierigen Formeln mit nur wenigen Lösungen kommt dies der sprichwörtlichen Suche nach der Nadel im Heuhaufen gleich. Wie derartige Algorithmen arbeiten und wie die zugehörigen logischen Kalküle und heuristischen Suchmethoden eingesetzt werden, wird in diesem Buch – die erste deutschsprachige Veröffentlichung zum Thema – eingehend und fundiert erklärt.
Der Titel erscheint als Band 1 der Reihe
Mathematik für Anwendungen
Diese Textbuchreihe soll zeigen, dass Mathematik mehr ist als nur eine Zusammenstellung von Theoremen und Definitionen – tatsächlich eröffnet die Mathematik die Möglichkeit, anwendungsnah Probleme der realen Welt zu lösen. Gedacht als Grundlage für Vorlesungen und Seminare in den Ingenieurwissenschaften und der Informatik, zielt jeder Band darauf ab, ein bestimmtes Thema kompakt und didaktisch durchdacht zu erfassen und dabei den Balanceakt zwischen formal-korrekter und informal-verständlicher Darstellung zu vollbringen. Nicht nur Studierende, sondern auch Praktiker aus der Industrie sowie Lehrer und Schüler in mathematischen Fächern werden diese Reihe zu schätzen wissen.
Mathematics for Applications
This series of textbooks is designed to demonstrate how mathematics is more than just a collection of theorems and definitions – it is a powerful means to solve real-world problems! Intended for use in lecture courses and seminars in any field of engineering or computer science, each volume aims for a compact and didactically sound presentation of its subject matter, balancing the demands of formal correctness with the need for general accessibility. Not only students, but also those working in technical professions, teachers of high school mathematics and even their students should find these books valuable.
Read more from Uwe Schöning
Mathe-Toolbox: Mathematische Notationen, Grundbegriffe und Beweismethoden Rating: 0 out of 5 stars0 ratingsKryptologie-Kompendium: Mathematik für Anwendungen Band 2 Rating: 0 out of 5 stars0 ratings
Related to Das Erfüllbarkeitsproblem SAT
Related ebooks
PSTricks: Grafik mit PostScript für TeX und LaTeX Rating: 5 out of 5 stars5/5Maximal nilpotente Teilstrukturen I: Nilradikale und Cartan-Teilalgebren in assoziierten Algebren. Mit 348 Übungsaufgaben Rating: 0 out of 5 stars0 ratingsMaximal nilpotente Teilstrukturen II: Eine Korrespondenz in auflösbaren Algebren; mit 187 Übungsaufgaben Rating: 0 out of 5 stars0 ratingsPerformance- und Risikomessung bei Hedgefonds Rating: 0 out of 5 stars0 ratingsMETAPOST: Grafk für TeX und LaTeX Rating: 0 out of 5 stars0 ratingsPSTricks: Grafik mit PostScript für TeX und LaTeX Rating: 0 out of 5 stars0 ratingsEinführung in LaTeX: unter Berücksichtigung von pdfLaTeX, XLaTeX und LuaLaTeX Rating: 4 out of 5 stars4/5Experimente mit Cypress-PSoC-Mikrocontrollern: Implementierung analoger Filter Rating: 0 out of 5 stars0 ratingsKorpuslinguistik: Eine Einführung Rating: 0 out of 5 stars0 ratingsEKG-Monitoring: Signalaufbereitung, Kompression und Codierung von EKG-Signalen Rating: 0 out of 5 stars0 ratingsEinführung in LaTeX Rating: 0 out of 5 stars0 ratingsGelingensbedingungen pädagogischer Integrationsförderung: Eine Längsschnittstudie zur Arbeit mit geflüchtetenHeranwachsenden Rating: 0 out of 5 stars0 ratingsStatistik für Medizinerinnen und Mediziner Rating: 0 out of 5 stars0 ratingsWissenschaftlicher Umgang mit den kleinen Fallzahlen in der Spitzensportforschung Rating: 0 out of 5 stars0 ratingsEndvertauschbare Anordnungen und die Struktur der Einheitengruppen modularer Gruppenalgebren; mit 167 Übungsaufgaben Rating: 0 out of 5 stars0 ratingsTerrain Rendering mit Geometrie Clipmaps für Spiele Rating: 0 out of 5 stars0 ratingsDas Akutmaß und die Kurzskala zur Erfassung von Erholung und Beanspruchung im Sport: Manual Rating: 0 out of 5 stars0 ratingsPython-Programmierung für Germanist:innen: Ein Lehr- und Arbeitsbuch Rating: 0 out of 5 stars0 ratingsText Mining und dessen Implementierung Rating: 0 out of 5 stars0 ratingsEin Orientierungssystem für Menschen mit Sehbehinderung auf Java ME: Konzeption und Implementierung Rating: 0 out of 5 stars0 ratingsZeichensetzung ab 6. Klasse und für Erwachsene Rating: 5 out of 5 stars5/5Algorithmen zum Scheduling von Schleusungsvorgängen: Verkehrsoptimierung am Beispiel des Nord-Ostsee-Kanals Rating: 0 out of 5 stars0 ratingsSOA in der Praxis: System-Design für verteilte Geschäftsprozesse Rating: 4 out of 5 stars4/5Der attributive Genitiv und seine Alternativformen in der Familiensprache Rating: 0 out of 5 stars0 ratingsQualitative Comparative Analysis (QCA) und Fuzzy Sets: Ein Lehrbuch für Anwender und jene, die es werden wollen Rating: 0 out of 5 stars0 ratingsOptimierung der Leistungsaufnahme eines solarbetriebenen Ad-Hoc-Netzwerk-Knotens Rating: 0 out of 5 stars0 ratings
Mathematics For You
Lexikon der Symbole und Archetypen für die Traumdeutung Rating: 5 out of 5 stars5/5Zahlentheorie Rating: 0 out of 5 stars0 ratingsMein Übungsheft Rechnen - 1. Klasse Rating: 0 out of 5 stars0 ratingsWahrscheinlichkeitsrechnung und Statistik Rating: 0 out of 5 stars0 ratingsMein Übungsheft Rechnen - 2. Klasse: Mathematik: Aufgaben mit Lösungen im Zahlenraum bis 100 - wiederholen, trainieren, lernen Rating: 0 out of 5 stars0 ratingsQuer durch die 1. Klasse, Mathe und Deutsch - Übungsblock Rating: 0 out of 5 stars0 ratingsMathe trainieren 3. Klasse Rating: 0 out of 5 stars0 ratingsMathematik verstehen Band 2: Grundlagen für das Studium naturwissenschaftlicher und technischer Fächer Rating: 0 out of 5 stars0 ratingsVom 1x1 zum Glück: Warum wir Mathematik für das Leben brauchen Rating: 0 out of 5 stars0 ratingsDie Schönheit der Zahlen: Die Ordnung der Welt durch den menschlichen Geist Rating: 0 out of 5 stars0 ratingsHandbuch der fortgeschrittenen Mathematik Rating: 0 out of 5 stars0 ratingsMein Übungsheft Rechnen - 3. Klasse Rating: 0 out of 5 stars0 ratingsÜbungen zur Kombinatorik Rating: 0 out of 5 stars0 ratingsRechnen und Textaufgaben - Gymnasium 6. Klasse Rating: 0 out of 5 stars0 ratings...Als die Noten laufen lernten...Band 2: Kabarett-Operette-Revue-Film-Exil. Unterhaltungsmusik bis 1945 Rating: 0 out of 5 stars0 ratingsRechnen und Textaufgaben - Gymnasium 5. Klasse Rating: 0 out of 5 stars0 ratingsAufgabensammlung für die Oberstufe zur Analysis Rating: 0 out of 5 stars0 ratingsMein Übungsheft Rechnen - 4. Klasse Rating: 0 out of 5 stars0 ratingsFit zum Übertritt - Mathe 4. Klasse Rating: 0 out of 5 stars0 ratingsAlgebra Rating: 0 out of 5 stars0 ratingsEinmaleins Mathematik 2./3. Klasse Rating: 5 out of 5 stars5/5Textaufgaben 2. Klasse: Sachaufgaben - Übungsprogramm mit Lösungen für die 2. Klasse Rating: 0 out of 5 stars0 ratingsAnglizismen und andere "Fremdwords" deutsch erklärt: Über 1000 aktuelle Begriffe Rating: 0 out of 5 stars0 ratingsDer Anfang der Unendlichkeit: Erklärungen, die die Welt verwandeln Rating: 0 out of 5 stars0 ratingsÜber das Wahre in der Mathematik und das Reale in der Physik: Sachbuch Rating: 0 out of 5 stars0 ratingsMathe trainieren 4. Klasse Rating: 0 out of 5 stars0 ratingsQuer durch die 3. Klasse, Mathe und Deutsch - Übungsblock Rating: 0 out of 5 stars0 ratingsLeere und Form Rating: 0 out of 5 stars0 ratingsKritik an Black Swan Rating: 0 out of 5 stars0 ratings
Reviews for Das Erfüllbarkeitsproblem SAT
Rating: 0 out of 5 stars
0 ratings
0 ratings0 reviews
Book preview
Das Erfüllbarkeitsproblem SAT - Uwe Schöning
Enjoying the preview?
Page 1 of 1