Skip to main content
  • Textbook
  • © 2022

Property Testing

Problems and Techniques

  • Introduces important results and techniques in property testing

  • Shows characterizations of constant-query testable properties

  • Written in a self-contained style

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 99.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (13 chapters)

  1. Front Matter

    Pages i-xix
  2. Part I

    1. Front Matter

      Pages 1-1
    2. Introduction

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 3-25
    3. Basic Techniques

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 27-43
  3. Part II

    1. Front Matter

      Pages 45-45
    2. Strings

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 47-69
    3. Graphs in the Adjacency Matrix Model

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 71-102
    4. Graphs in the Bounded-Degree Model

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 103-144
    5. Functions Over Hypercubes

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 145-184
    6. Massively Parameterized Model

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 185-211
    7. Vectors and Matrices Over the Reals

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 213-225
  4. Part III

    1. Front Matter

      Pages 227-227
    2. Graphs in the Adjacency Matrix Model: Characterizations via Regularity Lemmas

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 229-260
    3. Affine-Invariant Properties of Functions

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 289-321
    4. Linear Properties of Functions

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 323-368
    5. Massively Parameterized Model: Classification of Boolean CSPs

      • Arnab Bhattacharyya, Yuichi Yoshida
      Pages 369-388
  5. Back Matter

    Pages 389-427

About this book

This book introduces important results and techniques in property testing, where the goal is to design algorithms that decide whether their input satisfies a predetermined property in sublinear time, or even in constant time – that is, time is independent of the input size. 

This book consists of three parts. The first part provides an introduction to the foundations of property testing. The second part studies the testing of specific properties on strings, graphs, functions, and constraint satisfaction problems. Vectors and matrices over real numbers are also covered. The third part is more advanced and explains general conditions, including full characterizations, under which properties are constant-query testable.

The first and second parts of the book are intended for first-year graduate students in computer science. They should also be accessible to undergraduate students with the adequate background. The third part can be used by researchers or ambitious graduate students who want to gain a deeper theoretical understanding of property testing.

Authors and Affiliations

  • School of Computing, National University of Singapore, Singapore, Singapore

    Arnab Bhattacharyya

  • NII, National Institute of Informatics, Chiyodaku, Tokyo, Japan

    Yuichi Yoshida

About the authors

Arnab Bhattacharyya obtained his Ph.D. from the Massachusetts Institute of Technology in 2012 and is currently an assistant professor at the National University of Singapore. He is a recipient of the Singapore National Research Foundation Fellowship for AI (2019) and the Ramanujan Fellowship in India (2014). His research area is in the theoretical foundations of data science. 

Yuichi Yoshida received a Ph.D. from Kyoto University in 2012 and is currently an associate professor at National Institute of Informatics, Japan. He is awarded JSPS Ikushi Prize in 2012 and the Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology (The Young Scientists’ Prize) in 2017. His research interest is theoretical foundation of big data.

Bibliographic Information

  • Book Title: Property Testing

  • Book Subtitle: Problems and Techniques

  • Authors: Arnab Bhattacharyya, Yuichi Yoshida

  • DOI: https://doi.org/10.1007/978-981-16-8622-1

  • Publisher: Springer Singapore

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd 2022

  • Hardcover ISBN: 978-981-16-8621-4Published: 09 March 2022

  • Softcover ISBN: 978-981-16-8624-5Published: 10 March 2023

  • eBook ISBN: 978-981-16-8622-1Published: 08 March 2022

  • Edition Number: 1

  • Number of Pages: XIX, 427

  • Number of Illustrations: 13 b/w illustrations

  • Topics: Algorithm Analysis and Problem Complexity, Algorithms

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 99.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access