3.

Teora de los Grafos

Forma en que una relacin podra representarse mediante un diagrama al que se denomina grafo de una relacin.

3.1 Introduccin. Aun cuando se presentarn los grafos como sistemas matemticos abstractos, gran parte de su atractivo procede de las intuiciones que pueden obtenerse a partir de una representacin grfica. Sin embargo, todo aquello que parezca evidente a partir de las imgenes de los grafos deber de verificarse matemticamente, para evitar llegar a conclusiones errneas.

La teora de los grafos se aplica en campos tan diversos como las ciencias sociales, lingsticas, ciencias fsicas, ingeniera de la comunicacin, etc. Como consecuencia de su amplia gama de aplicaciones es til desarrollar y estudiar este tema en trminos abstractos, e interpretar sus resultados en trminos de los objetos de aquel sistema concreto en el que estamos interesados.

La teora de los grafos desempea tambin un papel importante en varios campos de las ciencias de la conmutacin, tales como la teora de la conmutacin y diseo lgico, inteligencia artificial, lenguajes formales, grficos por computadora, sistemas operativos, escritura de compiladores y organizacin y recuperacin de informacin.

Los grafos se utilizan mucho para modelar problemas pertenecientes a muchos campos, su construccin es un proceso consistente en decidir cules son las caractersticas o aspectos de un problema o aplicacin del mundo real que hay que representar para su anlisis o estudio. El modelo de una aplicacin depender mucho del punto de vista u objetivo que tenga quien haga el modelo de esa aplicacin.

Aplicaciones. En los ejemplos de aplicaciones de grafos vistos anteriormente obsrvese que todos los diagramas constan de un conjunto de puntos (nodos, vrtices) que se muestran mediante crculos, puntitos u otros iconos. En la terminologa de grafos, recibirn el nombre de puntos, nodos o vrtices. Adems, en todos los diagramas hay ciertos pares de nodos de estos que estn conectados entre s mediante lneas, aristas o arcos. Obsrvese que todas las lneas comienzan en un nodo y acaban en otro nodo. Si una arista tiene un sentido concreto, lo cual se indica mediante una cabeza de flecha, entonces se dice que est dirigida. En caso contrario, se dice que es no dirigida.

Definicin de un grafo.

La definicin de un grafo no contiene referencias de las longitudes o formas y posiciones de las aristas o de arcos que puedan conectar pares de nodos , y tampoco estimula ningn orden de las posiciones de los nodos. Por tanto, para un grafo dado no existe un nico diagrama que represente el grafo al grafo, y puede ocurrir que dos diagramas que tengan un aspecto completamente diferente entre si representen un mismo grafo.

3.1.1 Conceptos bsicos de grafos.

Los grafos se utilizan mucho para modelar problemas pertenecientes a muchos campos. La construccin de un modelo es, en esencia, un proceso consistente en decidir cules son las caractersticas o aspectos de un problema o aplicacin del mundo real que hay que representar para se anlisis o
estudio.

El modelo de una aplicacin depender mucho del punto de vista u objetivo que tenga quien haga en modelo de esa aplicacin.

Tarea para entregar a mano . un ejemplo donde se aplique los grafos.

Una definicin matemtica de grafo debe basarse en N, el conjunto de nodos, y en A, el conjunto de aristas. Toda arista esta asociada con dos nodos, esto es, existe una correspondencia entre las aristas y los pares de nodos. Un grafo en el cual toda arista es dirigida se denominar digrafo o grafo dirigido. Un grafo en el cual todas las aristas son no dirigidas se denominar grafo no dirigido. Si en un grafo hay aristas dirigidas y aristas no dirigidas, entonces e grafo de denomina mixto.