En matemticas y

en ciencias

de

la

computacin,

la teora

de

grafos (tambin llamada teora de las grficas) estudia las propiedades de los grafos (tambin llamadas grficas). Un grafo es un conjunto, no vaco, de objetos llamados vrtices (o nodos) y una seleccin de pares de vrtices, llamados aristas (edges en ingls) ue pueden ser orientados o no. !picamente, un grafo se representa mediante una serie de puntos (los vrtices) conectados por lneas (las aristas). "istoria

#uentes de $%nigsberg. El trabajo de &eon'ard Euler, en ()*+, sobre el problema de los puentes de $%nigsberg es considerado el primer resultado de la teora de grafos. !ambin se considera uno de los primeros resultados topolgicos en geometra ( ue no depende de ninguna medida). Este ejemplo ilustra la profunda relacin entre la teora de grafos y la topologa. En (,-. /ustav $irc''off public sus leyes de los circuitos para calcular el voltaje y la corriente en los circuitos elctricos. En (,.0 1rancis /ut'rie plante el problema de los cuatro colores ue plantea si es posible, utili2ando solamente cuatro colores, colorear cual uier mapa de pases de tal forma ue dos pases vecinos nunca tengan el mismo

color. Este problema,

ue no fue resuelto 'asta un siglo despus

por $ennet' 3ppel y 4olfgang "a5en, puede ser considerado como el nacimiento de la teora de grafos. 3l tratar de resolverlo, los matemticos definieron trminos y conceptos tericos fundamentales de los grafos. 6editar7Estructuras de datos en la representacin de grafos Artculo principal: Grafo (estructura de datos) E8isten diferentes formas de almacenar grafos en una computadora. &a estructura de datos usada depende de las caractersticas del grafo y el algoritmo usado para manipularlo. Entre las estructuras ms sencillas y usadas se encuentran las listas y las matrices, aun ue frecuentemente se usa una combinacin de ambas. &as listas son preferidas en grafos dispersospor ue tienen un eficiente uso de la memoria. #or otro lado, las matrices proveen acceso rpido, pero pueden consumir grandes cantidades de memoria. 6editar7Estructura de lista

/rafo de lista de adyacencia.

