Introduzione alla verifica delle proprietà

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Introduction to Property Testing

Contenuto del libro:

La verifica delle proprietà riguarda la progettazione di algoritmi superveloci per l'analisi strutturale di grandi quantità di dati. L'obiettivo è svelare le caratteristiche globali dei dati, ad esempio determinare se i dati hanno una particolare proprietà o stimare i parametri globali.

È sorprendente che sia possibile prendere decisioni accedendo solo a una piccola parte dei dati. I test sulle proprietà si concentrano su proprietà e parametri che vanno oltre la semplice statistica.

Questo libro fornisce un'ampia e autorevole introduzione ai test di proprietà. Fornisce un'ampia gamma di tecniche algoritmiche per la progettazione e l'analisi di test per proprietà algebriche, proprietà di funzioni booleane, proprietà di grafici e proprietà di distribuzioni.