Benutzer:IInterspecies/Bücher/Komplexitätstheorie

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Unsere Buchzusammenstellung arbeitet zurzeit nur sehr eingeschränkt (für Details siehe die Mediawiki-Projektseite: PDF-Funktionalität). Eine quelloffene Alternative ist MediaWiki2LaTeX.

Buch-Icon Dies ist ein gespeichertes „Wikipedia-Buch“ Bücherregal ]

[ Buch übernehmen ]   [ Gedrucktes Buch bestellen ]

Komplexitätstheorie

[Bearbeiten | Quelltext bearbeiten]
Komplexitätstheorie
Satz von Immerman und Szelepcsényi
3-SAT
Akra-Bazzi-Theorem
Akzeptieren (Automaten- und Komplexitätstheorie)
Alternierende Turingmaschine
Church-Turing-These
Circuit Value Problem
Clique (Graphentheorie)
Cliquenproblem
The Complexity of Songs
Damenproblem
Dreifarbenproblem
Erfüllbarkeitsproblem der Aussagenlogik
Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
Erreichbarkeitsproblem in Graphen
Feedback Arc Set
Feedback Vertex Set
Hamiltonkreisproblem
Hilfskellermaschine
Hitting-Set-Problem
Hüllenoperator
Interaktives Beweissystem
Karps 21 NP-vollständige Probleme
Knotenüberdeckung
Knotenüberdeckungsproblem
Komplexität (Informatik)
Deskriptive Komplexitätstheorie
Komplexitätsklasse
Kontextsensitive Sprache
Kurodas Problem
Landau-Symbole
Längster kreuzungsfreier Springerpfad
Linearer Algorithmus
Logarithmisch platzbeschränkte Reduktion
Lückensatz von Borodin
Maschinengestütztes Beweisen
Master-Theorem
Maximaler Schnitt
Mengenpackungsproblem
Mengenüberdeckungsproblem
Mengenzerlegungsproblem
Modelltheorie
Nichtdeterministische Turingmaschine
NP-Äquivalenz
NP-leicht
NP-Schwere
NP-Vollständigkeit
Orakel-Turingmaschine
P-NP-Problem
Parametrisierter Algorithmus
Partitionierungsproblem
Partitionsproblem
PCP-Theorem
Platzkomplexität
Polynomialzeit
Polynomialzeithierarchie
Polynomialzeitreduktion
Problem der exakten Überdeckung
Problemkern
Pseudopolynomiell
Reduktion (Theoretische Informatik)
Registermaschine (Komplexitätstheorie)
Rucksackproblem
Satz von Cook
Satz von Fagin
Satz von Ladner
Satz von Savitch
Springerproblem
Stabile Menge
Substitutionsmethode
Suchbaum
Teilsummenproblem
Turingmaschine
Turingmaschine Typ 2
Union-Theorem
Vollständigkeit (Komplexitätstheorie)
Wortproblem
Zeitkomplexität
Zweikellerautomat