Procesos Estocsticos con algo de historia de la Estadstica Ideas elementales (pero muy importantes) en el clculo de probabilidades Aproximacin a la recursin

En buena parte los aportes de Pascal y Huygens al naciente clculo de probabilidades se realizaron a travs de la recursividad o recursin. No ueron los iniciadores del mtodo. ! comienzos del siglo "III un matemtico italiano# $eonardo de Pisa# me%or conocido como &ibonacci# escribi ' a propsito de la reproduccin de cone%os ( una de las ecuaciones ms comentadas a travs de la )istoria de las matemticas*. Esta ecuacin )a tenido tantas y tan insospec)adas consecuencias +ue todav,a se ocupan de ella-. Esta ecuacin resuelve el siguiente problema . Imaginemos# escrib,a $eonardo# un par de cone%os adultos# mac)o y )embra# encerrados en un cercado donde pueden anidar y crear. /upongamos +ue los cone%os empiezan a procrear a los dos meses de su nacimiento# engendrando siempre un 0nico par mac)o()embra# y a partir de ese momento# cada uno de los meses siguientes un par ms# de iguales caracter,sticas. !dmitiendo +ue no muriese ninguno de los cone%itos# 1 2untos contendr,a el cercado al cabo de un a3o 4 5 Pascal y luego Huygens resuelven los primeros clculos relativos a los %uegos de azar utilizando la argumentacin recursiva. No es cual+uier cosa lo +ue estos pensadores proponen. En cierta orma se puede mirar el desarrollo )istrico del clculo de probabilidades como la aparicin de diversas ormas de argumentacin +ue llega )asta nuestra poca. !lrededor de *678 ya )an aparecido los inicios de dos tipos de argumentacin . los argumentos recursivos y los argumentos combinatorios. 9e%amos para un taller posterior la discusin de los argumentos combinatorios. Intentemos por a)ora# analizar ' a un nivel elemental ' los argumentos recursivos para apreciar me%or los aportes de los iniciadores. $a idea de recursividad es una idea interesante# redescubierta recientemente con ines pedaggicos y +ue cada d,a se amplia a causa del ormidable avance en los lengua%es de programacin. /e encuentra incorporada en todos los lengua%es modernos. 2itemos unos pocos . Pascal# 2::# ;at)ematica# ;at)$ab# <ava# Prolog. !dems de la computacin# la idea se atraviesa en el clculo de probabilidades# en los procesos estocsticos# en la inteligencia arti icial# en la programacin dinmica. Es una idea estupenda para a+uellos +ue se interesan en las matemticas y sus aplicaciones# es decir es una idea valiosa para la casi totalidad de pro esores# ingenieros# estad,sticos# cient, icos y estudiantes ' +ue en de initivas es buena parte del gnero )umano(. $a recursividad puede verse de varias maneras# pero una de ellas es apreciarla como una e=tensin de la induccin matemtica. >ecordemos uno de los muc)os enunciados +ue e=isten al respecto de induccin matemtica. Empieza con una proposicin (+ue puede ser cierta o alsa) acerca de un con%unto de n ob%etos. ( En una reunin de n %venes .....# ?n pol,gono regular de n lados....# En un torneo de tenis de n %ugadores ...# la suma de los cuadrados de los primeros n impares ...# ?na instalacin con n servidores de Internet ....# etc). Incluso le caben dos o ms variables (/e lanzan n dados con m caras#
* -

@oyer# 2arlA ! History o ;at)ematicsA Biley InternationalA *C6DA pgs -D8(-D5 E)e &ibonacci FuaterlyA )ttp.GGHHH.sdstate.eduGIHcscG)ttpG ib)ome.)tml 5 Jardner# ;art,nA ;iscelnea matemticaA @iblioteca 2ient, ica /alvatA *CD6A 2ap. **A Hermoso art,culo donde se encuentran muc)as propiedades de la serie de &ibonacci

/e env,an n camiones a m ciudades# se tienen n salas de computadores con m servidores# etc..). ?na prueba de induccin re+uiere dos etapas para demostrar +ue es cierta para todo valor no negativo n. $a argumentacin por induccin matemtica tiene el siguiente ormato . * Etapa inicial . pruebe que p* es cierta - Etapa de induccin . pruebe que si p* # p - #....# p n * son ciertas# entonces p n debe ser cierta E%emplo . El n0mero de subcon%untos +ue se pueden construir con n elementos es - n . /e incluye el con%unto vac,o . . !s, para n K 5 se tienen los siguientes subcon%untos .
M # M*L# M-L# M5L# M*#-L# M*#5L# M-#5L# M*#-#5LL

