MATEMATICAS DISCRETAS

CARRERA: ING. EN SISTEMAS COMPUTACIONALES

UNIDAD VI TEORIA DE GRAFOS

FECHA: 09 DE DICIEMBRE DEL 2010

OBJETIVO
Dar a Conocer conceptos bsicos sobre Teora de grafos desde un punto de vista matemtico, como son; sus elementos, caractersticas, representacin y aplicaciones, Tambin saber porque influye en el diseo del software. Adems saber la importancia que son para las matemticas para la computacin.

INTRODUCCIN
El propsito de este texto formado es presentar un concepto bsico sobre los grafos como son representados sus partes esenciales de un grafo, cuales son sus objetos y sus lneas dirigidas. De igual daremos a conocer ampliamente sobre rboles, ms generales y puntos con relacin, su clasificacin, su estructura . Daremos a conocer cual es el recorrido de ordenamiento, Inorden, postorden.

Espero sea de su agrado.

ELEMENTOS Y CARACTERSTICAS DE LOS

GRAFOS

Las partes esenciales de un grafo son sus objetos y sus lneas dirigidas. Especficamente consiste en dos conjuntos uno no vacio de vrtices y el otro conjunto de aristas junto con una funcin. Sus caractersticas de un grafo son como diagramas de flujo cuyas lneas de conexin tienen direcciones asociadas en ellas.

REPRESENTACIN DE LOS GRAFOS

B

B GRAFO

C D MULTIGRAFO

Estructuras matriciales

Matriz de incidencia - El grafo est representado por una matriz de A (aristas) por V (vrtices), donde [arista, vrtice] contiene la informacin de la arista (1 conectado, 0 - no conectado) Matriz de adyacencia - El grafo est representado por una matriz cuadrada M de tamao n2, donde n es el nmero de vrtices. Si hay una arista entre un vrtice x y un vrtice y, entonces el elemento mx,y es 1, de lo contrario, es 0.

ALGORITMOS DE BUSQUEDA
EL

MTODO DE LA BURBUJA Este mtodo consiste en acomodar el vector moviendo el mayor hasta la ltima casilla comenzando desde la casilla cero del vector hasta haber acomodado el nmero ms grande el la ltima posicin, una vez acomodado el ms grande, prosigue a encontrar y acomodar el siguiente ms grande comparando de nuevo los nmeros desde el inicio del vector, y as sigue hasta ordenar todo los elementos el arreglo. Este algoritmo es muy deficiente ya que al ir comparando las casillas para buscar el siguiente ms grande, ste vuelve a comparar las ya ordenadas. METODO DE QUICK SORT El mtodo de ordenamiento Quick Short es actualmente el ms eficiente y veloz de los mtodos de ordenacin interna. Es tambin conocido con el nombre del mtodo rpido y de ordenamiento por particin. Este mtodo es una mejora sustancial del mtodo de intercambio directo y recibe el nombre de Quick Short por la velocidad con que ordena los elementos del arreglo. consiste en los siguiente: Se toma un elemento x de una posicin cualquiera del arreglo. Se trata de ubicar a x en la posicin correcta del arreglo, de tal forma que todos los elementos que se encuentran a su izquierda sean menores o iguales a x y todos los elementos que se encuentren
a su derecha sean mayores o iguales a x.

 METODO DE ORDENACION DE MEZCLA

ES PROBABLEMENTE EL MAS UTILIZADO POR SU FACIL COMPRENSION, LA IDEA CENTRAL DE ESTE ALGORITMO CONSISTE EN LA RELACION SUCECIVA DE UNA PARTICION Y UNA FUNSION QUE PRODUCE SECUENCIAS ORDENADAS DE LONGITUD CADA VEZ MAYOR. EN LA PRIMERA PASADA LA PARTICION ES LA LONGITUD 1 Y LA FUNCION O MEZCLA PRODUCE SECUENCIAS ORDENADAS DE LONGITUD 4. ESTE PROCESO SE REPITE ASTA LA LONGITUD DE LA SECUENCIA PARA LA PARTICON SEA MAYOR O IGUAL QUE ELNUMERO DE ELEMENTOS DEL NUMERO ORIGINAL.

APLICACIN DE GRAFOS

DISEO DE SOFTWARE

Ser de utilidad para la docencia y el aprendizaje de la teora de grafos (grapa teora), y otras disciplinas relacionadas como la ingeniera de organizacin industrial, la logstica y el transporte, investigacin operativa, el diseo de redes, etc. Grafos se puede usar perfectamente para el modelado y resolucin de problemas reales de cierto tamao y complejidad. Un grafo representa un modelo de una realidad empresarial en forma de red. Este modelo podr ser analizado desde distintos puntos de vista gracias a los algoritmos y funciones incorporados en el software Grafos.

PROGRAMACION CONCURRENTE

Programacin Concurrente. Grafos de precedencia. El trmino programacin concurrente o simplemente concurrencia se refiere a la ejecucin paralela de instrucciones o procesos (aunque sea seudoparalela se debern tener en cuanta las mismas consideraciones). Resulta conveniente revisar primero lo referente a las instrucciones.

ARBOLES
Son estructuras jerrquicas aplicadas sobre una coleccin de elementos objetos llamados nodos;uno de los cuales es conocido como raiz. Ademas se crea una relacion o parentesco entre los nodos dando como parentesco entrelos nodos dando lugar a los terminos como padre, hijo, hermano, antecesor, sucesor. Etc. Representan las estructuras no-lineales y dinamicas de datos mas importantes en computacion. Son grafos en los que dos vrtices estn conectados por exactamente un camino.

