Komplexitätstheorie: Grenzen der Effizienz von Algorithmen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2003
|
| Schriftenreihe: | Springer-Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 321 S. graph. Darst. |
| ISBN: | 3540001611 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV015734564 | ||
| 003 | DE-604 | ||
| 005 | 20090326 | ||
| 007 | t | ||
| 008 | 021211s2003 d||| |||| 00||| ger d | ||
| 016 | 7 | |a 965711129 |2 DE-101 | |
| 020 | |a 3540001611 |9 3-540-00161-1 | ||
| 035 | |a (OCoLC)249549870 | ||
| 035 | |a (DE-599)BVBBV015734564 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-20 |a DE-824 |a DE-29T |a DE-739 |a DE-703 |a DE-863 |a DE-1050 |a DE-91G |a DE-M347 |a DE-92 |a DE-19 |a DE-706 |a DE-384 |a DE-521 |a DE-860 |a DE-634 |a DE-11 |a DE-525 |a DE-83 |a DE-2174 | ||
| 084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a 27 |2 sdnb | ||
| 084 | |a 68Q17 |2 msc | ||
| 084 | |a 68Q15 |2 msc | ||
| 084 | |a DAT 517f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 084 | |a 17,1 |2 ssgn | ||
| 100 | 1 | |a Wegener, Ingo |d 1950-2008 |e Verfasser |0 (DE-588)121274276 |4 aut | |
| 245 | 1 | 0 | |a Komplexitätstheorie |b Grenzen der Effizienz von Algorithmen |c Ingo Wegener |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2003 | |
| 300 | |a X, 321 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer-Lehrbuch | |
| 650 | 4 | |a Komplexitätstheorie - Lehrbuch | |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010121283&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010121283 | ||
Datensatz im Suchindex
| DE-BY-863_location | 1000 1340 |
|---|---|
| DE-BY-FWS_call_number | 1000/ST 134 W411 1340/ST 134 W411 |
| DE-BY-FWS_katkey | 196557 |
| DE-BY-FWS_media_number | 083101439513 083101439502 083100873835 083101439499 |
| _version_ | 1806195378885754880 |
| adam_text | Inhaltsverzeichnis
1. Einleitung................................................ 1
1.1 Was ist Komplexitätstheorie?............................ 1
1.2 Zum didaktischen Hintergrund........................... 6
1.3 Überblick.............................................. 7
1.4 Weiterführende Literatur................................ 10
2. Algorithmische Probleme und ihre Komplexität.......... 13
2.1 Was sind algorithmische Probleme?....................... 13
2.2 Einige wichtige algorithmische Probleme................... 15
2.3 Wie wird die Rechenzeit eines Algorithmus gemessen?....... 20
2.4 Die Komplexität algorithmischer Probleme ................ 25
3. Die grundlegenden Komplexitätsklassen.................. 29
3.1 Die Sonderrolle polynomieller Rechenzeiten................ 29
3.2 Randomisierte Algorithmen.............................. 31
3.3 Die grundlegenden Komplexitätsklassen für algorithmische
Probleme.............................................. 35
3.4 Die grundlegenden Komplexitätsklassen für Entscheidungs¬
probleme .............................................. 40
3.5 Nichtdeterminismus als Spezialfall von Randomisierung..... 44
4. Reduktionen — algorithmische Beziehungen zwischen Pro¬
blemen ................................................... 47
4.1 Wann sind sich Probleme algorithmisch ähnlich? ........... 47
4.2 Reduktionen zwischen den verschiedenen Varianten eines Pro¬
blems ................................................. 50
4.3 Reduktionen zwischen verwandten Problemen.............. 53
4.4 Reduktionen zwischen nicht verwandten Problemen......... 58
4.5 Die Sonderrolle polynomieller Reduktionen ................ 65
5. Die NP-Vollständigkeitstheorie........................... 69
5.1 Grundlegende Überlegungen............................. 69
5.2 Probleme in NP........................................ 73
5.3 Alternative Charakterisierungen von NP................... 75
VIII
Inhaltsverzeichi
5.4 Das Theorem von Cook................................. 77
6. NP-vollständige und NP-äquivalente Probleme........... 83
6.1 Grundlegende Überlegungen............................. 83
6.2 Rundreiseprobleme..................................... 83
6.3 Rucksackprobleme...................................... 84
6.4 Aufteilungsprobleme und Lastverteilungsprobleme.......... 87
6.5 Cliquenprobleme....................................... 87
6.6 Teambildungsprobleme.................................. 89
6.7 Meisterschaftsprobleme.................................. 91
7. Die Komplexitätsanalyse von Problemen ................. 95
7.1 Die Trennlinie zwischen einfachen und schwierigen Varianten
eines Problems......................................... 95
7.2 Pseudopolynomielle Algorithmen und starke NP-Vollständig¬
keit ................................................... 99
7.3 Ein Überblick über die betrachteten NP-Vollständigkeits¬
beweise ...............................................102
8. Die Komplexität von Approximationsproblemen - klassi¬
sche Resultate............................................105
8.1 Komplexitätsklassen.................................... 105
8.2 Approximationsalgorithmen.............................. 109
8.3 Die Lückentechnik...................................... 113
8.4 Approximationserhaltende Reduktionen................... 116
8.5 Vollständige Approximationsprobleme..................... 119
9. Die Komplexität von Black-Box-Problemen...............123
9.1 Black-Box-Optimierung.................................123
9.2 Das Minimax-Prinzip von Yao ...........................126
9.3 Untere Schranken für die Black-Box-Komplexität...........129
10. Weitere Komplexitätsklassen und Beziehungen zwischen den
Komplexitätsklassen......................................135
10.1 Grundlegende Überlegungen.............................135
10.2 Die Komplexitätsklassen innerhalb von NP und co-NP......136
10.3 Orakelklassen..........................................138
10.4 Die polynomielle Hierarchie..............................140
10.5 BPP, NP und die polynomielle Hierarchie .................147
11. Interaktive Beweise.......................................153
11.1 Grundlegende Überlegungen.............................153
11.2 Interaktive Beweissysteme...............................154
11.3 Zur Komplexität des Graphenisomorphieproblems..........156
11.4 Beweissysteme, die kein Wissen preisgeben.................163
Inhaltsverzeichnis
IX
12. Das PCP-Theorem und die Komplexität von Approximati¬
onsproblemen .............................................169
12.1 Randomisierte Verifikation von Beweisen..................169
12.2 Das PCP-Theorem .....................................172
12.3 Das PCP-Theorem und Nichtapproximierbarkeitsresultate . . . 182
12.4 Das PCP-Theorem und APX-Vollständigkeit...............186
13. Weitere klassische Themen der Komplexitätstheorie......195
13.1 Überblick..............................................195
13.2 Speicherplatzbasierte Komplexitätsklassen.................196
13.3 PSPACE-vollständige Probleme..........................199
13.4 Nichtdeterminismus und Determinismus bei Platzschranken . . 202
13.5 Nichtdeterminismus und Komplementbildung bei präzisen
Platzschranken.........................................203
13.6 Komplexitätsklassen innerhalb von
Ρ
.....................206
13.7 Die Komplexität von Anzahlproblemen....................209
14. Die Komplexität von nichtuniformen Problemen..........213
14.1 Grundlegende Überlegungen.............................213
14.2 Simulationen von Turingmaschinen durch Schaltkreise.......216
14.3 Simulationen von Schaltkreisen durch nichtuniforme Turing¬
maschinen .............................................218
14.4 Branchingprogramme und Platzbedarf.................... 222
14.5 Polynomielle Schaltkreise für Probleme in BPP.............224
14.6 Komplexitätsklassen für Berechnungen mit Hilfsinformationen 226
14.7 Gibt es polynomielle Schaltkreise für alle Probleme in NP? . . 227
15. Kommunikationskomplexität..............................231
15.1 Das Kommunikationsspiel ...............................231
15.2 Untere Schranken für die Kommunikationskomplexität ......236
15.3 Nichtdeterministische Kommunikationsprotokolle...........245
15.4 Randomisierte Kommunikationsprotokolle.................251
15.5 Kommunikationskomplexität und VLSI-Schaltkreise.........260
15.6 Kommunikationskomplexität und die Rechenzeit von Turing¬
maschinen .............................................261
16. Die Komplexität boolescher Funktionen..................265
16.1 Grundlegende Überlegungen.............................265
16.2 Die Größe von Schaltkreisen.............................266
16.3 Die Tiefe von Schaltkreisen..............................269
16.4 Die Größe von tiefenbeschränkten Schaltkreisen............274
16.5 Die Größe von tiefenbeschränkten Thresholdschaltkreisen .... 279
16.6 Die Größe von Branchingprogrammen.....................282
16.7 Reduktionskonzepte ....................................286
X
Inhaltsverzeichnis
Schlussbemerkungen..........................................293
Α.
Anhang...................................................295
A.l Größenordnungen und die O-Notation.....................295
A.2 Ergebnisse aus der Wahrscheinlichkeitstheorie..............299
Literaturverzeichnis ..........................................311
Sachverzeichnis...............................................315
|
| any_adam_object | 1 |
| author | Wegener, Ingo 1950-2008 |
| author_GND | (DE-588)121274276 |
| author_facet | Wegener, Ingo 1950-2008 |
| author_role | aut |
| author_sort | Wegener, Ingo 1950-2008 |
| author_variant | i w iw |
| building | Verbundindex |
| bvnumber | BV015734564 |
| classification_rvk | SK 890 ST 130 ST 134 |
| classification_tum | DAT 517f |
| ctrlnum | (OCoLC)249549870 (DE-599)BVBBV015734564 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01782nam a2200457 c 4500</leader><controlfield tag="001">BV015734564</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090326 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">021211s2003 d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">965711129</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540001611</subfield><subfield code="9">3-540-00161-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249549870</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV015734564</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="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-2174</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 890</subfield><subfield code="0">(DE-625)143267:</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">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q17</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">17,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wegener, Ingo</subfield><subfield code="d">1950-2008</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121274276</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Komplexitätstheorie</subfield><subfield code="b">Grenzen der Effizienz von Algorithmen</subfield><subfield code="c">Ingo Wegener</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 321 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="490" ind1="0" ind2=" "><subfield code="a">Springer-Lehrbuch</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Komplexitätstheorie - Lehrbuch</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg</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=010121283&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-010121283</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV015734564 |
| illustrated | Illustrated |
| indexdate | 2024-08-01T16:22:12Z |
| institution | BVB |
| isbn | 3540001611 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010121283 |
| oclc_num | 249549870 |
| open_access_boolean | |
| owner | DE-20 DE-824 DE-29T DE-739 DE-703 DE-863 DE-BY-FWS DE-1050 DE-91G DE-BY-TUM DE-M347 DE-92 DE-19 DE-BY-UBM DE-706 DE-384 DE-521 DE-860 DE-634 DE-11 DE-525 DE-83 DE-2174 |
| owner_facet | DE-20 DE-824 DE-29T DE-739 DE-703 DE-863 DE-BY-FWS DE-1050 DE-91G DE-BY-TUM DE-M347 DE-92 DE-19 DE-BY-UBM DE-706 DE-384 DE-521 DE-860 DE-634 DE-11 DE-525 DE-83 DE-2174 |
| physical | X, 321 S. graph. Darst. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer-Lehrbuch |
| spellingShingle | Wegener, Ingo 1950-2008 Komplexitätstheorie Grenzen der Effizienz von Algorithmen Komplexitätstheorie - Lehrbuch Komplexitätstheorie (DE-588)4120591-1 gnd |
| subject_GND | (DE-588)4120591-1 (DE-588)4123623-3 |
| title | Komplexitätstheorie Grenzen der Effizienz von Algorithmen |
| title_auth | Komplexitätstheorie Grenzen der Effizienz von Algorithmen |
| title_exact_search | Komplexitätstheorie Grenzen der Effizienz von Algorithmen |
| title_full | Komplexitätstheorie Grenzen der Effizienz von Algorithmen Ingo Wegener |
| title_fullStr | Komplexitätstheorie Grenzen der Effizienz von Algorithmen Ingo Wegener |
| title_full_unstemmed | Komplexitätstheorie Grenzen der Effizienz von Algorithmen Ingo Wegener |
| title_short | Komplexitätstheorie |
| title_sort | komplexitatstheorie grenzen der effizienz von algorithmen |
| title_sub | Grenzen der Effizienz von Algorithmen |
| topic | Komplexitätstheorie - Lehrbuch Komplexitätstheorie (DE-588)4120591-1 gnd |
| topic_facet | Komplexitätstheorie - Lehrbuch Komplexitätstheorie Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010121283&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT wegeneringo komplexitatstheoriegrenzendereffizienzvonalgorithmen |
Inhaltsverzeichnis
THWS Würzburg Zentralbibliothek Lesesaal
| Signatur: |
1000 ST 134 W411 |
|---|---|
| Exemplar 1 | ausleihbar Verfügbar Bestellen |
| Exemplar 2 | ausleihbar Verfügbar Bestellen |
| Exemplar 3 | ausleihbar Verfügbar Bestellen |
THWS Würzburg Teilbibliothek SHL, Raum I.2.11
| Signatur: |
1340 ST 134 W411 |
|---|---|
| Exemplar 1 | nicht ausleihbar Verfügbar Bestellen |