Prueba por induccin matemtica . *) Etapa inicial .$a proposicin p* es cierta. En e ecto el n0mero de subcon%untos con un solo elemento# en este caso el # M*LL o sea -* = - . -) Etapa de induccin . /upongamos +ue p n n0mero * son M * es n * cierta. Es decir +ue tenemos subcon%untos a partir de n(* elementos. 2ada uno de n * esos - con%untos da lugar a dos nuevos al considerar el elemento n. !+uellos donde aparece el elemento n y a+uellos donde no aparece el elemento n. N sea +ue el n0mero de subcon%untos con n elementos es - n * : - n * # es decir - n . $uego p n es cierta. /e proponen algunos e%ercicios para ir ganando )abilidades para la recursividad. $os e%ercicios de induccin matemtica son de la misma naturaleza y di icultad +ue los e%ercicios de recursividad. (E%emplos muy mentados en induccin matemtica. Oer por e%emplo. P) 9emuestre por induccin matemtica las siguientes propiedades . ( $a suma de los primeros n enteros es n(n +*) G ( $a suma de los primeros n impares es igual a n ( El n0mero de diagonales de un pol,gono conve=o de n lados es n( n 5) G ( A* A- ..... An = A* A- ..... An

$a recursividad tiene una lgica similar a la de la prueba por induccin. Procedemos a QconstruirR el ensimo ob%eto con la propiedad p n . /e saben dos cosas . *) /e sabe QconstruirR el ob%eto para un caso trivial# e%emplo para n K * -) /i a partir del ob%eto QconstruidoR en n '* se pudiese QconstruirR el ob%eto en n Entonces es posible QconstruirloR para cual+uier n. $a recursin tambin puede ser )acia atrs# con el siguiente sentido . tenemos un problema a QconstruirR para un numero n. /i supusisemos QconstruidoR el ob%eto con la propiedad n a partir de QconstruccionesR ms simples# por e%emplo a partir de n(*# y conocisemos la QconstruccinR trivial# para nK* o nK8A entonces podr,amos QconstruirR el ob%eto para todo n.

EucSer# !lanA !pplied 2ombinatoricsA BileyA *CD8

El verbo QconstruirR podr,a cambiarse por algunos de estos verbos . contar# dibu%ar# de inir# demostrar# conectar# mostrar# optimizar y claro tambin cabe el verbo . programar. /i de una tarea +ue se encuentra asociada a un numero n# se conocen# en primer lugar# el algoritmo para n K *# generalmente trivial y en segundo lugar# se puede escribir el algoritmo para n a partir del n(*# entonces se puede escribir el algoritmo para cual+uier n o bien# podemos plantear el algoritmo asociado a un n0mero n en uno o ms algoritmos asociados a n0meros menores de nA y conocemos el algoritmo trivial para nK8 o nK* entonces el algoritmo uncionar para cual+uier n0mero n. E=iste un %uego in antil en el cual se dispone de un montn de n (conocido) ob%etos# por e%emplo palillos. El %uego se realiza entre dos ni3os ! y @ +uienes escogen en orma alternada un grupo de palillos entre uno y tres. Pierde +uien es obligado a escoger el 0ltimo palillo. !# +uien comienza el %uego conoce la solucin trivial en caso de +ue n sea mayor +ue * y menor o igual a tres. 1 2mo %ugar,a ! 4 ?n banco abona el *T mensual a una cuenta de a)orros. Encontrar una ecuacin recursiva (o de recurrencia) +ue indi+ue la cantidad de dinero en la cuenta# seg0n . a) el a)orrador deposita una cantidad de * milln y la de%a en la cuenta por n meses. b) el a)orrador adems del milln inicial deposita una cantidad mensual de cien mil pesos. Recordando a Pascal Pascal# como varios de sus contemporneos eminentes era )ombre multi actico. En sus a3os de %uventud# gemetra de primer nivel y tambin constructor de una m+uina de sumar. (Oer pgina del museo de la I@;). &ue el iniciador de los argumentos recursivos en el clculo de probabilidades. >esolvi por este mtodo el amoso problema de los puntos . ! y @ llevan a cabo un torneo. En cada %uego tanto ! como @ tienen el mismo c)ance de ganar un punto. /e acuerda llevar el %uego )asta +ue alguno de ellos complete un n0mero determinado de puntos# por e%emplo D puntos ' Imag,nese dos ni3os %ugando al cara y sello (. ! lleva 6 puntos y @ lleva 7 puntos y de pronto llega el pro esor y el %uego se suspende. 1 2mo se debe repartir la apuesta 4 $e altan puntos a ! y 5 a @. Pascal suministr el siguiente argumento . /ea e( a# b) la raccin de la apuesta a avor de ! cuando le altan a puntos y a @ le altan b puntos. Entonces e(8# n) = *A e(n# n) = * G -A n = *#-#5#.... y

