Benutzer:IInterspecies/Bücher/Komplexitätstheorie
aus Wikipedia, der freien Enzyklopädie
< Benutzer:IInterspecies
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 25. August 2013 um 16:51 Uhr durch imported>IInterspecies(891770) (AZ: Die Seite wurde neu angelegt: {{Gespeichertes Buch}} == Komplexitätstheorie == === === :Komplexitätstheorie :Satz v…).
|
Dies ist ein gespeichertes „Wikipedia-Buch“ | [ Bücherregal ] |
Komplexitätstheorie
- 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
