Algoritmos y Programación en Pascal

490 Apéndice A. Aspectos complementarios
15. Mediante el método de la transformada inversa, desarrolle un dado trucado que
dé las cantidades 1 a 6 con probabilidades arbitrarias dadas como dato.
16. Defina una función que genere una variable aleatoria a partir de una función de
distribución arbitraria F definida sobre el intervalo [a, b].
A.4 Referencias bibliográficas
Este apartado se ha centrado en el uso del azar, suponiendo que las herramientas
necesarias están incorporadas en nuestro lenguaje de programación, lo que es el caso
habitual. Sin embargo, el desarrollo de buenos generadores de números aleatorios no
es una tarea fácil, e incluso es frecuente encontrar en el mercado y en libros de texto
generadores con defectos importantes. En [Yak77, PM88, Dan89, War92], entre otras
referencias, se estudian los principios de su diseño, explicando el generador más difundido
actualmente (el de Lehmer) y examinando algunos de los errores de diseño más
frecuentes; en [War92, Sed88] se describen dos pruebas de calidad (el test espectral y el
de la chi-cuadrado).
La simulación de variables aleatorias no uniformes se estudia en multitud de textos.
El método de la transformada inversa se puede estudiar en [Yak77, Mor84, PV87],
entre otros textos, junto con otros métodos generales (el del “rechazo” y el de la “composición”).
Algunos métodos particulares para la simulación de la normal se pueden
encontrar en las dos últimas referencias. En [Dew85a] se vincula la simulación de variables
aleatorias con algunas aplicaciones de los algoritmos no deterministas a través
de amenos ejemplos y situaciones. De esta última referencia se ha tomado el método
del acontecimiento crítico, y otras aplicaciones prácticas de la simulación se pueden
encontrar en [PV87].
Finalmente, debemos indicar que en el apartado 20.5 se introducen otras aplicaciones
de los algoritmos no deterministas.
En este apéndice hemos tocado muy superficialmente la posibilidad de que los
parámetros de los subprogramas sean subprogramas a su vez. Esta posibilidad es ampliamente
explotada en otros modelos de programación como el funcional, por lo que el lector
interesado puede consultar cualquer referencia sobre el mismo, por ejemplo [BW89].
Los cierto es que, en programación imperativa, este mecanismo se usa en muy contadas
ocasiones.