e(a# b) = * e(a *# b) + * e(a# b *) program recur1; function puntos(a,b:integer):real; begin if a=0 then puntos:=1 else if (a=b) then puntos :=0.5 else puntos:=0.5*puntos(a-1,b)+0.5*puntos(a,b-1); en ; begin !riteln(puntos(",#)); en .

Programa en P!/2!$ 7 para el problema de los puntos

?na versin del P!/2!$ (no la 0ltima) se puede ba%ar de la pgina de @N>$!N9

Encontrar las ecuaciones recursivas y escribir un programa en P!/2!$ para repartir la apuesta entre cuatro %ugadores !# @# 2# y 9 si a cada uno de ellos les altan 5#P#7 y 6 puntos respectivamente. Recordando a Huygens6 El ob%etivo de un %uego de azar es recurrir a la suerte para ganar una cierta cantidad de dinero tomando el riesgo de perder esa misma u otra cantidad de dinero. Huygens realiza un aporte al de inir con precisin algo +ue l llam el valor del %uego y +ue )oy conocemos como el valor esperado o la esperanza matemtica. /obre la mesa de %uego )ay una cantidad de inida de dinero t A el valor del %uego se mide entonces en las mismas unidades de t # de acuerdo a las siguientes reglas . *) /i e=iste igual c)ance de recibir a y b # entonces el valor del %uego o esperanza matemtica es (a + b) G -) /i e=iste igual c)ance para recibir a# b# c # entonces el valor esperado es 5) /i el n0mero de c)ances +ue producen a es p # y el n0mero de c)ances +ue producen b es q y todos los c)ances tienen las mismas posibilidades entonces el valor esperado de ese %uego es ( pa + qb) G( p + q ). Eodos los %uegos propuestos por Huygens tratan )asta donde es posible +ue sean %uegos legales. 9e esta manera sus proposiciones tiene un ormato similar . QEncontrar cuntas veces ...R# Qencontrar cuntos dados ..R de tal suerte +ue el %uego sea legal o lo ms pr=imo a la legalidad. $a legalidad del %uego se puede medir en el momento +ue el valor del %uego o esperanza sea muy cercana a U o +ue los c)ances a avor sean a los c)ances en contra como *.*. /e supondr,a +ue l est dispuesto a pagar ese valor por entrar en el %uego. !claremos estas proposiciones con dos situaciones )arto conocidas por los colombianos. El %ugador de baloto escoge 6 n0meros de P7A Parece ser +ue todos los n0meros tienen el mismo c)ance de salir de una urna en un evento +ue se realiza a la vista de todos los televidentes. En el sorteo del sbado -6 de Nctubre de -88- se otorgaban los siguientes premios . a) 5 aciertos . V P.888 b) P aciertos . 5C.888 c) 7 aciertos -. -C5.888 d) 6 aciertos . catorce mil millones de pesos. 1 2ul es el valor del %uego o esperanza del baloto# para un parro+uiano +ue )a decidido so3ar unas )oras 4. 1 2ul es el valor del c)ance 4 En la proposicin *8 de su amoso libro de %uegos Huygens se pregunta acerca del %uego de dados 1 2untas veces deber,a ! lanzar un dado para obtener un seis 4 El argumento est impl,cito en el principio 5. /uponga +ue tengo disponible para entregar en una mano cerrada V5 y en la otra V7. 1 2ul es el valor de lo +ue estoy dispuesto a entregar a alguien +ue participe en tan e=tra3o %uego seleccionando una mano 4 /e entregar,a 7(* G -) + 5(* G -) = P A 9e la misma manera se puede pensar +ue en el caso del dado el n0mero de lanzamientos es n +* y el valor del %uego con esos
6

(a + b + c) G 5

Hald Anders, A History of Probability and Statistics and Their Applications before 1750, Wiley, 1990; Cap t!lo "#

e+uivalente a %ugar el primer lanzamiento y luego posiblemente %ugar los n lanzamientos restantes. En el primer caso a tiene un c)ance de * a 6 en cuyo caso se apropia de t y en el segundo caso con un c)ance de 7 a 6 ! se podr,a apropiar de esta suma ms adelante. Es ms cil decirlo con ecuaciones . en +* = (* G 6)t + (7 G 6)en # e* = t G 6 . Huygens se pregunta en la proposicin *-# algo ms complicado 12untas veces se debe lanzar el dado para obtener dos ases 4 !+u, Huygens aporta la solucin mediante el encadenamiento de dos procedimientos recursivos . /ea s (n) el valor del %uego en n intentosA por lo tanto s - = t G 56 A Para n > - Huygens )ace el siguiente razonamiento . En la primera %ugada se puede obtener el primer as (con c)ance * a 6) en cuyo caso el %ugador ad+uiere el derec)o de pasar al %uego anterior en n * intentos. /i no saca el as (con c)ance 7 a 6) el %ugador debe intentar sacar los dos ases en las pr=imas n * %ugadas. Es decir . s (-) = t G 56A s(n) = * G 6e(n *) + 7 G 6 s(n *) n > pro$ra% rec!r&; f!nction '!e$o1(n)inte$er*)real; be$in if (n+1* then '!e$o1)+1," else '!e$o1)+(1,"* -(5,"*.'!e$o1(n/1*; end; f!nction '!e$o&(n)inte$er*)real; be$in if (n+&* then '!e$o&)+1,0" else '!e$o&)+ (1,"*.'!e$o1(n/1*-(5,"*.'!e$o&(n/1*; end; be$in 1riteln ('!e$o&(10**;

