Introducción a la comprobación de propiedades

Título original:

Introduction to Property Testing

Contenido del libro:

La comprobación de propiedades se ocupa del diseño de algoritmos superrápidos para el análisis estructural de grandes cantidades de datos. El objetivo es desvelar características globales de los datos, como determinar si tienen una propiedad concreta o estimar parámetros globales.

Sorprendentemente, es posible tomar decisiones accediendo sólo a una pequeña parte de los datos. La comprobación de propiedades se centra en propiedades y parámetros que van más allá de la simple estadística.

Este libro ofrece una introducción exhaustiva y autorizada a la comprobación de propiedades. Ofrece una amplia gama de técnicas algorítmicas para el diseño y el análisis de pruebas de propiedades algebraicas, propiedades de funciones booleanas, propiedades gráficas y propiedades de distribuciones.