Advertisement

© 2020

Computational Complexity and Property Testing

On the Interplay Between Randomness and Computation

  • Oded Goldreich
Book

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12050)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12050)

Table of contents

  1. Front Matter
    Pages i-x
  2. Scott Decatur, Oded Goldreich, Dana Ron
    Pages 1-8
  3. Oded Goldreich, Liav Teichner
    Pages 119-140
  4. Oded Goldreich, Maya Leshkowitz
    Pages 178-198
  5. Oded Goldreich
    Pages 220-248
  6. Oded Goldreich, Guy N. Rothblum
    Pages 249-295
  7. Oded Goldreich, Guy N. Rothblum
    Pages 326-351
  8. Oded Goldreich
    Pages 352-362

About this book

Introduction

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.

Keywords

artificial intelligence computer networks computer security computer systems Computer-Aided Design (CAD) cryptography engineering formal logic formal proofs formal verifications graph theory internet mathematics network protocols network security probability signal processing software engineering theoretical computer science verification

Editors and affiliations

  1. 1.Weizmann Institute of ScienceRehovotIsrael

Bibliographic information

Industry Sectors
Automotive
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering
Finance, Business & Banking
Electronics