Teoria de Grafos

La teoria de grafos es una disciplina antigua con aplicaciones modernas. Se usan para resolver por ejemplo si se puede o no implementar un circuito sobre una placa de una sola capa, estudiar la estructura de una red, hallar el camino mas corto entre dos ciudades en una red de trasnportes, programar examenes y asignar canales a las emisoras de TV. Los problemas que se pueden resolver con tecnicas de la teoria de grafos aparecen practicamente en cualquier disciplina, por ejemplo se puede representar la competicion de especies distintas en un mismo nicho ecologico, analisisi de la influencia en la organizaciones, resultados de un toneo deportivo, numero de combinaciones diferentes de vuelos entre dos ciudades de una red aerea, determinar si es posible o no rrecorrer todas las calles de una ciudad sin pasar dos veces por la misma calle, hallar el numero de colores que se necesitan para colorear las regiones de un mapa, entre otras aplicaciones muy interesantes. Introduccion: Los grafos son estructuras discretas que constan de vertices y de aristas que conectan entre si esos vertices. Tipos de Grafos vamos a presentar los diferentes tipos de grafos mostrando la forma en que se puede utilizar cada uno de ellos para modelar uan red informatica. Supongamos que una red consta de ordenadores y de cables de red que conectan dichos ordenadores, podemos representar un ordenador mediante un punto y cada linea de cable mediante un segmento tal y como se muestra:(hay un ordenador en cada ciudad, imagine que se trata de una red policial)

En la red de la figura anterior hay a lo sumo una linea entre cada dos ordenadores, cada linea opera en ambas direcciones y ningun ordenador tiene una linea que lo conecte consigo mismo. Por tanto esta red se puede modela usando un grafo simple, que consta de vertices (que representan a los ordenadores) y de aristas no dirigidas (que representan a las lineas). Cada arista dos vertices distintos y no hay dos aristas que conecten un mismo par de vertices. Definicion 1:Un grafo simple G=(V,E) consta de V, un conjunto no vacio de vertices y de E, un conjunto de pares no ordenados de elementos distintos de V. a estos pares se les llama aristas. Cuando hay mucho trafico de informacion, puede haber lineas telefonicas multiples entre los ordenadores de la red, como se muestra en la sgte figura:

los grafos simples no bastan para modelar esta situacion, para ello emplearemos los multigrafos, que constan de vertices y de aristas no dirigidas entre esos vertices, pero admitiendo la existencia de aristas multiples entre pares de vertices. Todo grafo simple es un multigrafo sin embargo no todos los multigrafs son grafos simples, puesto que en un multigrafo puede haber dos o mas aristas conectando a un mismo par de vertices. No podemos usar simplemente un par de vertices para especificar la arista de un grafo si hay aristas multiples. Esto hace que la definicion formal de multigrafo sea un poco ma complicada. Definicion 2: un multigrafo G=(V,E) constan de un conjunto V de vertices, un conjunto E de aristas y una funcion f de E en {{u,v} | u,v e V,u!=v}. se dice que las aristas e1 y e2 son aristas multiples o paralelas si f(e1)=f(e2), es decir un arista (u,v) = arista(v,u) una red informatica puede contener una linea telefonica que conecte un ordenador consigo mismo(a efectos de diagnostico quiza), como se ilustra en la sgte figura:

no podemos usar multigrafos para representar estas redes , ya que no se admiten bucles o lazos(aristas que conectan un vertice consigo mismo) en un miltigrafo. En lugar de multigrafos utilizaremos pseudografos , que son mas generales que los multigrafos, ya qu un arista de un pseudografo puede conectar un vertice consigo mismo. Definicion 3: un psudografo G(V,E) consta de un conjunto V de vertices, un conjuento E de aristas y una funcion f de E en {{u,v} | u,v e V}. un arista e es un lazo si f(e)={u,u}={u} para algun u eV. Ahora puede que las lineas telefonicas de la red informatica no operene en las do direcciones. Por ejemplo en la sgte figura:

en la figura el ordenador de New York solo puede recibir datos de otros ordenadores, pero no puede enviar datos. Utilizamos grafos dirigidos para modelar redes de este tipo, las aristas de un gafo dirigido son pares ordenados, se admiten lazos pero no se admiten aristas paralelos en la misma direccion entre do vertices. Definicion 4: un grafo dirigido G=(V,E) constan de un conjunto de V vertices y de un conjuento E de aristas que so pares ordenados de lementos V. Utilizamos una flecha apuntando desde u hacia v para indicar la direccion de la arista(u,v) la sigiente tabla resume la terminologia que se emplea para los diferentes tipos de grafos

