Fault-Tolerant Search Algorithms - Reliable Computation with Unreliable Information

Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combinatorial issues originally studied in the context of search find application in the most diverse areas of computer science and discrete mathematics. On the other hand, fault-tolerance is a necessary ingredient of computing. Due to their inherent complexity, information systems are naturally prone to errors, which may appear at any level - as imprecisions in the data, bugs in the software, or transient or permanent hardware failures. This book provides a concise, rigorous and up-to-date account of different approaches to fault-tolerance in the context of algorithmic search theory.

Thanks to their basic structure, search problems offer insights into how fault-tolerant techniques may be applied in various scenarios. In the first part of the book, a paradigmatic model for fault-tolerant search is presented, the Ulam-Rényi problem. Following a didactic approach, the author takes the reader on a tour of Ulam-Rényi problem variants of increasing complexity. In the context of this basic model, fundamental combinatorial and algorithmic issues in the design of fault-tolerant search procedures are discussed. The algorithmic efficiency achievable is analyzed with respect to the statistical nature of the error sources, and the amount of information on which the search algorithm bases its decisions. In the second part of the book, more general models of faults and fault-tolerance are considered. Special attention is given to the application of fault-tolerant search procedures to specific problems in distributed computing, bioinformatics and computational learning.

This book will be of special value to researchers from the areas of combinatorial search and fault-tolerant computation, but also to researchers in learning andcoding theory, databases, and artificial intelligence. Only basic training in discrete mathematics is assumed. Parts of the book can be used as the basis for specialized graduate courses on combinatorial search, or as supporting material for a graduate or undergraduate course on error-correcting codes.

List of contents

Prologue.- Fault-Tolerant Search à la Ulam-Rényi.- Adaptive vs. Nonadaptive Search.- Weighted Errors Over a General Channel.- Variations on a Theme of Ulam and Rényi.- Time-outs.- Broadcast and Learning.- References.- Index

About the author

The author received the award for the Best Italian Ph.D. thesis in Theoretical Computer Science, for work in this field, and he has since been awarded the Sofja Kovalevskaja Award of the Alexander von Humboldt Foundation and the German Federal Ministry of Research.

Summary

Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combinatorial issues originally studied in the context of search find application in the most diverse areas of computer science and discrete mathematics. On the other hand, fault-tolerance is a necessary ingredient of computing.  Due to their inherent complexity, information systems are naturally prone to errors, which may appear at any level – as imprecisions in the data, bugs in the software, or transient or permanent hardware failures. This book provides a concise, rigorous and up-to-date account of different approaches to fault-tolerance in the context of algorithmic search theory.  Thanks to their basic structure, search problems offer insights into how fault-tolerant techniques may be applied in various scenarios. In the first part of the book, a paradigmatic model for fault-tolerant search is presented, the Ulam—Rényi problem. Following a didactic approach, the author takes the reader on a tour of Ulam—Rényi problem variants of increasing complexity. In the context of this basic model, fundamental combinatorial and algorithmic issues in the design of fault-tolerant search procedures are discussed. The algorithmic efficiency achievable is analyzed with respect to the statistical nature of the error sources, and the amount of information on which the search algorithm bases its decisions. In the second part of the book, more general models of faults and fault-tolerance are considered. Special attention is given to the application of fault-tolerant search procedures to specific problems in distributed computing, bioinformatics and computational learning. This book will be of special value to researchers from the areas of combinatorial search and fault-tolerant computation, but also to researchers in learning andcoding theory, databases, and artificial intelligence. Only basic training in discrete mathematics is assumed. Parts of the book can be used as the basis for specialized graduate courses on combinatorial search, or as supporting material for a graduate or undergraduate course on error-correcting codes. 

Additional text

From the book reviews:
“The book is well-written and well-organized, and provides a rigorous and up-to-date account of a wide area of algorithmic fault-tolerant search. Each chapter is supplemented with useful bibliographical notes and exercises. … This book will be useful to students and researchers in many diverse areas, ranging from combinatorial search, to learning and coding theory. It is a most valuable addition to the EATCS Series ‘Monographs in Theoretical Computer Science’.” (Daniele Mundici, zbMATH, Vol. 1295, 2014)

Report

From the book reviews:
"The book is well-written and well-organized, and provides a rigorous and up-to-date account of a wide area of algorithmic fault-tolerant search. Each chapter is supplemented with useful bibliographical notes and exercises. ... This book will be useful to students and researchers in many diverse areas, ranging from combinatorial search, to learning and coding theory. It is a most valuable addition to the EATCS Series 'Monographs in Theoretical Computer Science'." (Daniele Mundici, zbMATH, Vol. 1295, 2014)

Product details

• Authors: Ferdinando Cicalese
• Publisher: Springer, Berlin
• Languages: English
• Product format: Hardback
• Released: 31.12.2013
• EAN: 9783642173264
• ISBN: 978-3-642-17326-4
• No. of pages: 207
• Dimensions: 163 mm x 17 mm x 240 mm
• Weight: 478 g
• Illustrations: XV, 207 p. 14 illus.
• Series: Monographs in Theoretical Computer Science. An EATCS Series; EATCS - Monographs in Theoretical Computer Science; Monographs in Theoretical Computer Science. An EATCS Series; EATCS - Monographs in Theoretical Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT