Computational complexity: a modern approach
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
[2009]
|
| Schlagworte: | |
| Online-Zugang: | Volltext#Teil Inhaltsverzeichnis |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke Includes bibliographical references and index |
| Beschreibung: | xxiv, 579 Seiten Diagramme |
| ISBN: | 9780521424264 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035501288 | ||
| 003 | DE-604 | ||
| 005 | 20210914 | ||
| 007 | t | ||
| 008 | 090520s2009 xxk|||| |||| 00||| eng d | ||
| 010 | |a 2009002789 | ||
| 020 | |a 9780521424264 |c hbk. |9 978-0-521-42426-4 | ||
| 035 | |a (OCoLC)286431654 | ||
| 035 | |a (DE-599)BVBBV035501288 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-703 |a DE-20 |a DE-29T |a DE-83 |a DE-11 |a DE-384 |a DE-859 |a DE-92 |a DE-91G |a DE-634 |a DE-188 |a DE-706 |a DE-355 |a DE-573 | ||
| 050 | 0 | |a QA267.7 | |
| 082 | 0 | |a 512 | |
| 082 | 0 | |a 511.3/52 | |
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a 68Q15 |2 msc | ||
| 084 | |a 65Y20 |2 msc | ||
| 084 | |a DAT 517 |2 stub | ||
| 100 | 1 | |a Arora, Sanjeev |d 1968- |e Verfasser |0 (DE-588)113855516 |4 aut | |
| 245 | 1 | 0 | |a Computational complexity |b a modern approach |c Sanjeev Arora (Princeton University), Boaz Barak (Princeton University) |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c [2009] | |
| 264 | 4 | |c © 2009 | |
| 300 | |a xxiv, 579 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Computational complexity | |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Barak, Boaz |e Verfasser |0 (DE-588)13846023X |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 856 | 4 | 1 | |u https://theory.cs.princeton.edu/complexity/ |x Verlag |z kostenfrei |3 Volltext#Teil |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017557511&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017557511 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804139120422813696 |
|---|---|
| adam_text | Contents
About this book page
xiii
Acknowledgments
xvii
Introduction
xix
0
Notational conventions
........................... 1
0.1
Representing objects as strings
2
0.2
Decision problems/languages
3
0.3
Big-oh notation
3
EXERCISES
4
PART ONE: BASIC COMPLEXITY CLASSES
7
1
The computational model—and why it doesn t matter
.......... 9
I
.
I Modeling computation: What you really need to know
10
1.2
The Turing machine
11
1.3
Efficiency and running time
15
1.4
Machines as strings and the universal Turing machine
19
1.5
Uncomputability: An introduction
21
1.6
The Class
Ρ
24
1.7
Proof of Theorem
1.9:
Universal simulation in O(T log T)-time
29
CHAPTER NOTES AND HISTORY
32
EXERCISES
34
2
NP and NP completeness
.......................... 38
2.1
The Class NP
39
2.2
Reducibilitv and NP-completeness
42
2.3
The Cook-Levin Theorem: Computation is local
44
2.4
The web of reductions
50
2.5
Decision versus search
54
2.6
coNP.
EXP.
and NEXP
55
2.7
More thoughts about P, NP. and all that
57
CHAPTER NOTES AND HISTORY
62
EXERCISES
63
viii Contents
3 Diagonalization............................... 68
3.1
Time Hierarchy
Theorem 69
3.2
Nondeterministic Time Hierarchy Theorem
69
3.3
Ladner s Theorem: Existence of NP-intermediate problems
71
3.4
Oracle machines and the limits of diagonalization
72
CHAPTER NOTES AND HISTORY
76
EXERCISES
77
4
Space complexity
.............................. 78
4.1
Definition of space-bounded computation
78
4.2
PSPACE completeness
83
4.3
NL completeness
87
CHAPTER NOTES AND HISTORY
93
EXERCISES
93
5
The polynomial hierarchy and alternations
................ 95
5.1
The Class
Σ^
96
5.2
The polynomial hierarchy
97
5.3
Alternating Turing machines
99
5.4
Time versus alternations: Time-space tradeoffs for SAT
101
5.5
Defining the hierarchy via oracle machines
102
CHAPTER NOTES AND HISTORY
104
EXERCISES
104
6
Boolean circuits
............................... 106
6.1
Boolean circuits and P/p,,^
107
6.2
Uniformly generated circuits 111
6.3
Turing machines that take advice
112
6.4
P/p,,,,,
and NP
113
6.5
Circuit lower bounds
115
6.6
Nonuniform
Hierarchy Theorem
116
6.7
Finer gradations among circuit classes
116
6.8
Circuits of exponential size
119
CHAPTER NOTES AND HISTORY
120
EXERCISES
121
7
Randomized computation
......................... 123
7.1
Probabilistic Turing machines
124
7.2
Some examples of PTMs
126
7.3
One-sided and •zero-sided error: RP,coRP, ZPP
131
7.4
The robustness of our definitions
132
7.5
Relationship between BPP and other classes
135
7.6
Randomized reductions
138
7.7
Randomized space-bounded computation
139
CHAPTER NOTES AND HISTORY
140
EXERCISES
141
Contents
¡x
8 Interactive
proofs
.............................. 143
8.1 Interactive
proofs: Some variations
144
8.2
Public coins and AM
150
8.3
IP
=
PSPACE
157
8.4
The power of the
prover
162
8.5 Multiprover
interactive proofs
(МІР)
163
8.6
Program checking
164
8.7
Interactive proof for the permanent
167
CHAPTER NOTES AND HISTORY
169
EXERCISES
170
9
Cryptography
................................ 172
9.1
Perfect secrecy and its limitations
173
9.2
Computational security, one-way functions, and pseudorandom generators
175
9.3
Pseudorandom generators from one-way permutations
180
9.4
Zero knowledge
186
9.5
Some applications
189
CHAPTER NOTES AND HISTORY
194
EXERCISES
197
10
Quantum computation
........................... 201
10.1
Quantum weirdness: The two-slit experiment
202
10.2
Quantum superposition and qubits
204
10.3
Definition of quantum computation and BQP
209
10.4
Grover s search algorithm
216
10.5
Simon s algorithm
219
10.6
Shor s algorithm: Integer factorization using quantum computers
221
10.7
BQP and classical complexity classes
230
CHAPTER NOTES AND HISTORY
232
EXERCISES
234
11
PCP
theorem and hardness of approximation: An introduction
..... 237
11.1
Motivation: Approximate solutions to NP-hard optimization problems
238
11.2
Two views of the
PCP
Theorem
240
11.3
Equivalence of the two views
244
11.4
Hardness of approximation for vertex cover and independent set
247
11.5
NP ç
PCPfpolyW.l):
PCP
from the Walsh-Hadamard code
249
CHAPTER NOTES AND HISTORY
254
EXERCISES
255
PART TWO: LOWER BOUNDS FOR CONCRETE COMPUTATIONAL MODELS
257
12
Decision trees
................................ 259
12.1
Decision trees and decision tree complexity
259
12.2
Certificate complexity
262
12.3
Randomized decision trees
263
x
Contents
12.4
Some techniques for proving decision tree lower bounds
264
CHAPTER NOTES AND HISTORY
268
EXERCISES
269
13
Communication complexity
........................ 270
13.1
Definition of two-party communication complexity
271
13.2
Lower bound methods
272
13.3
Multiparty communication complexity
278
13.4
Overview of other communication models
280
CHAPTER NOTES AND HISTORY
282
EXERCISES
283
14
Circuit lower bounds: Complexity theory s Waterloo
........... 286
14.1
AC and Hastad s Switching Lemma
286
14.2
Circuits with counters : ACC
291
14.3
Lower bounds for monotone circuits
293
14.4
Circuit complexity: The frontier
297
14.5
Approaches using communication complexity
300
CHAPTER NOTES AND HISTORY
304
EXERCISES
305
15
Proof complexity
.............................. 307
15.1
Some examples
307
15.2
Propositional calculus and resolution
309
15.3
Other proof systems: A tour
d horizon
313
15.4
Metamathematical musings
315
CHAPTER NOTES AND HISTORY
316
EXERCISES
317
16
Algebraic computation models
....................... 318
16.1
Algebraic straight-line programs and algebraic circuits
319
16.2
Algebraic computation trees
326
16.3
The Blum-Shub-Smale model
331
CHAPTER NOTES AND HISTORY
334
EXERCISES
336
PART THREE: ADVANCED TOPICS
339
17
Complexity of counting
........................... 341
17.1
Examples of counting problems
342
17.2
The Class #P
344
17.3
#P completeness
345
17.4
Toda s theorem: PH
с
P#SAT
352
17.5
Open problems
358
CHAPTER NOTES AND HISTORY
359
EXERCISES
359
Contents xi
18
Average case complexity: Levin s theory
.................. 361
18.1
Distributional problems and distP
362
18.2
Formalization of real-life distributions
365
18.3
di stnp
and its complete problems
365
18.4
Philosophical and practical implications
369
CHAPTER NOTES AND HISTORY
371
EXERCISES
371
19
Hardness amplification and error-correcting codes
............ 373
19.1
Mild to strong hardness: Yao s XOR lemma
375
19.2
Tool: Error-correcting codes
379
19.3
Efficient decoding
385
19.4
Local decoding and hardness amplification
386
19.5
List decoding
392
19.6
Local list decoding: Getting to BPP
=
Ρ
394
CHAPTER NOTES AND HISTORY
398
EXERCISES
399
20
Derandomization
.............................. 402
20.1
Pseudorandom generators and derandomization
403
20.2
Proof of Theorem
20.6:
Nisan-Wigderson Construction
407
20.3
Derandomization under uniform assumptions
413
20.4
Derandomization requires circuit lower bounds
415
CHAPTER NOTES AND HISTORY
418
EXERCISES
419
21
Pseudorandom constructions: Expanders and extractors
......... 42
1
21.1
Random walks and eigenvalues
422
21.2
Expander graphs
426
21.3
Explicit construction of expander graphs
434
21.4
Deterministic logspace algorithm for undirected connectivity
440
21.5
Weak random sources and extractors
442
21.6
Pseudorandom generators for space-bounded computation
449
CHAPTER NOTES AND HISTORY
454
EXERCISES
456
22
Proofs of
PCP
theorems and the Fourier transform technique
...... 460
22.1
Constraint satisfaction problems with nonbinary alphabet
461
22.2
Proof of the
PCP
theorem
461
22.3
Hardness of 2C
S
Рц.-:
Tradeoff between gap and alphabet size
472
22.4
Hâstad s
3-bit
PCP
Theorem and hardness of MAX
-
3SAT
474
22.5
Tool: The Fourier transform technique
475
22.6
Coordinate functions, long Code, and its testing
480
22.7
Proof of Theorem
22.16 481
22.8
Hardness of approximating SET-COVER
486
22.9
Other
PCP
theorems: A survey
488
22.
A Transforming qCSP instances into nice instances
491
CHAPTER NOTES AND HISTORY
493
EXERCISES
495
xü
Contents
23
Why are circuit lower bounds so difficult?
................ 498
23.1
Definition of natural proofs
499
23.2
What s so natural about natural proofs?
500
23.3
Proof of Theorem
23.1 503
23.4
An unnatural lower bound
504
23.5
A philosophical view
505
CHAPTER NOTES AND HISTORY
506
EXERCISES
507
Appendix: Mathematical background
...................... 508
A.I Sets, functions, pairs, strings, graphs, logic
509
A.2 Probability theory
510
A.3 Number theory and groups
517
A.4 Finite fields
521
A.5 Basic facts from linear Algebra
522
A.6 Polynomials
527
Hints and selected exercises
531
Main theorems and definitions
545
Bibliography
549
Index
575
Complexity class index
579
|
| any_adam_object | 1 |
| author | Arora, Sanjeev 1968- Barak, Boaz |
| author_GND | (DE-588)113855516 (DE-588)13846023X |
| author_facet | Arora, Sanjeev 1968- Barak, Boaz |
| author_role | aut aut |
| author_sort | Arora, Sanjeev 1968- |
| author_variant | s a sa b b bb |
| building | Verbundindex |
| bvnumber | BV035501288 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.7 |
| callnumber-search | QA267.7 |
| callnumber-sort | QA 3267.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 134 |
| classification_tum | DAT 517 |
| collection | ebook |
| ctrlnum | (OCoLC)286431654 (DE-599)BVBBV035501288 |
| dewey-full | 512 511.3/52 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra 511 - General principles of mathematics |
| dewey-raw | 512 511.3/52 |
| dewey-search | 512 511.3/52 |
| dewey-sort | 3512 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02260nam a2200553 c 4500</leader><controlfield tag="001">BV035501288</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210914 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090520s2009 xxk|||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2009002789</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521424264</subfield><subfield code="c">hbk.</subfield><subfield code="9">978-0-521-42426-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)286431654</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035501288</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/52</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">68Q15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">65Y20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Arora, Sanjeev</subfield><subfield code="d">1968-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113855516</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational complexity</subfield><subfield code="b">a modern approach</subfield><subfield code="c">Sanjeev Arora (Princeton University), Boaz Barak (Princeton University)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">[2009]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxiv, 579 Seiten</subfield><subfield code="b">Diagramme</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="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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="689" ind1="1" ind2="0"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barak, Boaz</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13846023X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://theory.cs.princeton.edu/complexity/</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext#Teil</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</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=017557511&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017557511</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV035501288 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T21:39:02Z |
| institution | BVB |
| isbn | 9780521424264 |
| language | English |
| lccn | 2009002789 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017557511 |
| oclc_num | 286431654 |
| open_access_boolean | 1 |
| owner | DE-703 DE-20 DE-29T DE-83 DE-11 DE-384 DE-859 DE-92 DE-91G DE-BY-TUM DE-634 DE-188 DE-706 DE-355 DE-BY-UBR DE-573 |
| owner_facet | DE-703 DE-20 DE-29T DE-83 DE-11 DE-384 DE-859 DE-92 DE-91G DE-BY-TUM DE-634 DE-188 DE-706 DE-355 DE-BY-UBR DE-573 |
| physical | xxiv, 579 Seiten Diagramme |
| psigel | ebook |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Arora, Sanjeev 1968- Verfasser (DE-588)113855516 aut Computational complexity a modern approach Sanjeev Arora (Princeton University), Boaz Barak (Princeton University) Cambridge Cambridge University Press [2009] © 2009 xxiv, 579 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Includes bibliographical references and index Computational complexity Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 s DE-604 Berechnungskomplexität (DE-588)4134751-1 s 1\p DE-604 Barak, Boaz Verfasser (DE-588)13846023X aut Erscheint auch als Online-Ausgabe https://theory.cs.princeton.edu/complexity/ Verlag kostenfrei Volltext#Teil Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017557511&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Arora, Sanjeev 1968- Barak, Boaz Computational complexity a modern approach Computational complexity Berechnungskomplexität (DE-588)4134751-1 gnd Komplexitätstheorie (DE-588)4120591-1 gnd |
| subject_GND | (DE-588)4134751-1 (DE-588)4120591-1 |
| title | Computational complexity a modern approach |
| title_auth | Computational complexity a modern approach |
| title_exact_search | Computational complexity a modern approach |
| title_full | Computational complexity a modern approach Sanjeev Arora (Princeton University), Boaz Barak (Princeton University) |
| title_fullStr | Computational complexity a modern approach Sanjeev Arora (Princeton University), Boaz Barak (Princeton University) |
| title_full_unstemmed | Computational complexity a modern approach Sanjeev Arora (Princeton University), Boaz Barak (Princeton University) |
| title_short | Computational complexity |
| title_sort | computational complexity a modern approach |
| title_sub | a modern approach |
| topic | Computational complexity Berechnungskomplexität (DE-588)4134751-1 gnd Komplexitätstheorie (DE-588)4120591-1 gnd |
| topic_facet | Computational complexity Berechnungskomplexität Komplexitätstheorie |
| url | https://theory.cs.princeton.edu/complexity/ http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017557511&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT arorasanjeev computationalcomplexityamodernapproach AT barakboaz computationalcomplexityamodernapproach |