Komplexitaet-WS-2010.. - Parallele Systeme
Komplexitaet-WS-2010.. - Parallele Systeme
Komplexitaet-WS-2010.. - Parallele Systeme
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Komplexitätstheorie - Wintersemester 2010/2011 145<br />
Grammatik<br />
kontextfreie, 112<br />
kontextsensitive, 107<br />
Graph<br />
Erreichbarkeit, 112<br />
Hamiltonscher Kreis, 81, 84<br />
Hamiltonscher Pfad, 67, 86<br />
Handlungsreisendenproblem, 68<br />
Hardware, 1<br />
ILP, 98<br />
INAQ-NFA, 109<br />
Instanz, 12<br />
Integer Linear Programming, 98<br />
Kette, 8, 123<br />
Klausel, 74<br />
Knotenuberdeckung, 81<br />
Komplementgraph, 83<br />
Komplexitatsklassen, 44<br />
Komplexitatstheorie, 6<br />
Konkatenation, 9<br />
KSGWP, 107<br />
LBA, 107<br />
LEER-KFG, 112<br />
Leerheitsproblem, 112<br />
Lineare Programmierung, 99<br />
Literale, 74<br />
LOG, 62<br />
log-space-reduzierbar, 112<br />
LP, 99<br />
Matching, 88<br />
Mehrbandmaschinen, 33<br />
Mehrspurmaschinen, 32<br />
µ-rekursiv, 40<br />
NEXPSPACE, 62<br />
NEXPTIME, 62<br />
NEXT, 62<br />
NLOG, 62<br />
NP, 67<br />
NP, 62<br />
NP-vollstandig, 67<br />
NPC, 67<br />
NPSPACE, 62<br />
NSPACE, 44<br />
NTIME, 44<br />
O-Notationen, 2<br />
oBdA, 14<br />
Offline-TM, 34<br />
P, 67<br />
P, 62<br />
p-isomorph, 113<br />
Padding-Technik, 108<br />
Partition, 92<br />
PCP, 6<br />
Platzkomplexitat<br />
DTM, 42<br />
NTM, 43<br />
Pra-Halbordnung, 71<br />
Pradikatenlogik<br />
1. Stufe, 111<br />
Prafix, 9<br />
Presburger-Arithmetik, 111<br />
PRIMES, 100<br />
Primzahlen, 100<br />
Prozessor, 1<br />
Prozessorkomplexitat, 4<br />
Prozessorverbrauch, 8<br />
PSPACE, 67<br />
PSPACE, 62<br />
QBF, 101<br />
Quantifizierte Boolesche Formel, 101<br />
Quicksort, 5<br />
RAM), 36<br />
Random-Access-Maschine, 36<br />
Rechenzeit, 1<br />
reduzierbar<br />
log-space, 112<br />
reelle Zahlen, 111<br />
regularer Ausdruck<br />
Exponentiation, 110<br />
Unvollstandigkeit, 110<br />
Rucksackproblem, 96<br />
Satz von Savitch, 61<br />
Savitch, 61