Produktnummer:
18bac5e968902d432c91dba5fae95f7dc0
| Themengebiete: | Computer-Aided Design (CAD) artificial intelligence computer networks computer security computer systems cryptography engineering formal logic formal proofs formal verifications |
|---|---|
| Veröffentlichungsdatum: | 03.04.2020 |
| EAN: | 9783030436629 |
| Sprache: | Englisch |
| Seitenzahl: | 382 |
| Produktart: | Unbekannt |
| Herausgeber: | Goldreich, Oded |
| Verlag: | Springer International Publishing |
| Untertitel: | On the Interplay Between Randomness and Computation |
Produktinformationen "Computational Complexity and Property Testing"
This volume contains a collection of studies in the areas of complexity theory and property testing. The 21 pieces of scientific work included were conducted at different times, mostly during the last decade. Although most of these works have been cited in the literature, none of them was formally published before. Within complexity theory the topics include constant-depth Boolean circuits, explicit construction of expander graphs, interactive proof systems, monotone formulae for majority, probabilistically checkable proofs (PCPs), pseudorandomness, worst-case to average-case reductions, and zero-knowledge proofs.Within property testing the topics include distribution testing, linearity testing, lower bounds on the query complexity (of property testing), testing graph properties, and tolerant testing. A common theme in this collection is the interplay between randomness and computation.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen