MATEMTICAS DISCRETAS Las matemticas discretas son un rea de las matemticas encargadas del estudio de los conjuntos discretos:

finitos o infinitos numerables. En oposicin a las matemticas continuas, que se encargan del estudio de conceptos como la continuidad y el cambio continuo, la matemticas discretas estudian estructuras cuyos elementos pueden contarse uno por uno separadamente. Es decir, los procesos en matemticas discretas son contables, como por ejemplo, los nmeros enteros, grafos y sentencias de lgica.1 Mientras que el clculo infinitesimal est fundado en los nmeros reales que no son numerables, la matemtica discreta es la base de todo lo relacionado con los nmeros naturales o conjuntos numerables. on fundamentales para la ciencia de la computacin, porque slo son computables las funciones de conjuntos numerables. La cla!e en matemticas discretas es que no es posible manejar las ideas de pro"imidad o l#mite y sua!idad en las cur!as, como se puede en el clculo. $or ejemplo, en matemticas discretas una incgnita puede ser % &, pero nunca se apro"imar a & por la i'quierda con %.(, %.((, %.(((, etc. Las grficas en matemticas discretas !ienen dadas por un conjunto finito de puntos que se pueden contar por separado) es decir, sus !ariables son discretas o digitales, mientras que las grficas en clculo son tra'os continuos de rectas o cur!as) es decir, sus !ariables son continuas o analgicas. QUE ES GRAFO Es un conjunto de objetos llamados !*rtices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto. on objeto de estudio de la teor#a de grafos. +#picamente, un grafo se representa grficamente como un conjunto de puntos ,!*rtices o nodos- unidos por l#neas ,aristas-.

.esde un punto de !ista prctico, los grafos permiten estudiar las interrelaciones entre unidades que interactan unas con otras. $or ejemplo, una red de computadoras puede representarse y estudiarse mediante un grafo, en el cual los !*rtices representan terminales y las aristas representan cone"iones ,las cuales, a su !e', pueden ser cables o cone"iones inalmbricas-. $rcticamente cualquier problema puede representarse mediante un grafo, y su estudio trasciende a las di!ersas reas de las ciencias e"actas y las ciencias sociales. Ejemplos La imagen es una representacin del siguiente grafo:

/:011,%,&,2,3,45 E:0111,%5,11,35,1%,&5,1%,35,1&,25,12,35,12,455

El 6ec6o que el !*rtice 1 sea adyacente con el !*rtice % puede ser denotado como 1 7 %.

En la +eor#a de las categor#as una categora puede ser considerada como un multigra o dirigido, con los objetos como !*rtices y los morfismos como aristas dirigidas.

En ciencias de la computacin los grafos dirigidos son usados para representar mquinas de estado finito y algunas otras estructuras discretas.

8na relacin binaria 9 en un conjunto : es un grafo dirigido simple. .os !*rtices a, b en : estn conectados por una arista dirigida ab si a9b.

TI!OS DE GRAFOS E"isten grafos que poseen propiedades destacables. ;lgunos ejemplos bsicos son:

<rafo nulo: aquel que no tiene !*rtices ni aristas. =tese que algunas personas e"igen que el conjunto de !*rtices no sea !ac#o en la definicin de grafo. <rafo !ac#o: aquel que no tiene aristas. <rafo tri!ial: aquel que tiene un !*rtice y ninguna arista. Gra o simple: aquel que no posee bucles o la'os. <rafo completo: grafo simple en el que cada par de !*rtices estn unidos por una arista, es decir, contiene todas las posibles aristas.

<rafo bipartito completo: sea aquel donde cada !*rtice en

una particin del conjunto de !*rtices es adyacente slo a cada !*rtice en

, es

, y !ice!ersa. , es aquel

<rafo bipartito: sea

una particin del conjunto de !*rtices y otro en .

donde cada arista tiene un !*rtice en

<rafo plano: aquel que puede ser dibujado en el plano cartesiano sin cruce de aristas.

>rbol: grafo cone"o sin ciclos.

8na generali'acin de los grafos son los llamados 6ipergrafos. TEOREMAS DE "A TEOR#A DE GRAFOS .os grafos son isomorfos si tienen el mismo nmero de !*rtices y aristas y, estas se corresponden con los mismos e"tremos. El grado del !*rtice de un grafo ,gr- es el nmero de aristas que tienen por e"tremo dic6o !*rtice. i dos grafos son isomorfos, los !*rtices que se corresponden tienen el mismo grado.

!rimer Teorema $e la Teora $e Gra os% todo grafo contiene un numero par o cero de !*rtices de grado impar. 8n subgrafo es un grafo que esta contenido dentro de otro grafo y que se obtiene eliminando algunas aristas y !*rtices del grafo principal. 8n grafo es regular si todos sus !*rtices tienen el mismo grado ? ,?@regular-. 8n grafo es completo si cada par de !*rtices son los e"tremos de una arista. .os grafos completos con el mismo numero de !*rtices son isomorfos. CIRCUITO EU"ERIA&O 8n ciclo euleriano o circuito euleriano es aquel camino que recorre todas las aristas de un grafo tan solo una nica !e', siendo condicin necesaria que regrese al !*rtice inicial de salida ,ciclo 0 camino en un grafo donde coinciden !*rtice inicial o de salida y !*rtice final o meta-. 8na definicin ms formal lo define como: Aaquel ciclo que contiene todas las aristas de un grafo solamente una !e'A. e debe tener en cuenta que no importa la repeticin de !*rtices mientras no se repitan aristas. En la teor#a de grafos, un camino euleriano es un camino que pasa por cada arista una y solo una !e'. 8n ciclo o circuito euleriano es un camino cerrado que recorre cada arista e"actamente una !e'. El problema de encontrar dic6os caminos fue discutido por primera !e' por Leon6ard Euler, en el famoso problema de los puentes de BCnigsberg. En relacin con los ciclos eulerianos Darl Eier6ol'er public la primera caracteri'acin completa de los grafos eulerianos en 1FG&, probando matemticamente que de 6ec6o los grafos eulerianos son e"actamente aquellos grafos que estn conectados con todos y donde cada uno de los !*rtices tienen grado par.