1st Edition

Algorithm Design: A Methodological Approach - 150 problems and detailed solutions

    820 Pages 260 B/W Illustrations
    by Chapman & Hall

    820 Pages 260 B/W Illustrations
    by Chapman & Hall

    820 Pages 260 B/W Illustrations
    by Chapman & Hall

    A bestseller in its French edition, this book is original in its construction and its success in the French market demonstrates its appeal. It is based on three principles: (1) An organization of the chapters by families of algorithms: exhaustive search, divide and conquer, etc. On the contrary, there is no chapter devoted only to a systematic exposure of, say, algorithms on strings. Some of these will be found in different chapters. (2) For each family of algorithms, an introduction is given to the mathematical principles and the issues of a rigorous design, with one or two pedagogical examples. (3) For the most part, the book details 150 problems, spanning seven families of algorithms. For each problem, a precise and progressive statement is given. More importantly, a complete solution is detailed, with respect to the design principles that have been presented; often, some classical errors are pointed out. Roughly speaking, two-thirds of the book is devoted to the detailed rational construction of the solutions.

    Table of Contents

    Preface

    1. Mathematics and Computer Science: Some Useful Notions
    2. Complexity of an Algorithm
    3. Specifications, Invariants, Iteration
    4. Reduce and Conquer, Recursion
    5. Generate and Test
    6. Branch and Bound
    7. Greedy Algorithms
    8. Divide and Conquer
    9. Dynamic Programming

    Notations

    List of Problems

    Bibliography

    Index

    Biography

    Patrick Bosc, Marc Guyomard, and Laurent Miclet are former professors at Enssat, Engineering school of University of Rennes, France and senior researchers at IRISA. They have taught Data Structures, Algorithmic, Databases, Formal methods, Language theory, Compiling, etc. for numerous years at the Bachelor and Master levels.