Skript zur Vorlesung Komplexitätstheorie im SS 1996
Skript zur Vorlesung Komplexitätstheorie im SS 1996
Skript zur Vorlesung Komplexitätstheorie im SS 1996
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Index<br />
Übergangsfunktion, 11, 15<br />
Adjazenzmatrix, 3<br />
akzeptieren, 14, 24<br />
Algorithmus, 2<br />
pseudopolynomiell, 59<br />
aufzählbar<br />
rekursiv, 14<br />
balanciert<br />
polynomiell, 61<br />
berechenbar<br />
rekursiv, 14<br />
berechnen, 14<br />
Bipartites Matching, 9, 10<br />
Boole’scher Schaltkreis, 43<br />
Boolean Circuit, 43<br />
Breitensuche (breadth-first), 3<br />
CIRCUIT SAT, 44<br />
CIRCUIT VALUE, 44, 47, 50, 69<br />
CLIQUE, 54, 55<br />
co-HAMILTON PATH, 61<br />
coHP, 61<br />
coNP, 60, 62<br />
coPRIMES, 62<br />
coSAT, 62<br />
CS, 39<br />
entscheidbar<br />
polynomiell, 61<br />
rekursiv, 14<br />
entscheiden, 14, 24<br />
Entscheidungsproblem, 2, 7, 14<br />
EXACT COVER BY 3-SETS, 60<br />
EXP, 28, 32<br />
Fall, 1<br />
Familie, 68<br />
Fermat, Satz von, 63<br />
Gesamtarbeit, 68<br />
Graph, 1, 3<br />
70<br />
GRAPH ISOMORPHIE, 66<br />
Haltesprache, 29–31<br />
HAMILTON PATH, 41, 60<br />
Heiratsproblem, 9<br />
Hierachie-Theorem, 32, 33<br />
HP, 41, 60<br />
Immerman, Szelepscényi, Theorem<br />
von, 37, 38<br />
INDEPENDENT SET, 53<br />
INDSET, 53<br />
Instanz, 1<br />
INTEGER PROGRAMMING, 60<br />
KNAPSACK, 58<br />
Kodierung, 15<br />
Komplement, 28<br />
Komplexitätsklasse, 16<br />
Konfiguration, 13, 15<br />
L, 28, 35<br />
Lucas, Satz von, 65<br />
MATCHING, 9<br />
3D-MATCHING, 59<br />
MAXFLOW, 7–10<br />
Modell, 68<br />
NC, 69<br />
Netzwerk, 5<br />
NICK’S CLA<strong>SS</strong>, 69<br />
NL, 28, 35<br />
NODE COVER, 55<br />
NP, 24, 27, 34, 35, 60, 62<br />
NPSPACE, 28<br />
NSPACE, 27, 37, 39<br />
NTIME, 24, 25, 27<br />
O-Notation, 3<br />
Opt<strong>im</strong>ierungsproblem, 7<br />
P, 20, 24, 27, 32, 34, 35, 62
Change language