CLASIFICACION
rbol Distinto.

rbol Similar.
rbol Equivalente. rbol Completo.

ARBOL

DISTINTO

Se dice que dos rboles son distintos cuando sus estructuras son diferentes.

ARBOL

EQUIVALENTE

Son aquellos arboles que son similares y que adems los nodos contienen la misma informacin.

PROPIEDADES

Es una grafica aciclica conexa. En particular, un arbol no tiene lazos ni aristas paralelas. Todo rbol que no es vacio, tiene un nico nodo raz Un nodo X es descendiente directo de un nodo Y, si el nodo X es apuntado por el nodo Y . En este caso es comn utilizar la expresin X es hijo de Y. Un nodo X es antecesor directo de un nodo Y, si el nodo X apunta al nodo Y. En este caso es comn utilizar la expresin X es el padre de Y. Se dice que todos los nodos que son descendientes directos(hijos)de un mismo nodo (padre),son hermanos. Todo nodo que no tiene ramificaciones(hijos), se conoce con el nombre de terminal u hoja. Todo nodo que no es raz, ni terminal u hoja se conoce con el nombre de interior. Grado: es el numero de descendientes directos de un determinado nodo. Nivel: es el numero de arcos que deben de ser recorridos para llegar a un determinado nodo .Por definicin la raz tiene nivel 1. Altura del arbol: es el maximo numero de niveles de todos los nodos del arbol.

METODO DE ORDEN O RECORRIDO

Una de las operaciones mas importantes que realiza un rbol es el recorrido de los mismos. Recorrer significa visitar los nodos del rbol en forma sistemtica; de tal manera que todos los nodos del mismo sean visitados una sola vez.

 Recorrer Visitar

INORDEN

el subrbol izquierdo. el subrbol derecho.

la raz.

Recorrer

Visitar

PREORDEN

la raiz. el subrbol derecho.

Recorrer el surbol izquierdo.

Recorrer

Recorrer

POSTORDEN

el subrbol izquierdo.

Recorrer
Visitar

el surbol derecho.

la raiz.

REDES
Una red o esquema de representacin en Red es una forma de representacin de conocimiento lingstico en la que los conceptos y sus interrelaciones se representan mediante un grafo. En caso de que no existan ciclos, estas redes pueden ser visualizadas como rboles. Las redes semnticas son usadas, entre otras cosas, para representar mapas conceptuales y mentales. En un grafo o red semntica los elementos semnticos se representan por nodos. Dos elementos semnticos entre los que se admite se da la relacin semntica que representa la red, estarn unidos mediante una lnea, flecha o enlace o arista. Cierto tipo de relaciones no simtricas requieren grafos dirigidos que usan flechas en lugar de lneas.
Existe diversos tipos de relaciones semnticas como la hiponimia, hiperonimia, la meronimia, etc. Dado un conjunto de conceptos, elementos semnticos o trminos relacionados semnticamente mediante alguna relacin semntica, una red semntica representa estas relaciones en forma de grafo. Explcitamente, dado un conjunto de trminos {t1, t2,..., tn} y cierta relacin semntica simtrica entre ellos se construye un grafo G = (V,A) cumpliendo las siguientes condiciones: El conjunto V es el conjunto de vrtices o nodos del grafo. Este conjunto estar formado por n elementos (tantos vrtices como trminos relacionables). A cada uno de los vrtices del grafo representar uno de los trminos, por tanto los vrtices del grafo se llamarn: t1, t2,..., tn. El conjunto A es el conjunto de aristas o lneas del grafo. Dados dos vrtices (trminos) del grafo ti y tj existir una lnea aij que une los vrtices ti y tj si y slo si los trminos ti y tj estn relacionados.

REDES DE PETRI
Es un conjunto formado por R = {P,T,Pre,Post}, dnde P es un conjunto de fichas de cardinal n, T un conjunto de transiciones de cardinal m, Pre la aplicacin de incidencia previa que viene definida como, Pre: P x T Naturales y Post la aplicacin de incidencia posterior que viene definida como, Post: P x T Naturales Una red marcada es el conjunto formado por {R,M} donde R es una Red de Petri como la definida, M es una aplicacin denominada marcado y M: P- Naturales. Se asocia a cada ficha un nmero natural, denominado marca. Las marcas para una ficha se renen en columnas.

AUTOMATAS
Un

autmata a una mquina de estado finito excepto que el autmata tiene estado de aceptacin y rechazo en un lugar de una salida. Especficamente, un autmata finito M consta en cinco cosas;
1._

un conjunto finito A de smbolos de entrada. un conjunto s de estados internos.

2._

3._un

subconjunto T de S (cuyos elementos se llama estados de aceptacin).

4._un

estado inicial q en S.

5._

una funcin M se nota por M={A,S,T,q,f}

CONCLUCIONES
El trabajo que acabo de realizar explico sobre lo que son los grafos, y algunas derivaciones de ellos, as como su representacin grfica en algunos casos. Encontramos que son estructuras jerrquicas aplicadas sobre una coleccin de elementos objetos llamados nodos; uno de los cuales es conocido como raz. Representan las estructuras no-lineales y dinmicas de datos mas importantes en la computacin.

ESTRUCTURA

DE DATOS KAIRO GUARDATI (Arboles) TEORIA DE GRAFOS (MATEMATICAS DISCRETAS RICHAR JHON

REDES DE PETRI (Mathematics Para computation) SEYMUR LIPSHONTS

WWW.GRAFICOS.COM
WWW.MONOGRAFIAS.COM