Terminologia Basica de Grafos Definicion 1: se dice que dos vertices u y v de un grafo no dirigido son adyacentes o vecinos en el grafo G si e={u,v} es una arista de G.se dice tambien que la arista e conecta a u y v. Definicion 2: el grado de un vertice de un grafo no dirigido es el numero de aristas incidentes con el , exceptuando los lazos, cada uno de los cuales contribuye con dos unidades al grado del vertice. El grado del vertice v se denota por

ejemplos: cuales son los grados de los vertices de los grafos G y H que s emuestran en a figura?

A los vertices de grado cero se les llama vertices aislados, claramente este vertice no es adyacente a ningun otro vertice. Se dice que un vertice es colgante o que es una hoja si y solo si tiene grado uno, por lo tanto este vertice es adyacente exactamente a un vertice distinto de el. Teorema 1 de los apretones de manos sea u G un grafo no dirigido G=(V,E) con e aristas entonces:

ejemplo: cuantas aristas hay en un grafo con diez vertices, cada uno de los cuales tiene grado seis? La suma de los grados sera 6*10=60 por formula 2e=60, entonces e=30 teorema 2 : todo grafo no dirigido tiene un numero par de vertices de grado impar Terminologia de grafos dirigidos: la terminologia de grafos dirigidos refleja el hecho de que a las aristas de un grafo dirigido se le asigna un sentido. Definicion: si (u,v) es un arista de un grafo dirigido G, se dice que u es adyacente a v y que v es adyacente dede u. Al vertoce u se le llama vertice inicial de (u,v) y a v de le llama vertice final o terminal de (u,v). los vertices inicial yfinal de un bucle coinciden. Definicion: en un grafo dirigido, el grado de entrada de un vertice v es el numero de aristas que tiene a v como vetice final. El grado d esalida de un vertice v, es el numero de aristas que tienen a v como vertice inicial(en un lazo el grado de netrada contribuye en uno y el grado de salida contribuye tambien en uno).

Ejemplo:

halla los grados de entrada y de salida de cada vertice del grafo dirigido G que se muestra en la figura anterior. Teorema 3 : sea G=(V,E) un grafo dirigido, entonces

Grafos Bipartitos hay ocaciones en que un grafo tiene la propiedad de que su conjunto de vertices se puede dividir en dos subconjuntos disjuntos tales que cada arista conecta un vertice e uno de estos subconjuntos con un vertice del otro subconjunto. Por ejemplo, consideramos el grafo que representa matrimonios entre las personas de un pueblo. En el cada persona se respresneta mediante un vertices y cada matrimonio se representa mediante una arista. Ademas cada arista conecta con un vertice del subconjunto de vertices qeu representna a los hombres con un vertices del subconjunto de vertices que representan a las mujeres del pueblo, esto nos lleva a la siguinete definicion: Definicion: se dice que un grafo simple G es bipartito si su conjunto de vertoces V se puede dividir en dos conjuntos disjuntos V1 y V2 tales que cada arista del grafo conecta un vertice de V1 con un vertice de V2(de manera que no haya ninguna arista que conecte entre si dos vertices de V1 ni tampoco dos vertices de V2)

El grafo G es bipartito, puesto que su conjunto de vertice es la union de dos conjuntos disjuntos {a,b,d} y {c,e,f,g} y cada arista conecta un vertice de uno de estos subconjuntos con un vertice del otro subconjunto.

El grafo H no es bipartito ya que su conjunto de vertices no s epuede dividir en dos subconjuntos d emodo que las aristas no conecten ningun par d evertices de un mismo subconjunto , considere los veritces a,b y f. Conclusion: un grafo es bipartito si y solo si se pueden colorear los vertices del grafo con dos colores de modo que ningun par d evertices adyacentes sean del mismo color. Tambien un grafo es bipartito si si slo si es imposible comenzar en un vertices y regresar a ese mismo vertice despues de recorrer un numero impar de aristas distintas. Grafos bipartitos completos: un grafo bipartito completo es un grafo cuyo conjunto de vertices esta formado por dos subconjuntos con m y n vertices, respectivamente y hay una arista entre dos vertices si y solo si un vertice esta en el primer subconjunto y el otro vertice esta en el segundo subconjunto

Algunas aplicaciones: Redes de area local: los ordenadores que hay en un mismo edificio, al igual que los perifericos como impresoras o trazadores graficos, se pueden conectar entre si por medio de una red de area local. Algunas de estas redes se basan en una topologia en estrella, en la que todos los dispositivos estan conectados a un dipositivo central de control. Puede representarse una red de area local usando un grafo bipartito completo, los mensajes se envia de mauina a maquina a traves del dispositivo central de control.