Matemticas Discretas

Alumno: Raymundo Chaquila, Luigi Abel Ray

20120358D

TEORA DE GRFICAS

Valiosa teora que gana importancia en las ciencias de la computacin, medicina,

economa, investigacin de operaciones y un gran campo que aun queda por
descubrir.

Da la posibilidad de representar relaciones entre diferentes estados llamados

vrtices, pudiendo representar como tambin no, una magnitud (ponderacin) entre
estos estados mediante aristas (orientadas o no).

Vrtice
Arista

TRAYECTOS Y CICLOS

La trayectoria descrita entre vrtices en una grfica ayuda a definir su conexidad

(siempre existe un trayecto)

Estas trayectorias de forma descompuesta define un sub-conjunto

o una componente de la grfica principal.

Cuando una trayectoria define un longitud entre un vrtice consigo mismo, sin
repetir una arista (lazo), se denomina ciclo.

Existen trayectorias a determinar para la solucin de problemas conocidos, entre los

que tenemos :
* Ciclo de Euler (Todas las aristas y todas las vrtices son recorridas una zona ves en
el caso de las aristas)
* Ciclo de Hamilton (Todas los vrtices una sola ves, excepto el inicial es recorrido).

OPTIMIZACIN DE RUTAS
(LA MS CORTA)

Se har uso de las ponderaciones de cada arista para determinar la longitud ptima de
un trayecto objetivo del ingeniero.

Dijktra introduce el mtodo de etiquetas temporales como permanentes, en un algoritmo

de barrido progresivo nodo a nodo.

A medida que se actualiza la distancia hasta cierto nodo (permanente) se actualizan los
temporales sucesivamente hasta llegar al vrtice deseado.

Posee un tiempo de calculo mximo cuadrtico.

REPRESENTACIN MATRICIAL E
ISOMORFISMO

Una forma ms matemtica de ver las grficas es mediante la matriz de adyacencia,

que indica la cantidad de rutas para llegar de un destino a otro.

Tienen la propiedad de encontrar la cantidad de rutas entre vrtices usando n

aristas, elevando nuestra matriz a la n.

Otra matriz conocida es la de incidencia donde se relaciones vrtices con aristas.

Se demuestra que si dos matrices son Isomorfas, estas tienen la misma matriz de
adyacencia, luego de darle forma a una grfica.7

Demostrar el isomorfismo entre grficas conlleva un tiempo exponencial o factorial en

el peor caso.

GRFICAS PLANAS

Implementadas en los circuitos impresos evitando cortos circuitos (aristas sin cruzar).

Si se presentan aristas que se cruzan, entre vrtices se puede hacer una reduccin eliminando
un vrtice.

Se verifica la ecuacin de Euler.

TEORA DE RBOLES

Sub clase de grficas (conexas) ms utilizadas orientadas a la organizacin y

clasificacin.

Presenta una raz (vrtice principal) ubicada en la parte superior.

Se determinan niveles a la cantidad de aristas mxima que se deben recorrer para ir de

la raz hasta el vrtice mas bajo.

Implementado en sistema de archivos de computadora, organigramas y jerarquizacin.

RBOLES DE EXPANSIN

Llamados as a un sub-conjunto de un grfico G que determina un rbol (grafico

conexo), pudindose hallar mas de un rbol en un solo grfico.

Se cuentan con 2 mtodos para hallar rboles llamados:

*Mtodo de ancho.- Anlisis por nivel.
*Mtodo de profundidad.- Barrido general, y luego retorno de nivel.

ARBOLES DE EXPANSIN MNIMA

Considerando ponderaciones en cada vrtice, se busca optimizar la

interconexin dentro de un rbol (todos pueden llegar a cualquiera)
mediante los mtodos:
* Algoritmo de Prim.( Hacer lo mejor localmente)
* Algoritmo de Kruskal.

RBOLES BINARIOS Y RECORRIDOS

DE ARBOLES

Se caracteriza por poseer cada vrtice como mximo 2 aristas , hijo izquierdo e hijo derecho. Si
todas las vrtices posee 2 aristas, este rbol se llama binario completo.

Dentro de este tipo de rbol se pueden hallar recorridos preordenados, entreordenados y

postordenados (definidas por la posicin de la raz).

RBOLES DE DECISIN Y TIEMPO

MNIMO DE HALLAZGO

Se busca especificar algoritmos de bsqueda para el menor tiempo en el peor caso.

Arboles de monedas.

ISOMORFISMO DE RBOLES Y
APLICACIONES

Encontramos de Raz Isomorfo y Binarios Isomorfo (respetar hijos)

Se puede analizar por grados de cada vrtice (rbol libre) o grado de

cada raz (Isomorfismo de Raz).

MODELOS DE REDES

Orientado a grficas dirigidas, con la finalidad de maximizar el flujo.

Se verifica que el flujo de salida es igual al de entrada en un vrtice que no es origen ni

fin.

Grfica con capacidad mxima y flujo que transporta.

EJEMPLOS Y REPRESENTACIONES

Pozos en una ciudad.

Red de transporte.

ALGORITMO DE MXIMO FLUJO

Anlisis de Causa y Efecto, a medida que aumentados en un vrtice el flujo, este

como afecta a las aristas adyacentes.

Herramientas de anlisis.

Efecto significativo.

Empezando con Flujo 0 e indicando Capacidades.

Se analiza el flujo mximo que precede a cada arista y aumentamos en una

unidad el flujo.

ACOPLAMIENTO

Conexin entre conjuntos independientes, prima el anlisis de flujo mximo de uno

sobre otro conjunto.

Red A y red J acopladas.

Tal acoplamiento puede ser mximo como mnimo, Teorema de Hall del matrimonio.