Diseño de Perlas de Algoritmo Funcional- Richard S. Bird

Richard Bird adopta un enfoque radicalmente nuevo para el diseño de algoritmos, a saber, el diseño por cálculo. Estos 30 capítulos cortos tratan cada uno de un problema de programación particular, extraído de fuentes tan diversas como juegos y rompecabezas, intrigantes tareas combinatorias y áreas más familiares como la compresión de datos y la adaptación de cadenas. Cada perla comienza con la declaración del problema expresado usando el lenguaje de programación funcional Haskell, un lenguaje potente pero sucinto para capturar ideas algorítmicas de forma clara y sencilla. El nuevo aspecto del libro es que cada solución se calcula a partir de una formulación inicial del problema en Haskell apelando a las leyes de la programación funcional. Pearls of Functional Algorithm Design atraerá a los aspirantes a programadores funcionales, estudiantes y profesores interesados en los principios del diseño de algoritmos, y cualquier persona que busque dominar las técnicas de razonamiento sobre programas en un estilo ecuacional. Biografía Richard Bird es profesor de Ciencias de la Computación en el Laboratorio de Computación de la Universidad de Oxford. Tabla de contenido: Prefacio ix 1 El número libre más pequeño 1 2 Un problema sobresaliente 7 3 Mejora de la búsqueda en la silla de montar 12 4 Un problema de selección 21 5 Ordenar las sumas de parejas 27 6 Hacer un siglo 33 7 Construir un árbol con una altura mínima 41 8 Descifrar algoritmos codiciosos 50 9 Búsqueda de celebridades 56 10 Eliminación de duplicados 64 11 No la máxima suma de segmentos 73 12 Sufragios de clasificación 79 13 La transformación de Burrows-Wheeler 91 14 La última cola 102 15 Todos los prefijos comunes 112 16 El algoritmo de Boyer-Moore 117 17 Knuth-Morris -Pratt 127 18 La planificación resuelve el problema de la hora punta 136 19 Un solver simple de Sudoku 147 20 El problema de la cuenta atrás 156 21 Hilomorfismos y nexos 168 22 Tres formas de calcular determinantes 180 23 Dentro del casco convexo 188 24 Codificación aritmética racional 198 25 Codificación aritmética entera 208 26 Algoritmo de Schorr-Waite 221 27 Inserción ordenada 231 28 Algoritmos funcionales sin carga 242 29 El algoritmo Johnson-Trotter