INGENIO. GH Técnicas de demostracion Fach de recepcién: enero 20 de 2007, Fach de aceplacion: morro 5 de 2007 Ing. José Fabio Dévila Escobar* Ing. Luz Myriors Podilla Gil"* El disefio de algoriimos es un actividad mental que lo llevan « cabo profesioncles de diferentes éreas, particularmente moteméticos ¢ ingenieros. Es considerada una de los octividades intelectuales més difciles, parficulormente cuando se tiene ‘que demostrar que el algorilmo es eficiente y correcto. La herramienta necesoria y suliciente pora verificar la correctitud de un olgoritmo es el Principio de Induccién Matemética |?1M).£lalgoritmo es la materia primo fundomentcl pora ‘el ingeniero y en especial para el de sistemas; con ellos se consiruyen programas y con programas se consiruye software complejo aplicable a todas las compos de la octividad humane, ‘Se muestra la construccién de un algoritmo dado en forma de pseudo cédigo y apoyados tenel Principio de Induccién Matemética realzamos la comprobacion dal mismo IntropucciOn El métode deductive, muy usade en malemética, obedece @ Ia siguiente ideo: “A portr de un cierto conjunto de axiomas aceptades sin demostracién y de reglos légicas ne contradictorias, se deducen oltos enunciados llomados teoremos combinando los axiomes y respetando en cada etapa los reglas lbgicas" Otro métode para demostrar resullados gonorales que dependen en algin sentido de los nimeros naturales es conacido con el nombre de Induccién Matemético. Esta dependencio de los némeros naturales significa: se sobe que una determinada cfirmacién 98 verdadera pora algunos casos pariculares y surue la pregunta: @Dicha ‘ofirmacién sigue siondo verdadera para los infinitos nimeros naturoles restantes? Existen muchas afirmaciones que sélo son vélides poro un nmero finito de casos y ‘en cansecuencio son folsas pra un nomero infnito de situaciones. El método de induccién matemética se aplica cuando: i. sabemos lo respuesta ol principio. ji, sabemos cémo determinar la respuesta en une etape a partir de la respuesio en le etope anterior, y ii. tenemos una expectativa [una ideo} de la respuesta generalAcapemico 1. @Qué es una demostracién? Una demestracién de un tearema matemético es una sucesién de posos queconducen claconclusiéndeseada. Los reglos que dichos sucesiones de pasos deben seguir fueron hechas explicitas cuando fue formalizada lo légica al principio de este siglo, y no han combiado desde entonces. Estas reglas pueden ser usedas para refutor una demostracién con errores l6gicos; sin embargo, no pueden ser usadas para encontrar una demastracién de lo cual no se tenga uno conjetura motemética expresade en términos de una proposicién, lo cual significe ‘que dade un argumenio éste debe ser convincente para que la proporcién por demostrar sea verdodera. La ldgica est relacioneda con lo que hace onvincentes 0 los ergumentes, 2. Principio de Induccion Matematica De los herramiantas mateméticos basicas dtles en la algorimio, quizé no haya ninguna més importante que le induecién motemético, No slo 10s permite demostar propiedades interesantes ocerca de lo correccién y eficencia de los algorimos, sino que edemds puede incluso uilizarse pare determinar qué propiedades es preciso probar. lo induccién molemética se emplea cada ver més por los expertos ‘en computacién. Lo inducci6n motemétice es una técnica de demostracién, la cucl se puede efinir dela siguiente forma: Suponga que se tiene uno funcién proporcional Pin) cuyo dominio de discurso es el conjunto de los nimeros ncturales, ademés asuma que: co} Paso Base. P{7) es verdadero, el cual es fécil de calcular, 4) Hipétesis inductive. Suporao verdadero paro un k el cual partenece @ los nimeros naturales, entonces Pk] se debe osumir verdadero, ©} Verificacién. Si Pik) es verdadero se debe comprobar para el siguiente término, es decir P{k+ 1). Por lo tanto se debe concluir que Pin} es verdadero para todo n en los naturales, A confinuacién se desorrollaré un elercicio de oplicacién del PIM PO):+2+9+4+5+64..40= 0 nen 2 3. Demostracién Se puede enunciar de la forma: lo sume de los n primeros numeros, donde n se encuentra en los nimeros naturales. La anterior proporcién tiene un velor de verdad, dependiende del numero que se le asigne an, el cual debe empezor desde 1, hasia un volor determinado. P(p):1424+3+4454+6+..40= 10) vnew @) Es un poco complejo realizar su demostracién de forma directo; es decirp => Poreso, esitilelprincipiodeinduecin rmotemética, para la verfcacién de este tipo de proposiciones, Sepuedeobservarquelopropesicion eslé escita on forma oscandente, pero también es posible escribir de forma descendente; esto 0s Phin 1) + h-2+..+1= ajn+ 1) tb) b) Si observamos tenemos escrito, la misma expresién, de dos formas: uno en la que se encuentro con ¢| (0) ¥ la otra con tb Ahora sii sumamos miembro @ rmiambro las dos expresiones: So)at42+5+448 Ste)=0+ 0-4-2) Ie Oat 25(e)ene lor tieloeielneie (sient) Qbservamos que en lo sume hoy A sumandos. Esto es: 2S{n) = an + 1) Despejande: sine) ‘ue era lo expresién original le forma de obtener lo proporcién iol fue de un motemético célebre. lo ideal es retomar el PIM pore probar secuencios que tengan un Comportamiento de sucesién, Tomondo lo onterior es posible comprobarlacorrecciéndeunalgoritmo el cual esté compuesto por uno serie de lineas consecutivas; esto le da un comporiomiento de sucesién y es ost como uflizamos o PIM para comprobar su correcta funcionamiento. Por tanto en el siguiente pseudocédigo se verd su oplicacién. Paro entender un poco esto realizamos el siguiente ejemplo.Funcién Averiguor (e} c€0 deo Mientras que (d <> e) hoga c& cto; ded; Fin_Mientras_que Escribirtc) Fin_Funcién_Averiguar. Final A continuacién tratamas de encontrar tune proposicién en términos de n, es decir P(in) que se obtiene del anterior fragmento de eédigo. Esto, inicialmente ‘es realizar una prusba de escitorio, la ‘cual tiene como fin extraer del cédigo los variables que intervienen. Para ello realizamos la siguiente toblo: o 6 6 12 18 24 30 36 Ahora rwalizando un anélisis detallodo podemos hacer: Para un valor n = 0, se tiene ce, =0 4,=0 qadte dnd, +l Lo cual se obtione lo proposicién Pf) Pink: ¢, =d, te -d, =a, +1 Con esta proposicién la probames con al PIM, el cual seré verdadero para todon = 0. Paso Base o Basico: Se compruebo para un n = 0, en le proposicion dade PIO|: cy = dy» e, dado que d, = 0, entonces ¢, = 0; lo que comprueba el paso bose, Paso Inductive © pase bacano: So asume un velor cvolquiora verdodero, sa este valor k, entonces: Pik: ¢, = d, * @, debe ser una tautologto, Paso veriicacién: En el cuol hoy que comprobar ol siguiante valor de k, el cucl es (k + J) en la proposicién. Esto o8: Phe TG = Aha 1 Fora comprobar trabajames el lodo iaquierdo de la igualdad: Esta iqualdad se obtieneporloestructura de control. (Nimero de veces que se ha ejecutado el ciclo). [Ahore por el poso inductive se tiene: Pik): ¢, = d, * e, reemplozando en | regula ’ + (d,*e) + INGENIO. @H Gaz letdl te= Gaz ell +d) Pood, + 1= 14d, =d,.,, igualdad ‘que se abtiene al camprabar el cédigo dodo anteriormente. Luego PIki+11: 6.) = d,,. 78, que era la que se deseaba demostar. Dado que cumple con los tres pasos bésicos del Principio de Induccisn Matematica, entonces la. proposicién: Piol: ¢, = d, + e, poro todo n=0, donde n esté en los niimeras naturales es verdadero. Nos hemes dado cuenta, que el PIM es dil ‘en la comprabacién de un algorimo dado. Ahora bien, ya con los anélisis realizades, podemos sin ningdn temor ‘cambiar el nombre del fragmento de ccédigo dade ontariormente. Es decir; Inicio Funcién Cuadredo ( ¢) ceo deo Mientras que (d <> e} haga c€cte, gedit; Fin Mientos que Esenibir(¢) Fin Funcién Averiguor Final. Lafunci6nyatone un nombre el cuales coherente con lo que la funciénrealza, para estar acordes con uno de los principios de ingeniera de software ConcLusiones En Ingenieria de Sistemas, los temos desarrollados en matematica discreta, fundamentan: el cnélisis algoritmico ¥ Ia complejidad computecional; lateoria de la computabilidad y eficiencic de programas, la teoria de lenguajas formales, el andlisis si su aplicacién a la compilacién de expresiones y programas; la detecciér y corteccién de errores; por mencionar EI Principio de Inducci6n matemética es Una herremienta itil para comprobor ue un algoritmo es corracto, es decir que haga lo que tenga que hacer; por tonto el PIM BRASSARD G., P Brotley. Fundomentos de Algoritmia. Editorial Prentice Holl 200 JOHNSONBAUGH Richard. Matematica discretas. Sexta edicién, Eeltoricl Prentice fal, 2008. MIGALLON Violeta y José Penadés, Motemética Discreta, Editorial Puntore ¥ Chip, 2004 SCHAUM' OUTLINES OF DISCRETE MATHEMATICS (2nd ed.): Theory and problems tip://www.saber.ula.ve/db/ssober/ edocs/guias/facultad_ingenieria computacion/logicay/Im-u2.pdt hitp://wmw.usergioarboleda.edy.co ‘motematicas/memarias/memorias 13/ indveci4C3%B3n%20Matem%C3%AT c0K20,%420Filos%4C3%83tica. pt h iixpat ocencia.mat.utfsm.cl/~esaez/ Universidad Libre La aided académia un compro inttciona Ingenieria Mecanica ke Registro Calificado Resoluciin M.EN. 2721 de 11 de julio de 2005 err CaSO) Che nee eae i) Cie eet eer ee ientfic,tecnobgica y humanistic, para Reet to ihgeiege eee eer tan obra de acuerdo con la ica las normas or eon Seer ee) Se te ewe co te eter amen porn fe Universidad Libre eet eer a eee eee Pease t ere ct oan cr Cee ee Se Secon aut lac y optimizacion de procesos Eee ee Cee ree er eee ae ic) Cegece rr ea cod P eon Ce Pc eet ere cere ie! er entre reo Motekcol