03.09.2013 Aufrufe

Komplexitaet-WS-2010.. - Parallele Systeme

Komplexitaet-WS-2010.. - Parallele Systeme

Komplexitaet-WS-2010.. - Parallele Systeme

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!