lista de incidencia 9 &as aristas son representadas con un vector de pares (ordenados, si el grafo es dirigido), donde cada par representa una de las aristas.( lista de adyacencia 9 :ada vrtice tiene una lista de vrtices los cuales son adyacentes a l. Esto causa redundancia en un grafo no dirigido (ya ue 3 e8iste en la lista de adyacencia de ; y viceversa), pero las b<s uedas son ms rpidas, al costo de almacenamiento e8tra. En esta estructura de datos la idea es asociar a cada vrtice i del grafo una lista ue contenga todos a uellos vrtices j ue sean adyacentes a l. =e esta forma slo reservar memoria para los arcos adyacentes a i y no para todos los posibles arcos ue pudieran tener como origen i. El grafo, por tanto, se representa por medio de un vector de n componentes (si >?>@n) donde cada componente va a ser una lista de adyacencia correspondiente a cada uno de los vrtices del grafo. :ada elemento de la lista consta de un campo indicando el vrtice adyacente. En caso de ue el grafo sea eti uetado, 'abr ue aAadir un segundo campo para mostrar el valor de la eti ueta. 6editar7Estructuras matriciales Matriz de incidencia 9 El grafo est representado por una matri2 de 3 (aristas) por ? (vrtices), donde 6arista, vrtice7 contiene la informacin de la arista (( 9 conectado, B 9 no conectado) Matriz de adyacencia 9 El grafo est representado por una matri2 cuadrada C de tamaAo n0, donde n es el n<mero de vrtices. Di 'ay una arista entre un vrtice 8 y un vrtice y, entonces el elemento mx,y es (, de lo contrario, es B. 6editar7=efiniciones 6editar7Vrtice Artculo principal: Vrtice (teora de grafos)

&os vrtices constituyen uno de los dos elementos /rafos no le interesa saber qu son los vrtices.

ue forman un grafo.

:omo ocurre con el resto de las ramas de las matemticas, a la !eora de

=iferentes situaciones en las ue pueden identificarse objetos y relaciones ue satisfagan la definicin de grafo pueden verse como grafos y as aplicar la !eora de /rafos en ellos. 6editar7Grafo Artculo principal: Grafo

En la figura, ? @ E a, b, c, d, e, f F, y 3 @ E ab, ac, ae, bc, bd, df, ef F. Un grafo es una pareja de conjuntos G @ (V,A), donde V es el conjunto de vrtices, y A es el conjunto de aristas, este <ltimo es un conjunto de pares de la forma (u,v) tal ue . #ara simplificar, notaremos la

arista (a,b) como ab. En teora de grafos, slo ueda lo esencial del dibujoG la forma de las aristas no son relevantes, slo importa a u vrtices estn unidas. &a posicin de los vrtices tampoco importa, y se puede variar para obtener un dibujo ms claro. Cuc'as redes de uso cotidiano pueden ser modeladas con un grafoG una red de carreteras ue conecta ciudades, una red elctrica o la red de drenaje de una ciudad.

6editar7Subgrafo Un subgrafo de un grafo G es un grafo cuyos conjuntos de vrtices y aristas son subconjuntos de los de G. De dice necesidades de la situacin). El subgrafo inducido de G es un subgrafo G de G tal las aristas adyacentes al subconjunto de vrtices de G. Definicin: Dea /@(?, 3). /H@(?H,3H) se dice subgrafo de / siG (9 ?H 09 3I ? 3 ue contiene todas ue un grafo G contiene a otro grafo H si alg<n subgrafo de G es Ho es isomorfo a H (dependiendo de las

*9 (?H,3H) es un grafo Di /H@(?H,3H) es subgrafo de /, para todo v G es un subgrafo de G! / se cumple gr (/H,v)J gr (/, v)

6editar7"ristas dirigidas y no dirigidas

En algunos casos es necesario asignar un sentido a las aristas, por ejemplo, si se uiere representar la red de las calles de una ciudad con sus direcciones <nicas. El conjunto de aristas ser a'ora un subconjunto de todos los posibles pares ordenados de vrtices, con (a, b) K (b, a). &os grafos ue contienen aristas dirigidas se denominan grafos orientados, como el siguienteG &as aristas no orientadas se consideran bidireccionales para efectos prcticos (e uivale a decir ue e8isten dos aristas orientadas entre los nodos, cada una en un sentido). En el grafo anterior se 'a utili2ado una arista ue tiene sus dos e8tremos idnticosG es un la2o (o bucle), y aparece tambin una arista bidireccional, y corresponde a dos aristas orientadas. 3 u ? @ E a, b, c, d, e F, y 3 @ E #a$ c%, (d, a), (d, e), (a, e), (b, e), #c$ a%, #c$ c%, (d, b) F. De considera la caracterstica de LgradoL (positivo o negativo) de un vrtice v (y se indica como (v)), como la cantidad de aristas ue llegan o salen de lM para el caso de grafos no orientados, el grado de un vrtice es simplemente la cantidad de aristas incidentes a este vrtice. #or ejemplo, el grado positivo (salidas) de d es *, mientras ue el grado negativo (llegadas) de d es B. Deg<n la terminologa seguida en algunos problemas clsicos

de Nnvestigacin Operativa (p.ej.G el #roblema del flujo m8imo), a un vrtice

del ue slo salen aristas se le denominafuente (en el ejemplo anterior, el vrtice d)M tiene grado negativo B. #or el contrario, a a uellos en los ue slo entran aristas se les denomina po!o o sumidero (en el caso anterior, el vrtice e)M tiene grado positivo B. 3 continuacin se presentan las implementaciones en maude de grafos no dirigidos y de grafos dirigidos.En los dos casos, las especificaciones incluyen, adems de las operaciones generadoras, otras operaciones au8iliares. 6editar7&iclos y caminos 'amiltonianos Artculo principal: "iclo #amiltoniano

Ejemplo de un ciclo 'amiltoniano. Un ciclo es una sucesin de aristas adyacentes, donde no se recorre dos veces la misma arista, y donde se regresa al punto inicial. Un ciclo 'amiltoniano tiene adems ue recorrer todos los vrtices e8actamente una ve2 (e8cepto el vrtice del ue parte y al cual llega). #or ejemplo, en un museo grande (al estilo del &ouvre), lo idneo sera recorrer todas las salas una sola ve2, esto es buscar un ciclo 'amiltoniano en

el grafo ue representa el museo (los vrtices son las salas, y las aristas los corredores o puertas entre ellas). De 'abla tambin de camino 'amiltoniano si no se impone regresar al punto de partida, como en un museo con una <nica puerta de entrada. #or ejemplo, un caballo puede recorrer todas las casillas de un tablero de ajedre2 sin pasar dos veces por la mismaG es un camino 'amiltoniano. Ejemplo de un ciclo 'amiltoniano en el grafo del dodecaedro. "oy en da, no se conocen mtodos generales para 'allar un ciclo 'amiltoniano en tiempo polinmico, siendo la b<s ueda por fuer2a bruta de todos los posibles caminos u otros mtodos e8cesivamente costosos. E8isten, sin embargo, mtodos para descartar la e8istencia de ciclos o caminos 'amiltonianos en grafos pe ueAos. El problema de determinar la e8istencia de ciclos 'amiltonianos, entra en el conjunto de los P#9completos. 6editar7&aracterizacin de grafos 6editar7Grafos sim(les Un grafo es simple si 'ay s$lo ( arista QUE une dos vrtices cuales uiera. Esto es e uivalente a decir ue una arista cual uiera es la <nica ue une dos vrtices especficos. Un grafo ue no es simple se denomina %ultigr&fica o Gr&fo m'ltiple. 6editar7Grafos cone)os Un grafo es cone8o si cada par de vrtices est conectado por un caminoM es decir, si para cual uier par de vrtices (a, b), e8iste al menos un camino posible desde a 'acia b.

Un grafo es doblemente cone8o si cada par de vrtices est conectado por al menos dos caminos disjuntosM es decir, es cone8o y no e8iste un vrtice tal ue al sacarlo el grafo resultante sea discone8o. Es posible determinar si un grafo es cone8o usando un algoritmo ;<s ueda en anc'ura (;1D) o ;<s ueda en profundidad (=1D). En trminos matemticos la propiedad de un grafo de ser (fuertemente) cone8o permite establecer con base en l una relacin de e uivalencia para sus vrtices, la cual lleva a una particin de stos en Lcomponentes (fuertemente) cone8asL, es decir, porciones del grafo, ue son (fuertemente) cone8as cuando se consideran como grafos aislados. Esta propiedad es importante para muc'as demostraciones en teora de

grafos. 6editar7Grafos com(letos Artculo principal: Grafo completo Un grafo es completo si e8isten aristas uniendo todos los pares posibles de vrtices. Es decir, todo par de vrtices (a, b) debe tener una arista e ue los une. El conjunto de los grafos completos es denominado usualmente siendo el grafo completo de n vrtices. ,

Un

, es decir, grafo completo de n vrtices tiene e8actamente

aristas. &a representacin grfica de los da cuenta de su peculiar estructura. 6editar7Grafos bi(artitos Artculo principal: Grafo bipartito como los vrtices de un polgono regular

Un grafo / es bipartito si puede e8presarse como siguientes condicionesG V( y V0 son disjuntos y no vacos. :ada arista de 3 une un vrtice de ?( con uno de ?0. Po e8isten aristas uniendo dos elementos de ?(M anlogamente para ?0.

(es

decir, sus vrtices son la unin de dos grupos de vrtices), bajo las

;ajo estas condiciones, el grafo se considera bipartito, y puede describirse informalmente como el grafo ue une o relaciona dos conjuntos de elementos diferentes, como a uellos resultantes de los ejercicios y pu22les en los ue debe unirse un elemento de la columna 3 con un elemento de la columna ;. 6editar7*(eraciones en Grafos 6editar7Subdivisin elemental de una arista

se convierte en

De

reempla2a

la

arista

por

dos

aristas

y un vrtice (. =espus de reali2ar esta operacin, el grafo arista ms. 6editar7Eliminacin dbil de un vrtice Di y g(v) @ 0 (Dea v un vrtice del grafo y de grado dos) eliminarlo ue une los vrtices ueda con un vrtice y una

dbilmente significa reempla2arlo por una arista adyacentes a v.

se convierte en

Entonces eI y eII desaparecen y aparece 6editar7+omeomorfismo de grafos Artculo principal: Homeomorfismo de grafos =os grafos G( y G0 son 'omeomorfos si ambos pueden obtenerse a partir del mismo grafo con una sucesin de subdivisiones elementales de aristas. 6editar7,rboles Artculo principal: )rbol (teora de grafos)

Ejemplo de rbol. Un grafo ue no tiene ciclos y ue conecta a todos los puntos, se llama ue los

un rbol. En un grafo con n vrtices, los rboles tienen e8actamente n . aristas, y 'ay nn- rboles posibles. Du importancia radica en rboles son grafos ue conectan todos los vrtices utili2ando el menor ue

n<mero posible de aristas. Un importante campo de aplicacin de su estudio se encuentra en el anlisis filogentico, el de la filiacin de entidades derivan unas de otras en un proceso evolutivo, ue se aplica sobre todo a la averiguacin del parentesco entre especiesM aun ue se 'a usado tambin, por ejemplo, en el estudio del parentesco entre lenguas. 6editar7Grafos (onderados o eti/uetados En muc'os casos, es preciso atribuir a cada arista un n<mero especfico, llamado valuaci$n, ponderaci$n o coste seg<n el conte8to, y se obtiene as ungrafo valuado. 1ormalmente, es un grafo con una funcin vG 3 R 01. #or ejemplo, un representante comercial tiene ue visitar n ciudades

conectadas entre s por carreterasM su inters previsible ser minimi2ar la distancia recorrida (o el tiempo, si se pueden prever atascos). El grafo correspondiente tendr como vrtices las ciudades, como aristas las carreteras y la valuacin ser la distancia entre ellas. S, de momento, no se conocen mtodos generales para 'allar un ciclo de valuacin mnima, pero s para los caminos desde a 'asta b, sin ms condicin. 6editar72eorema de los cuatro colores Artculo principal: *eorema de los cuatro colores

En (,.0 1rancis /ut'rie plante el problema de los cuatro colores. Otro problema famoso relativo a los grafosG T:untos colores son necesarios para dibujar un mapa poltico, con la condicin obvia ue dos pases adyacentes no puedan tener el mismo colorU De supone ue los pases son de un solo peda2o, y ue el mundo es esfrico o plano. En un mundo en forma de toroideM el teorema siguiente no es vlidoG :uatro colores son siempre suficientes para colorear un mapa. El mapa siguiente muestra ue tres colores no bastanG Di se empie2a por el pas central a y se esfuer2a uno en utili2ar el menor n<mero de colores, entonces en la corona alrededor de a alternan dos colores. &legando al pas ' se tiene ue introducir un cuarto color. &o mismo sucede en i si se emplea el mismo mtodo. &a forma precisa de cada pas no importaM lo <nico relevante es saber u pas toca a u otro. Estos datos estn incluidos en el grafo donde los ue justamente son vrtices son los pases y las aristas conectan los distinto del de sus vecinos.

adyacentes. Entonces la cuestin e uivale a atribuir a cada vrtice un color

"emos visto ue tres colores no son suficientes, y demostrar ue con cinco siempre se llega, es bastante fcil. #ero el teorema de los cuatro colores no es nada obvio. #rueba de ello es ue se 'an tenido ue emplear ue ordenadores para acabar la demostracin (se 'a 'ec'o un programa

permiti verificar una multitud de casos, lo ue a'orr muc'simo tiempo a los matemticos). 1ue la primera ve2 ue la comunidad matemtica acept una demostracin asistida por ordenador, lo ue 'a creado una fuerte polmica dentro de la comunidad matemtica, llegando en algunos casos a plantearse la cuestin de ue esta demostracin y su aceptacin es uno de los momentos ue 'an generado una de las ms terribles crisis en el mundo matemtico. 6editar7&oloracin de grafos Artculo principal: "oloraci$n de grafos

:olores en los vrtices. =efinicinG Di /@(?, E) es un grafo no dirigido, una coloracin propia de /, ocurre cuando coloreamos los vrtices de / de modo ue si Ea, bF es una arista en / entonces a y b tienen diferentes colores. (#or lo tanto, los vrtices

adyacentes tienen colores diferentes). El n<mero mnimo de colores necesarios para una coloracin propia de / es el n<mero cromtico de / y se escribe como : (/). Dea / un grafo no dirigido sea V el n<mero de colores disponibles para la coloracin propia de los vrtices de /. Puestro objetivo es encontrar una funcin polinomial # (/,V), en la variable V, llamada polinomio cromtico de / , colores. =escomposicin de polinomios cromticos. Di /@(?, E) es un grafo cone8o y e pertenece a W , entoncesG # (/,V)@# (/Xe,V)X# (/Ye,V), donde /Ye es el grafo se obtene por contraccin de aristas. #ara cual uier grafo /, el trmino constante en # (/,V) es B Dea /@(?, E) con >E>ZB entonces, la suma de los coeficientes de # (/,V) es B. Dea /@(?, E), con a, b pertenecientes al conjunto de vrtices V pero Ea, bF@e, no perteneciente a al conjunto de aristas E. Escribimos /Xe para el grafo ue se obtiene de / al aAadir la arista e@Ea, bF. 3l identificar los vrtices a y b en /, obtenemos el subgrafo /XXe de /. 6editar7Grafos (lanos Artculo principal: Grafo plano ue nos indi ue el n<mero de coloraciones propias diferentes de los vrtices de /, usando un m8imo de V

Un grafo es (lano si se puede dibujar sin cruces de aristas. El problema de las tres casas y los tres po2os tiene solucin sobre el toro, pero no en el plano. :uando un grafo o multigrafo se puede dibujar en un plano sin segmentos se corten, se dice ue es plano. Un juego muy conocido es el siguienteG De dibujan tres casas y tres po2os. !odos los vecinos de las casas tienen el derec'o de utili2ar los tres po2os. :omo no se llevan bien en absoluto, no uieren cru2arse jams. TEs posible tra2ar los nueve caminos ue juntan las tres casas con los tres po2os sin ue 'aya crucesU :ual uier disposicin de las casas, los po2os y los caminos implica la presencia de al menos un cruce. Dea $n el grafo completo con n vrtices, $n,
p

ue dos

es

el grafo

bipartito de n y p vrtices. El juego anterior e uivale a descubrir si el grafo bipartito ue

completo $*,* es (lano, es decir, si se puede dibujar en un plano sin

'aya cruces, siendo la respuesta ue no. En general, puede determinarse

ue un grafo no es plano, si en su diseAo puede encontrase una estructura anloga (conocida como menor) a $. o a $*,*. Establecer u grafos son planos no es obvio, y es un problema ue tiene ue ver con topologa. 6editar7Dimetro

En la figura se nota

ue $- es plano (desviando la arista ab al e8terior del

cuadrado), ue $. no lo es, y ue $*,0 lo es tambin (desvos en gris). En un grafo, la distancia entre dos vrtices es el menor n<mero de aristas de un recorrido entre ellos. El dimetro, en una figura como en un grafo, es la mayor distancia entre dos puntos de la misma. El dimetro de los $n es (, y el de los $n,p es 0. Un dimetro infinito puede significar ue el grafo tiene una infinidad de vrtices o simplemente ue no es cone)o. !ambin se puede considerar el dimetro (romedio, como el promedio de las distancias entre dos vrtices. El mundo de Nnternet 'a puesto de moda esa idea del dimetroG Di descartamos los sitios ue no tienen enlaces, y escogemos dos pginas (eb al a2arG TEn cuntos clics se puede pasar de la primera a la segundaU El resultado es el dimetro de la [ed, vista como un grafo cuyos vrtices son los sitios, y cuyas aristas son lgicamente los enlaces. En el mundo real 'ay una analogaG tomando al a2ar dos seres 'umanos del mundo, TEn cuntos saltos se puede pasar de uno a otro, con la condicin

de slo saltar de una persona a otra cuando ellas se conocen personalmenteU :on esta definicin, se estima 'umanidad es de... \oc'o solamente] Este concepto refleja mejor la complejidad de una red ue el n<mero de sus elementos. Vase tambin: Glosario en teora de grafos 6editar73lgoritmos importantes 3lgoritmo de b<s ueda en anc'ura (;1D) 3lgoritmo de b<s ueda en profundidad (=1D) 3lgoritmo de b<s ueda 3^ 3lgoritmo del vecino ms cercano Ordenacin topolgica de un grafo 3lgoritmo de clculo de los componentes fuertemente cone8os de un grafo 3lgoritmo de =ij5stra 3lgoritmo de ;ellman91ord 3lgoritmo de #rim 3lgoritmo de 1ord91ul5erson 3lgoritmo de $rus5al 3lgoritmo de 1loyd94ars'all 6editar73plicaciones /racias a la teora de grafos se pueden resolver diversos problemas como por ejemplo la sntesis de circuitos secuenciales, contadores o sistemas de ue el dimetro de la

apertura. De utili2a para diferentes reas por ejemplo, =ibujo computacional, en toda las reas de Nngeniera. &os grafos se utili2an tambin para modelar trayectos como el de una lnea de autob<s a travs de las calles de una ciudad, en el ue podemos obtener caminos ptimos para el trayecto aplicando diversos algoritmos como puede ser el algoritmo de 1loyd. #ara la administracin de proyectos, utili2amos tcnicas como #E[! en las ue se modelan los mismos utili2ando grafos y optimi2ando los tiempos para concretar los mismos. &a teora de grafos tambin 'a servido de inspiracin para las ciencias sociales, en especial para desarrollar un concepto no metafrico de red social ue sustituye los nodos por los actores sociales y verifica la posicin, centralidad e importancia de cada actor dentro de la red. Esta medida permite cuantificar y abstraer relaciones complejas, de manera ue la estructura social puede representarse grficamente. #or ejemplo, una red social puede representar la estructura de poder dentro de una sociedad al identificar los vnculos (aristas), su direccin e intensidad y da idea de la manera en ue el poder se transmite y a uines. &os grafos son importantes en el estudio de la biologa y 'bitat. El vrtice representa un 'bitat y las aristas (o LedgesL en ingls) representa los senderos de los animales o las migracines. :on esta informacin, los cientficos pueden entender cmo esto puede cambiar o afectar a las especies en su 'bitat. 6editar7Nnvestigadores relevantes en !eora de grafos &eon'ard Euler Edsger =ij5stra #aul Erd_s

1ran5 "arary =nes $%nig $a2imier2 $urato`s5i /er'ard [ingel 4.!. !utte 6editar7?ase tambin /rafo Codelo en grafo 3lgoritmo de 1loyd [elacin social Nconografa de las correlaciones 6editar7[eferencias a Ejemplo de una lista de incidencia 6editar7Enlaces e8ternos

4i5imedia :ommons alberga contenido multimedia sobre 2eora de grafos. #ginas blancas de la !eora de grafos (para ms investigadores y publicaciones). L!eora de grafosL en la Enciclopedia &ibre Universal en EspaAol GrafosG Es un soft`are para la construccin, edicin y anlisis de grafos. 1orma parte de un proyecto (creative commons) de investigacin y desarrollo de aplicaciones informticas de diseAo modular orientadas 'acia la docencia,

investigacin

labores

profesionales

de Nngeniera

de

Organi2acin

Nndustrial. !ambin tiene un libro y otros documentos para descargar sobre teora de grafos. Gra('2'ingG Es un soft`are para la construccin, edicin y anlisis de grafos, es soft`are libre bajo la licencia gnu. aiSeeG Es un soft`are para la visuali2acin automtica de grafos

especificados en formato /=&. Po es libre, pero es gratuito para uso no comercial. "buGra('G 3plicacin bava para el tra2ado y la visuali2acin de grafos dirigidos. Doporta la creacin dinmica de grafos en tiempo real recibiendo comandos desde otras aplicaciones a travs de una cone8in !:#YN#. +l contenido de este artculo incorpora material de una entrada de la Enciclopedia Libre Universal, publicada en espa-ol ba.o la licencia "reative "ommons "ompartir/0gual 1232