Grundkurs theoretische Informatik: eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen
Gespeichert in:
| Vorheriger Titel: | Grundlagen der theoretischen Informatik mit Anwendungen |
|---|---|
| Hauptverfasser: | , |
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg
2006
|
| Ausgabe: | 4., verb. und erw. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XII, 433 S. graph. Darst. |
| ISBN: | 3834801534 9783834801531 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021321867 | ||
| 003 | DE-604 | ||
| 005 | 20131217 | ||
| 007 | t | ||
| 008 | 060206s2006 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 978013093 |2 DE-101 | |
| 020 | |a 3834801534 |9 3-8348-0153-4 | ||
| 020 | |a 9783834801531 |9 978-3-8348-0153-1 | ||
| 035 | |a (OCoLC)179782585 | ||
| 035 | |a (DE-599)BVBBV021321867 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-HE | ||
| 049 | |a DE-859 |a DE-863 |a DE-1046 |a DE-573 |a DE-91G |a DE-706 |a DE-Aug4 |a DE-M347 |a DE-860 |a DE-739 |a DE-858 |a DE-522 |a DE-523 |a DE-526 |a DE-19 |a DE-83 |a DE-11 |a DE-2070s | ||
| 084 | |a ST 110 |0 (DE-625)143583: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Vossen, Gottfried |d 1955- |e Verfasser |0 (DE-588)121017168 |4 aut | |
| 245 | 1 | 0 | |a Grundkurs theoretische Informatik |b eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen |c Gottfried Vossen ; Kurt-Ulrich Witt |
| 250 | |a 4., verb. und erw. Aufl. | ||
| 264 | 1 | |a Wiesbaden |b Vieweg |c 2006 | |
| 300 | |a XII, 433 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Witt, Kurt-Ulrich |d 1953- |e Verfasser |0 (DE-588)131482513 |4 aut | |
| 780 | 0 | 0 | |i 1. und 2. Auflage |t Grundlagen der theoretischen Informatik mit Anwendungen |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2760627&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014642252&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014642252 | ||
Datensatz im Suchindex
| DE-BY-863_location | 1911 |
|---|---|
| DE-BY-FWS_call_number | 1911/2014:0708 |
| DE-BY-FWS_katkey | 266609 |
| DE-BY-FWS_media_number | 083100905754 |
| _version_ | 1806174346598678528 |
| adam_text | Inhaltsverzeichnis
Vorwort zur 1. Auflage xi
Vorwort zur 2. Auflage xiii
Vorwort zur 3. Auflage xiv
Vorwort zur 4. Auflage xv
1 Einführung und Übersicht 1
1.1 Ausgangspunkte für das Themengebiet................. 1
1.2 Anwendungen theoretischer Erkenntnisse............... 3
1.3 Stoffübersicht und-abgrenzung..................... 4
1.4 Externe Lernhilfen und Web-Seiten .................. 5
1.5 Allgemeine Bibliographische Hinweise................ 6
1
2 Endliche Automaten 9
2.1 Deterministische endliche Automaten................. 9
2.1.1 Beispiel: Der Automat
2.1.2 Alphabete, Wörter, Sprachen.................. 13
2.1.3 Zustände und Zustandsübergänge............... 19
2.1.4 Deterministische endliche Automaten und reguläre Sprachen . 20
2.1.5 Vollständige Automaten.................... 25
2.1.6 Zusammenfassung....................... 26
2.2 Nichtdeterministische endliche Automaten............... 26
2.2.1 Definitionen .......................... 26
2.2.2 Äquivalenz von deterministischen und nichtdeterministischen
endlichen Automaten...................... 31
2.2.3 Zusammenfassung....................... 35
2.3 Endliche Automaten mit
2.3.1 Definitionen .......................... 36
vi
2.3.2 Äquivalenz von
lichen Automaten ........................ 37
2.3.3 Zusammenfassung....................... 41
2.4 Verallgemeinerte endliche Automaten................. 41
2.4.1 Definitionen.......................... 42
2.4.2 Äquivalenz von verallgemeinerten und endlichen Automaten . 42
2.5 Minimierung endlicher Automaten................... 44
2.5.1 Isomorphie endlicher Automaten................ 44
2.5.2 Ein Verfahren zur Minimierung endlicher Automaten..... 45
2.6 Anwendungen endlicher Automaten.................. 48
2.6.1 Rechnersysteme und Systemprogrammierung......... 48
2.6.2 Teilworterkennung....................... 49
2.6.3 Objektorientierte Modellierung. Interaktionsdiagramme ... 52
2.7 Bibliographische Hinweise und Ergänzungen............. 54
2.8 Übungen................................. 56
3 Reguläre Sprachen 59
3.1 Reguläre Ausdrücke........................... 60
3.1.1 Definitionen und Eigenschaften................ 60
3.1.2 Anwendung regulärer Ausdrücke ............... 66
3.1.3 Äquivalenz von endlichen Automaten und regulären Ausdrücken 68
3.1.4 Scanner-Generatoren...................... 73
3.1.5 Zusammenfassung....................... 76
3.2
3.2.1 Rechtslineare Grammatiken.................. 76
3.2.2 Linkslineare Grammatiken................... 80
3.2.3 Äquivalenz rechtslinearer und linkslinearer Grammatiken . . . 81
3.2.4 Verallgemeinerte
3.2.5 Äquivalenz von endlichen Automaten und Typ-3-Grammatiken 84
3.2.6 Zusammenfassung....................... 86
3.3 Eigenschaften regulärer Sprachen ................... 86
3.3.1 Abschlusseigenschaften von REG^.............. 86
3.3.2 Das Pumping-Lemma für reguläre Sprachen.......... 95
3.3.3 Entscheidbarkeitsprobleme................... 97
3.3.4 Grenzen endlicher Automaten................. 100
3.4 Bibliographische Hinweise und Ergänzungen............. 102
3.5 Übungen................................. 102
4 Endliche Maschinen und Automatennetze 105
4.1 Endliche Maschinen........................... 106
4.1.1 Erweiterung des endlichen Automaten
4.1.2 Mealy-Maschinen ....................... 108
4.1.3 Ein formales Vorgehensmodell bei der Problemlösung .... 115
4.1.4 Gegenseitige Simulation von Mealy-Maschinen und endlichen
Automaten........................... 116
Inhalt
4.1.5 Moore-Maschinen....................... 119
4.1.6 Äquivalenz von
4.1.7 Grenzen endlicher Maschinen................. 126
4.2 Endliche
4.3 Beispiele für Automatennetze...................... 131
4.3.1 Synchrone Automaten: Zellulare Automaten ......... 131
4.3.2 Asynchrone Automaten: Petri-Netze.............. 136
4.3.3 Anwendungen und Varianten von Petri-Netzen........ 145
4.4 Anwendungen endlicher Maschinen.................. 150
4.4.1 Software-und Systementwurf. Statecharts........... 153
4.4.2 Workflow-Management .................... 154
4.4.3 Elektronischer Handel..................... 159
4.4.4 Modellierung und Komposition von Web Services...... 160
4.5 Bibliographische Hinweise und Ergänzungen............. 167
4.6 Übungen................................. 169
Π
5 Kontextfreie Sprachen 175
5.1 Kontextfreie Grammatiken....................... 175
5.1.1 Beispiele und Definitionen................... 176
5.1.2
5.2 Eigenschaften kontextfreier Sprachen................. 185
5.2.1 Mehrdeutigkeit......................... 185
5.2.2 Das Pumping-Lemma für kontextfreie Sprachen........ 187
5.2.3 Abschlusseigenschaften.................... 190
5.3 Übungen................................. 192
6 Kellerautomaten 195
6.1 Nichtdeteraünistische Kellerautomaten................. 196
6.1.1 Grundlegende Definitionen................... 196
6.1.2 Akzeptieren mit leerem Keller................. 200
6.2 Äquivalenz von kontextfreien Grammatiken und Kellerautomaten . . 201
6.3 Deterministische Kellerautomaten................... 205
6.4 Bibliographische Hinweise....................... 209
6.5 Übungen................................. 209
7 Anwendungen kontextfreier Sprachen 211
7.1 Ableitungs-und Syntaxbäume..................... 211
7.2 Compilerbau .............................. 214
7.3 Syntax von Programmiersprachen................... 223
7.3.1 Erweiterte Backus-Naur-Form................. 223
7.3.2 Syntaxdiagramme ....................... 227
7.4 Reguläre Definitionen.......................... 230
viii Inhalt
7.4.1 SADT............................. 231
7.4.2 XML.............................. 233
7.5 Bibliographische Hinweise....................... 237
7.6 Übungen................................. 237
Ш
8
8.1 Die Chomsky-Hierarchie........................ 241
8.1.1 Typ-l-Sprachen (kontextsensitive Sprachen).......... 242
8.1.2 Typ-O-Sprachen (rekursiv-aufzählbare Sprachen)....... 244
8.1.3 Die Hierarchie......................... 250
8.1.4 Das Wortproblem........................ 252
8.2 Turingautomaten............................ 254
8.2.1 Definitionen und Beispiele................... 254
8.2.2 Varianten von Turingautomaten................ 258
8.2.3 Äquivalenz von deterministischen und nichtdeterministischen
Turingautomaten........................ 259
8.2.4 Linear beschränkte Automaten................. 260
8.2.5 Äquivalenz zwischen Typ-l-Grammatiken und linear beschränk¬
ten Automaten ......................... 261
8.2.6 Äquivalenz zwischen Typ-O-Grammatiken und Turingautoma¬
ten ................................ 263
8.3 Zusammenfassung ........................... 263
8.4 Bibliographische Hinweise....................... 266
8.5 Übungen................................. 266
9 Berechenbarkeit 269
9.1 Turing-Berechenbarkeit......................... 269
9.1.1 Definition und Beispiele.................... 270
9.1.2 Die Programmiersprache
9.2
9.2.1 Die Programmiersprache
9.2.2 Die Programmiersprache
9.2.3 Die Programmiersprache Goto................ 287
9.3 Primitiv rekursive und
9.4 Die Churchsche These......................... 293
9.5 Die Ackermannfunktion ........................ 298
9.6 Universelle Turingmaschinen...................... 302
9.6.1 Codierung von Turingmaschinen................ 302
9.6.2 Eine Standardnummerierang für
9.6.3 Fundamentale Anforderungen an Programmiersprachen . . . 309
9.6.4 Das utm-Theorem ....................... 309
9.6.5 Das smn-Theorem....................... 310
Inhalt ix
9.6.6 Anwendungen von utm-und smn-Theorem.......... 313
9.6.7 Bedeutung von utm-und smn-Theorem............ 315
9.7 Bibliographische Hinweise....................... 317
9.8 Übungen................................. 318
10 Entscheidbarkeit 321
10.1 Existenz unentschuldbarer Probleme.................. 321
10.2 Entscheidbare und semi-entscheidbare Mengen............ 322
10.3 Reduzierbarkeit von Mengen...................... 325
10.4 Unentschuldbare Mengen........................ 327
10.4.1 Das Halteproblem ....................... 327
10.4.2 Das Korrektheitsproblem.................... 331
10.4.3 Das Äquivalenzproblem.................... 331
10.4.4 Der Satz von Rice ....................... 332
10.4.5 Das Postsche Korrespondenzproblem............. 333
10.4.6 Anwendungen des Postschen Korrespondenzproblems .... 336
10.5 Zusammenfassung ........................... 339
10.6 Bibliographische Hinweise....................... 339
10.7 Übungen................................. 339
11 Komplexität 343
11.1 Die O-Notation............................. 343
11.2 Komplexität von Algorithmen ..................... 346
11.3 Wichtige Komplexitätsklassen..................... 349
11.4 Die Klassen
11.4.1 Die Klasse
11.4.2 Die Klasse JVP......................... 351
L
11.4.4 Das P-iVP-Problem....................... 353
11.4.5 NP-Vollständigkeit....................... 354
11.5 Konkrete NP-vollständige Probleme.................. 357
11.5.1 SAT- Das Erfüllbarkeitsproblem der Aussagenlogik..... 357
11.5.2 Weitere NP-vollständige Probleme............... 361
11.6 Weitere Komplexitätsklassen...................... 369
11.6.1 Die Klasse PSPACE...................... 369
11.6.2 Komplementäre Komplexitätsklassen............. 373
11.7 Zusammenfassung ........................... 375
11.8 Bibliographische Hinweise und Ergänzungen............. 376
11.9 Übungen................................. 377
12 Approximative und
12.1 Approximative Algorithmen für NP-vollständige Probleme...... 381
12.1.1 Approximierbarkeit....................... 381
12.1.2 Lokale Verbesserung am Beispiel TSP............. 384
12.1.3 Untere Schranken für das Approximieren........... 388
χ
12.1.4 TSP in der Praxis........................389
12.2
12.2.1 Die Klasse
12.2.2 Die Klasse ZPP......................... 394
12.2.3 Die Klasse BPP......................... 396
12.2.4 Anwendung: Verschlüsselung................. 396
12.2.5 Anwendung: Sortieren..................... 404
12.3 Interaktive Beweissysteme....................... 405
12.4
12.5 Zusammenfassung ........................... 415
12.6 Bibliographische Hinweise und Ergänzungen............. 415
12.7 Übungen................................. 417
Literaturverzeichnis 419
Index 427
|
| adam_txt |
Inhaltsverzeichnis
Vorwort zur 1. Auflage xi
Vorwort zur 2. Auflage xiii
Vorwort zur 3. Auflage xiv
Vorwort zur 4. Auflage xv
1 Einführung und Übersicht 1
1.1 Ausgangspunkte für das Themengebiet. 1
1.2 Anwendungen theoretischer Erkenntnisse. 3
1.3 Stoffübersicht und-abgrenzung. 4
1.4 Externe Lernhilfen und Web-Seiten . 5
1.5 Allgemeine Bibliographische Hinweise. 6
1
2 Endliche Automaten 9
2.1 Deterministische endliche Automaten. 9
2.1.1 Beispiel: Der Automat
2.1.2 Alphabete, Wörter, Sprachen. 13
2.1.3 Zustände und Zustandsübergänge. 19
2.1.4 Deterministische endliche Automaten und reguläre Sprachen . 20
2.1.5 Vollständige Automaten. 25
2.1.6 Zusammenfassung. 26
2.2 Nichtdeterministische endliche Automaten. 26
2.2.1 Definitionen . 26
2.2.2 Äquivalenz von deterministischen und nichtdeterministischen
endlichen Automaten. 31
2.2.3 Zusammenfassung. 35
2.3 Endliche Automaten mit
2.3.1 Definitionen . 36
vi
2.3.2 Äquivalenz von
lichen Automaten . 37
2.3.3 Zusammenfassung. 41
2.4 Verallgemeinerte endliche Automaten. 41
2.4.1 Definitionen. 42
2.4.2 Äquivalenz von verallgemeinerten und endlichen Automaten . 42
2.5 Minimierung endlicher Automaten. 44
2.5.1 Isomorphie endlicher Automaten. 44
2.5.2 Ein Verfahren zur Minimierung endlicher Automaten. 45
2.6 Anwendungen endlicher Automaten. 48
2.6.1 Rechnersysteme und Systemprogrammierung. 48
2.6.2 Teilworterkennung. 49
2.6.3 Objektorientierte Modellierung. Interaktionsdiagramme . 52
2.7 Bibliographische Hinweise und Ergänzungen. 54
2.8 Übungen. 56
3 Reguläre Sprachen 59
3.1 Reguläre Ausdrücke. 60
3.1.1 Definitionen und Eigenschaften. 60
3.1.2 Anwendung regulärer Ausdrücke . 66
3.1.3 Äquivalenz von endlichen Automaten und regulären Ausdrücken 68
3.1.4 Scanner-Generatoren. 73
3.1.5 Zusammenfassung. 76
3.2
3.2.1 Rechtslineare Grammatiken. 76
3.2.2 Linkslineare Grammatiken. 80
3.2.3 Äquivalenz rechtslinearer und linkslinearer Grammatiken . . . 81
3.2.4 Verallgemeinerte
3.2.5 Äquivalenz von endlichen Automaten und Typ-3-Grammatiken 84
3.2.6 Zusammenfassung. 86
3.3 Eigenschaften regulärer Sprachen . 86
3.3.1 Abschlusseigenschaften von REG^. 86
3.3.2 Das Pumping-Lemma für reguläre Sprachen. 95
3.3.3 Entscheidbarkeitsprobleme. 97
3.3.4 Grenzen endlicher Automaten. 100
3.4 Bibliographische Hinweise und Ergänzungen. 102
3.5 Übungen. 102
4 Endliche Maschinen und Automatennetze 105
4.1 Endliche Maschinen. 106
4.1.1 Erweiterung des endlichen Automaten
4.1.2 Mealy-Maschinen . 108
4.1.3 Ein formales Vorgehensmodell bei der Problemlösung . 115
4.1.4 Gegenseitige Simulation von Mealy-Maschinen und endlichen
Automaten. 116
Inhalt
4.1.5 Moore-Maschinen. 119
4.1.6 Äquivalenz von
4.1.7 Grenzen endlicher Maschinen. 126
4.2 Endliche
4.3 Beispiele für Automatennetze. 131
4.3.1 Synchrone Automaten: Zellulare Automaten . 131
4.3.2 Asynchrone Automaten: Petri-Netze. 136
4.3.3 Anwendungen und Varianten von Petri-Netzen. 145
4.4 Anwendungen endlicher Maschinen. 150
4.4.1 Software-und Systementwurf. Statecharts. 153
4.4.2 Workflow-Management . 154
4.4.3 Elektronischer Handel. 159
4.4.4 Modellierung und Komposition von Web Services. 160
4.5 Bibliographische Hinweise und Ergänzungen. 167
4.6 Übungen. 169
Π
5 Kontextfreie Sprachen 175
5.1 Kontextfreie Grammatiken. 175
5.1.1 Beispiele und Definitionen. 176
5.1.2
5.2 Eigenschaften kontextfreier Sprachen. 185
5.2.1 Mehrdeutigkeit. 185
5.2.2 Das Pumping-Lemma für kontextfreie Sprachen. 187
5.2.3 Abschlusseigenschaften. 190
5.3 Übungen. 192
6 Kellerautomaten 195
6.1 Nichtdeteraünistische Kellerautomaten. 196
6.1.1 Grundlegende Definitionen. 196
6.1.2 Akzeptieren mit leerem Keller. 200
6.2 Äquivalenz von kontextfreien Grammatiken und Kellerautomaten . . 201
6.3 Deterministische Kellerautomaten. 205
6.4 Bibliographische Hinweise. 209
6.5 Übungen. 209
7 Anwendungen kontextfreier Sprachen 211
7.1 Ableitungs-und Syntaxbäume. 211
7.2 Compilerbau . 214
7.3 Syntax von Programmiersprachen. 223
7.3.1 Erweiterte Backus-Naur-Form. 223
7.3.2 Syntaxdiagramme . 227
7.4 Reguläre Definitionen. 230
viii Inhalt
7.4.1 SADT. 231
7.4.2 XML. 233
7.5 Bibliographische Hinweise. 237
7.6 Übungen. 237
Ш
8
8.1 Die Chomsky-Hierarchie. 241
8.1.1 Typ-l-Sprachen (kontextsensitive Sprachen). 242
8.1.2 Typ-O-Sprachen (rekursiv-aufzählbare Sprachen). 244
8.1.3 Die Hierarchie. 250
8.1.4 Das Wortproblem. 252
8.2 Turingautomaten. 254
8.2.1 Definitionen und Beispiele. 254
8.2.2 Varianten von Turingautomaten. 258
8.2.3 Äquivalenz von deterministischen und nichtdeterministischen
Turingautomaten. 259
8.2.4 Linear beschränkte Automaten. 260
8.2.5 Äquivalenz zwischen Typ-l-Grammatiken und linear beschränk¬
ten Automaten . 261
8.2.6 Äquivalenz zwischen Typ-O-Grammatiken und Turingautoma¬
ten . 263
8.3 Zusammenfassung . 263
8.4 Bibliographische Hinweise. 266
8.5 Übungen. 266
9 Berechenbarkeit 269
9.1 Turing-Berechenbarkeit. 269
9.1.1 Definition und Beispiele. 270
9.1.2 Die Programmiersprache
9.2
9.2.1 Die Programmiersprache
9.2.2 Die Programmiersprache
9.2.3 Die Programmiersprache Goto. 287
9.3 Primitiv rekursive und
9.4 Die Churchsche These. 293
9.5 Die Ackermannfunktion . 298
9.6 Universelle Turingmaschinen. 302
9.6.1 Codierung von Turingmaschinen. 302
9.6.2 Eine Standardnummerierang für
9.6.3 Fundamentale Anforderungen an Programmiersprachen . . . 309
9.6.4 Das utm-Theorem . 309
9.6.5 Das smn-Theorem. 310
Inhalt ix
9.6.6 Anwendungen von utm-und smn-Theorem. 313
9.6.7 Bedeutung von utm-und smn-Theorem. 315
9.7 Bibliographische Hinweise. 317
9.8 Übungen. 318
10 Entscheidbarkeit 321
10.1 Existenz unentschuldbarer Probleme. 321
10.2 Entscheidbare und semi-entscheidbare Mengen. 322
10.3 Reduzierbarkeit von Mengen. 325
10.4 Unentschuldbare Mengen. 327
10.4.1 Das Halteproblem . 327
10.4.2 Das Korrektheitsproblem. 331
10.4.3 Das Äquivalenzproblem. 331
10.4.4 Der Satz von Rice . 332
10.4.5 Das Postsche Korrespondenzproblem. 333
10.4.6 Anwendungen des Postschen Korrespondenzproblems . 336
10.5 Zusammenfassung . 339
10.6 Bibliographische Hinweise. 339
10.7 Übungen. 339
11 Komplexität 343
11.1 Die O-Notation. 343
11.2 Komplexität von Algorithmen . 346
11.3 Wichtige Komplexitätsklassen. 349
11.4 Die Klassen
11.4.1 Die Klasse
11.4.2 Die Klasse JVP. 351
L
11.4.4 Das P-iVP-Problem. 353
11.4.5 NP-Vollständigkeit. 354
11.5 Konkrete NP-vollständige Probleme. 357
11.5.1 SAT- Das Erfüllbarkeitsproblem der Aussagenlogik. 357
11.5.2 Weitere NP-vollständige Probleme. 361
11.6 Weitere Komplexitätsklassen. 369
11.6.1 Die Klasse PSPACE. 369
11.6.2 Komplementäre Komplexitätsklassen. 373
11.7 Zusammenfassung . 375
11.8 Bibliographische Hinweise und Ergänzungen. 376
11.9 Übungen. 377
12 Approximative und
12.1 Approximative Algorithmen für NP-vollständige Probleme. 381
12.1.1 Approximierbarkeit. 381
12.1.2 Lokale Verbesserung am Beispiel TSP. 384
12.1.3 Untere Schranken für das Approximieren. 388
χ
12.1.4 TSP in der Praxis.389
12.2
12.2.1 Die Klasse
12.2.2 Die Klasse ZPP. 394
12.2.3 Die Klasse BPP. 396
12.2.4 Anwendung: Verschlüsselung. 396
12.2.5 Anwendung: Sortieren. 404
12.3 Interaktive Beweissysteme. 405
12.4
12.5 Zusammenfassung . 415
12.6 Bibliographische Hinweise und Ergänzungen. 415
12.7 Übungen. 417
Literaturverzeichnis 419
Index 427 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Vossen, Gottfried 1955- Witt, Kurt-Ulrich 1953- |
| author_GND | (DE-588)121017168 (DE-588)131482513 |
| author_facet | Vossen, Gottfried 1955- Witt, Kurt-Ulrich 1953- |
| author_role | aut aut |
| author_sort | Vossen, Gottfried 1955- |
| author_variant | g v gv k u w kuw |
| building | Verbundindex |
| bvnumber | BV021321867 |
| classification_rvk | ST 110 ST 120 ST 130 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)179782585 (DE-599)BVBBV021321867 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 4., verb. und erw. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02075nam a2200457 c 4500</leader><controlfield tag="001">BV021321867</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131217 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060206s2006 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">978013093</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3834801534</subfield><subfield code="9">3-8348-0153-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783834801531</subfield><subfield code="9">978-3-8348-0153-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)179782585</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021321867</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-HE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-2070s</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Vossen, Gottfried</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121017168</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundkurs theoretische Informatik</subfield><subfield code="b">eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen</subfield><subfield code="c">Gottfried Vossen ; Kurt-Ulrich Witt</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4., verb. und erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 433 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Witt, Kurt-Ulrich</subfield><subfield code="d">1953-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131482513</subfield><subfield code="4">aut</subfield></datafield><datafield tag="780" ind1="0" ind2="0"><subfield code="i">1. und 2. Auflage</subfield><subfield code="t">Grundlagen der theoretischen Informatik mit Anwendungen</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2760627&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014642252&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014642252</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV021321867 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:59:11Z |
| indexdate | 2024-08-01T10:48:05Z |
| institution | BVB |
| isbn | 3834801534 9783834801531 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014642252 |
| oclc_num | 179782585 |
| open_access_boolean | |
| owner | DE-859 DE-863 DE-BY-FWS DE-1046 DE-573 DE-91G DE-BY-TUM DE-706 DE-Aug4 DE-M347 DE-860 DE-739 DE-858 DE-522 DE-523 DE-526 DE-19 DE-BY-UBM DE-83 DE-11 DE-2070s |
| owner_facet | DE-859 DE-863 DE-BY-FWS DE-1046 DE-573 DE-91G DE-BY-TUM DE-706 DE-Aug4 DE-M347 DE-860 DE-739 DE-858 DE-522 DE-523 DE-526 DE-19 DE-BY-UBM DE-83 DE-11 DE-2070s |
| physical | XII, 433 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Vieweg |
| record_format | marc |
| spellingShingle | Vossen, Gottfried 1955- Witt, Kurt-Ulrich 1953- Grundkurs theoretische Informatik eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
| title | Grundkurs theoretische Informatik eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen |
| title_auth | Grundkurs theoretische Informatik eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen |
| title_exact_search | Grundkurs theoretische Informatik eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen |
| title_exact_search_txtP | Grundkurs theoretische Informatik eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen |
| title_full | Grundkurs theoretische Informatik eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen Gottfried Vossen ; Kurt-Ulrich Witt |
| title_fullStr | Grundkurs theoretische Informatik eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen Gottfried Vossen ; Kurt-Ulrich Witt |
| title_full_unstemmed | Grundkurs theoretische Informatik eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen Gottfried Vossen ; Kurt-Ulrich Witt |
| title_old | Grundlagen der theoretischen Informatik mit Anwendungen |
| title_short | Grundkurs theoretische Informatik |
| title_sort | grundkurs theoretische informatik eine anwendungsbezogene einfuhrung fur studierende in allen informatik studiengangen |
| title_sub | eine anwendungsbezogene Einführung ; für Studierende in allen Informatik-Studiengängen |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Lehrbuch |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2760627&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014642252&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT vossengottfried grundkurstheoretischeinformatikeineanwendungsbezogeneeinfuhrungfurstudierendeinalleninformatikstudiengangen AT wittkurtulrich grundkurstheoretischeinformatikeineanwendungsbezogeneeinfuhrungfurstudierendeinalleninformatikstudiengangen |
Beschreibung
Würzburg Magazin
| Signatur: |
1911 2014:0708 |
|---|---|
| Exemplar 1 | ausleihbar Verfügbar Bestellen |