n +* lanzamientos es en + * . Entonces el valor del %uego con n +* lanzamientos es

end. Programa en Pascal (Proposicin *- de Huygens) 2on el mismo mtodo de Pascal y Huygens podemos escribir las ecuaciones recursivas para los siguientes casos (/i dispone de un computador# puede escribir los programas correspondientes y observar si las ecuaciones estn bien construidas) ( ( ( ( ( El n0mero de casos +ue resultan de distribuir n ob%etos distintos en 7 celdas distintas El n0mero de casos +ue resultan de distribuir n balotas idnticas en S ca%as di erentes El n0mero de secuencias binarias de n d,gitos +ue tienen e=actamente un par de ceros consecutivos El n0mero de escrutinios +ue se pueden realizar entre dos candidatos ! y @A en los cuales ! siempre lleva la delantera. ! tiene a votos# @ tiene b votos y a W b El n0mero de secuencias binarias de tama3o n en +ue el * siempre lleva la delantera.

$a recursividad result de una gran utilidad para la ciencia y la tcnica del siglo "". /irvi de base para la demostracin del amoso teorema de Jdel7. Adems, abri campos insospechados para los cientficos de la computacin, matemticos, profesores y programadores de computadores. El asunto requerira un estudio detenido. Los ingenieros de computacin y sistemas la utili an a diario. !eamos algunos problemas que se podran resol"er mediante procedimientos recursi"os #en forma de function y procedure en $A%&AL '. (ntente resol"er algunos de ellos ) ( ( 9ado un n0mero en decimal encontrar su e+uivalente en binario y viceversa Encontrar el n0mero +ue ocupa una permutacin dada si se listan en orden le=icogr icoA por e%emplo $as permutaciones de tama3o 5 son en orden le=icogr ico . *-5# *5-# -*5# -5*# 5*-# 5-* y si nos preguntan por la -*5 la respuesta es 5 Encontrar el n0mero +ue ocupa una combinacin dada de n elementos tomados de S en S en orden le=icogr ico. E%emplo si n = 6# k = 5 y el n0mero de la combinacin a encontrar es 7 entonces la respuesta debe ser *57. >esolver el problema inverso. dado el n0mero de la combinacin encontrarla. En el e%emplo anterior si el n0mero es *C la respuesta deber,a ser 576 ?na de inicin recursivaD de rbol binario .?n con%unto inito de nodos el cual puede ser o bien# vac,o# o bien# consistir en una ra,z y dos rboles binarios dis%untos llamados los subrboles iz+uierdo y derec)o de la ra,z. Investigue acerca del n0mero de rboles binarios con n nodos

POSI !ES I"#ES$I%A&IO"ES ES$'(IA"$I!ES ) $a utilizacin de la recursividad en el clculo de probabilidades rpidamente gan adeptos eminentes. $os @ernoulli# ;oivre y varios ms plantearon ecuaciones recursivas a lo largo del siglo "OIII# seg0n se aprecia en Hald. ?n estudiante con gusto por estos temas podr,a )acer un inventario de las ms amosas# e=plicar brevemente el conte=to en el cual aparecieron y su importancia en el desarrollo del clculo de probabilidades. $e ser de muc)a utilidad conocer los di erentes mtodos de solucin anal,tica +ue estos mismos autores ueron incorporando y +ue )oy son muy 0tiles# no slo en probabilidad# sino en toda la )istoria de las matemticas. ?n buen traba%o# +ue seguramente lo gozar un estudiante in+uisitivo (o in+uieto). 9aniel !rbelez 2ali# Noviembre de -885

Oer por e%emplo un clsico de los a3os D8A Ho stadter# 9ouglasA JYdel, Escher y *ach. +n eterno y grcil bucle, Editorial -usquets, *arcelona, ./0/ D Oer por e%emplo Znut)# 9onaldA E)e art o computer programmingA !ddison BesleyA Ool. *A pag. 58CA otro clsico# de los a3os X8
X