eBook131 Seiten3 Stunden
Das Erfüllbarkeitsproblem SAT: Algorithmen und Analysen
Von Uwe Schöning und Jacobo Torán
Bewertung: 0 von 5 Sternen
()
Über dieses E-Book
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.
Mehr von Uwe Schöning lesen
Mathe-Toolbox: Mathematische Notationen, Grundbegriffe und Beweismethoden Bewertung: 0 von 5 Sternen0 BewertungenKryptologie-Kompendium: Mathematik für Anwendungen Band 2 Bewertung: 0 von 5 Sternen0 Bewertungen
Ähnlich wie Das Erfüllbarkeitsproblem SAT
Ähnliche E-Books
PSTricks: Grafik mit PostScript für TeX und LaTeX Bewertung: 5 von 5 Sternen5/5Maximal nilpotente Teilstrukturen I: Nilradikale und Cartan-Teilalgebren in assoziierten Algebren. Mit 348 Übungsaufgaben Bewertung: 0 von 5 Sternen0 BewertungenNeokognitron und Hopfield Netz als künstliche neuronale Netze zur Mustererkennung: Theorie, computergestützte Simulation und Anwendungen Bewertung: 0 von 5 Sternen0 BewertungenMaximal nilpotente Teilstrukturen II: Eine Korrespondenz in auflösbaren Algebren; mit 187 Übungsaufgaben Bewertung: 0 von 5 Sternen0 BewertungenPerformance- und Risikomessung bei Hedgefonds Bewertung: 0 von 5 Sternen0 BewertungenMETAPOST: Grafk für TeX und LaTeX Bewertung: 0 von 5 Sternen0 BewertungenPSTricks: Grafik mit PostScript für TeX und LaTeX Bewertung: 0 von 5 Sternen0 BewertungenVergleich und Evaluation zwischen modernen und traditionellen Datenbankkonzepten unter den Gesichtspunkten Skalierung, Abfragemöglichkeit und Konsistenz Bewertung: 0 von 5 Sternen0 BewertungenEinführung in LaTeX: unter Berücksichtigung von pdfLaTeX, XLaTeX und LuaLaTeX Bewertung: 4 von 5 Sternen4/5Experimente mit Cypress-PSoC-Mikrocontrollern: Implementierung analoger Filter Bewertung: 0 von 5 Sternen0 BewertungenSeparabilität in kommutativen und auflösbaren Algebren. Unter Berücksichtigung nicht-unitärer assoziativer Algebren; mit 241 Übungsaufgaben Bewertung: 0 von 5 Sternen0 BewertungenKorpuslinguistik: Eine Einführung Bewertung: 0 von 5 Sternen0 BewertungenEKG-Monitoring: Signalaufbereitung, Kompression und Codierung von EKG-Signalen Bewertung: 0 von 5 Sternen0 BewertungenEinführung in LaTeX Bewertung: 0 von 5 Sternen0 BewertungenGelingensbedingungen pädagogischer Integrationsförderung: Eine Längsschnittstudie zur Arbeit mit geflüchtetenHeranwachsenden Bewertung: 0 von 5 Sternen0 BewertungenStatistik für Medizinerinnen und Mediziner Bewertung: 0 von 5 Sternen0 BewertungenWissenschaftlicher Umgang mit den kleinen Fallzahlen in der Spitzensportforschung Bewertung: 0 von 5 Sternen0 BewertungenEndvertauschbare Anordnungen und die Struktur der Einheitengruppen modularer Gruppenalgebren; mit 167 Übungsaufgaben Bewertung: 0 von 5 Sternen0 BewertungenTerrain Rendering mit Geometrie Clipmaps für Spiele Bewertung: 0 von 5 Sternen0 BewertungenDas Akutmaß und die Kurzskala zur Erfassung von Erholung und Beanspruchung im Sport: Manual Bewertung: 0 von 5 Sternen0 BewertungenPython-Programmierung für Germanist:innen: Ein Lehr- und Arbeitsbuch Bewertung: 0 von 5 Sternen0 BewertungenText Mining und dessen Implementierung Bewertung: 0 von 5 Sternen0 BewertungenEin Orientierungssystem für Menschen mit Sehbehinderung auf Java ME: Konzeption und Implementierung Bewertung: 0 von 5 Sternen0 BewertungenZeichensetzung ab 6. Klasse und für Erwachsene Bewertung: 5 von 5 Sternen5/5Algorithmen zum Scheduling von Schleusungsvorgängen: Verkehrsoptimierung am Beispiel des Nord-Ostsee-Kanals Bewertung: 0 von 5 Sternen0 BewertungenSOA in der Praxis: System-Design für verteilte Geschäftsprozesse Bewertung: 4 von 5 Sternen4/5Der attributive Genitiv und seine Alternativformen in der Familiensprache Bewertung: 0 von 5 Sternen0 BewertungenQualitative Comparative Analysis (QCA) und Fuzzy Sets: Ein Lehrbuch für Anwender und jene, die es werden wollen Bewertung: 0 von 5 Sternen0 BewertungenOptimierung der Leistungsaufnahme eines solarbetriebenen Ad-Hoc-Netzwerk-Knotens Bewertung: 0 von 5 Sternen0 Bewertungen
Mathematik für Sie
Mein Übungsheft Rechnen - 1. Klasse Bewertung: 0 von 5 Sternen0 BewertungenVom 1x1 zum Glück: Warum wir Mathematik für das Leben brauchen Bewertung: 0 von 5 Sternen0 BewertungenLexikon der Symbole und Archetypen für die Traumdeutung Bewertung: 5 von 5 Sternen5/5Wahrscheinlichkeitsrechnung und Statistik Bewertung: 0 von 5 Sternen0 BewertungenMathe trainieren 2. Klasse Bewertung: 0 von 5 Sternen0 BewertungenAnglizismen und andere "Fremdwords" deutsch erklärt: Über 1000 aktuelle Begriffe Bewertung: 0 von 5 Sternen0 BewertungenMathe trainieren 1. Klasse Bewertung: 0 von 5 Sternen0 BewertungenDie Schönheit der Zahlen: Die Ordnung der Welt durch den menschlichen Geist Bewertung: 0 von 5 Sternen0 BewertungenMathematik verstehen Band 2: Grundlagen für das Studium naturwissenschaftlicher und technischer Fächer Bewertung: 0 von 5 Sternen0 BewertungenZahlentheorie Bewertung: 0 von 5 Sternen0 BewertungenMathenglish - Das Übungsbuch für Mathe und Englisch: Lerne Mathe und Englisch gleichzeitig (5.-7.Klasse) Bewertung: 0 von 5 Sternen0 BewertungenRechnen und Textaufgaben - Gymnasium 5. Klasse Bewertung: 0 von 5 Sternen0 BewertungenTextaufgaben 2. Klasse: Sachaufgaben - Übungsprogramm mit Lösungen für die 2. Klasse Bewertung: 0 von 5 Sternen0 BewertungenRechnen und Textaufgaben - Gymnasium 6. Klasse Bewertung: 0 von 5 Sternen0 BewertungenÜber das Wahre in der Mathematik und das Reale in der Physik: Sachbuch Bewertung: 0 von 5 Sternen0 BewertungenMein Übungsheft Rechnen - 2. Klasse: Mathematik: Aufgaben mit Lösungen im Zahlenraum bis 100 - wiederholen, trainieren, lernen Bewertung: 0 von 5 Sternen0 BewertungenUnterirdisches Slowenien: Ein Exkursionsführer zu den Höhlen des Klassischen Karstes Bewertung: 0 von 5 Sternen0 BewertungenFachbegriffe der Chemie: Definitionen, Grundwissen und Erklärungen zum Nachschlagen und Lernen in Schulen und Homeschooling Bewertung: 0 von 5 Sternen0 BewertungenMein Übungsheft Rechnen - 4. Klasse Bewertung: 0 von 5 Sternen0 BewertungenAngewandteres zum Mathematischen der Zahlenmagie Bewertung: 0 von 5 Sternen0 BewertungenMathe trainieren 3. Klasse Bewertung: 0 von 5 Sternen0 BewertungenKritik an Black Swan Bewertung: 0 von 5 Sternen0 BewertungenEinmaleins Mathematik 2./3. Klasse Bewertung: 5 von 5 Sternen5/5...Als die Noten laufen lernten...Band 2: Kabarett-Operette-Revue-Film-Exil. Unterhaltungsmusik bis 1945 Bewertung: 0 von 5 Sternen0 BewertungenMathematik-Abitur Band 1: Analysis - Infinitesimalrechnung Bewertung: 0 von 5 Sternen0 BewertungenQuer durch die 1. Klasse, Mathe und Deutsch - Übungsblock Bewertung: 0 von 5 Sternen0 BewertungenQuer durch die 3. Klasse, Mathe und Deutsch - Übungsblock Bewertung: 0 von 5 Sternen0 BewertungenHandbuch der fortgeschrittenen Mathematik Bewertung: 0 von 5 Sternen0 Bewertungen
Rezensionen für Das Erfüllbarkeitsproblem SAT
Bewertung: 0 von 5 Sternen
0 Bewertungen
0 Bewertungen0 Rezensionen
Buchvorschau
Das Erfüllbarkeitsproblem SAT - Uwe Schöning
Gefällt Ihnen die Vorschau?
Seite 1 von 1