Definiciones

Vrtice
Los vrtices constituyen uno de los dos elementos que forman un grafo. Como ocurre con el resto de las ramas de las matemticas, a la Teora de Grafos no le interesa saber qu son los vrtices. Diferentes situaciones en las que pueden identificarse objetos y relaciones que satisfagan la definicin de grafo pueden verse como grafos y as aplicar la Teora de Grafos en ellos

Aristas dirigidas y no dirigidas

En algunos casos es necesario asignar un sentido a las aristas, por ejemplo, si se quiere representar la red de las calles de una ciudad con sus direcciones nicas. El conjunto de aristas ser ahora un subconjunto de todos los posibles pares ordenados de vrtices, con (a, b) (b, a). Los grafos que contienen aristas dirigidas se denominan grafos orientados, como el siguiente: Las aristas no orientadas se consideran bidireccionales para efectos prcticos (equivale a decir que existen dos aristas orientadas entre los nodos, cada una en un sentido). En el grafo anterior se ha utilizado una arista que tiene sus dos extremos idnticos: es un lazo (o bucle), y aparece tambin una arista bidireccional, y corresponde a dos aristas orientadas. Aqu V = { a, b, c, d, e }, y A = { (a, c), (d, a), (d, e), (a, e), (b, e), (c, a), (c, c), (d, b) }. Se considera la caracterstica de "grado" (positivo o negativo) de un vrtice v (y se indica como (v)), como la cantidad de aristas que llegan o salen de l; para el caso de grafos no orientados, el grado de un vrtice es simplemente la cantidad de aristas incidentes a este vrtice. Por ejemplo, el grado positivo (salidas) de d es 3, mientras que el grado negativo (llegadas) de d es 0. Segn la terminologa seguida en algunos problemas clsicos de Investigacin Operativa (p.ej.: el Problema del flujo mximo), a un vrtice del que slo salen aristas se le denomina fuente (en el ejemplo anterior, el vrtice d); tiene grado negativo 0. Por el contrario, a aquellos en los que slo entran aristas se les denomina pozo o sumidero (en el caso anterior, el vrtice e); tiene grado positivo 0. A 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 auxiliares

Caracterizacin de grafos
[editar] Grafos simples

Un grafo es simple si a lo ms existe una arista uniendo dos vrtices cualesquiera. Esto es equivalente a decir que una arista cualquiera es la nica que une dos vrtices especficos. Un grafo que no es simple se denomina multigrafo.
[editar] Grafos conexos

Un grafo es conexo si cada par de vrtices est conectado por un camino; es decir, si para cualquier par de vrtices (a, b), existe al menos un camino posible desde a hacia b. Un grafo es doblemente conexo si cada par de vrtices est conectado por al menos dos caminos disjuntos; es decir, es conexo y no existe un vrtice tal que al sacarlo el grafo resultante sea disconexo. Es posible determinar si un grafo es conexo usando un algoritmo Bsqueda en anchura (BFS) o Bsqueda en profundidad (DFS). En trminos matemticos la propiedad de un grafo de ser (fuertemente) conexo permite establecer con base en l una relacin de equivalencia para sus vrtices, la cual lleva a una particin de stos en "componentes (fuertemente) conexas", es decir, porciones del grafo, que son (fuertemente) conexas cuando se consideran como grafos aislados. Esta propiedad es importante para muchas demostraciones en teora de grafos.

[editar] Grafos completos Artculo principal: Grafo completo

Un grafo es completo si existen aristas uniendo todos los pares posibles de vrtices. Es decir, todo par de vrtices (a, b) debe tener una arista e que los une.

El conjunto de los grafos completos es denominado usualmente completo de n vrtices.

, siendo

el grafo

Un

, es decir, grafo completo de n vrtices tiene exactamente

aristas.

La representacin grfica de los su peculiar estructura.

[editar] Grafos bipartitos Artculo principal: Grafo bipartito

como los vrtices de un polgono regular da cuenta de

Un grafo G es bipartito si puede expresarse como (es decir, sus vrtices son la unin de dos grupos de vrtices), bajo las siguientes condiciones:

V1 y V2 son disjuntos y no vacos. Cada arista de A une un vrtice de V1 con uno de V2. No existen aristas uniendo dos elementos de V1; anlogamente para V2.

Bajo estas condiciones, el grafo se considera bipartito, y puede describirse informalmente como el grafo que une o relaciona dos conjuntos de elementos diferentes, como aquellos resultantes de los ejercicios y puzzles en los que debe unirse un elemento de la columna A con un elemento de la columna B.

[editar] Operaciones en Grafos

[editar] Subdivisin elemental de una arista

se convierte en Se reemplaza la arista vrtice w. por dos aristas y un

Despus de realizar esta operacin, el grafo queda con un vrtice y una arista ms.
[editar] Eliminacin dbil de un vrtice

Si y g(v) = 2 (Sea v un vrtice del grafo y de grado dos) eliminarlo dbilmente significa reemplazarlo por una arista que une los vrtices adyacentes a v. se convierte en Entonces e' y e'' desaparecen y aparece

[editar] Homeomorfismo de grafos

Artculo principal: Homeomorfismo de grafos

Dos grafos G1 y G2 son homeomorfos si ambos pueden obtenerse a partir del mismo grafo con una sucesin de subdivisiones elementales de aristas.

[editar] rboles
Artculo principal: rbol (teora de grafos)

Ejemplo de rbol.

Un grafo que no tiene ciclos y que conecta a todos los puntos, se llama un rbol. En un grafo con n vrtices, los rboles tienen exactamente n - 1 aristas, y hay nn-2 rboles posibles. Su importancia radica en que los rboles son grafos que conectan todos los vrtices utilizando el menor nmero posible de aristas. Un importante campo de aplicacin de su estudio se encuentra en el anlisis filogentico, el de la filiacin de entidades que derivan unas de otras en un proceso evolutivo, que se aplica sobre todo a la averiguacin del parentesco entre especies; aunque se ha usado tambin, por ejemplo, en el estudio del parentesco entre lenguas.

[editar] Grafos ponderados o etiquetados

En muchos casos, es preciso atribuir a cada arista un nmero especfico, llamado valuacin, ponderacin o coste segn el contexto, y se obtiene as un grafo valuado. Formalmente, es un grafo con una funcin v: A R+. Por ejemplo, un representante comercial tiene que visitar n ciudades conectadas entre s por carreteras; su inters previsible ser minimizar 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. Y, de momento, no se conocen mtodos generales para hallar un ciclo de valuacin mnima, pero s para los caminos desde a hasta b, sin ms condicin.

Grafos planos
Artculo principal: Grafo plano

Un grafo es plano si se puede dibujar sin cruces de aristas. El problema de las tres casas y los tres pozos tiene solucin sobre el toro, pero no en el plano.

Cuando un grafo o multigrafo se puede dibujar en un plano sin que dos segmentos se corten, se dice que es plano. Un juego muy conocido es el siguiente: Se dibujan tres casas y tres pozos. Todos los vecinos de las casas tienen el derecho de utilizar los tres pozos. Como no se llevan bien en absoluto, no quieren cruzarse jams. Es posible trazar los nueve caminos que juntan las tres casas con los tres pozos sin que haya cruces? Cualquier disposicin de las casas, los pozos y los caminos implica la presencia de al menos un cruce. Sea Kn el grafo completo con n vrtices, Kn, p es el grafo bipartito de n y p vrtices. El juego anterior equivale a descubrir si el grafo bipartito completo K3,3 es plano, es decir, si se puede dibujar en un plano sin que haya cruces, siendo la respuesta que no. En general, puede determinarse que un grafo no es plano, si en su diseo puede encontrase una estructura anloga (conocida como menor) a K5 o a K3,3. Establecer qu grafos son planos no es obvio, y es un problema que tiene que ver con topologa.

En teora de grafos, una arista corresponde a una relacin entre dos vrtices de un grafo. Para caracterizar un grafo G son suficientes nicamente el conjunto de todas sus aristas, comnmente denotado con la letra E (del trmino en ingls edge), junto con el conjunto de sus vrtices, denotado por V. As, dicho grafo se puede representar como G(V,E), o bien G = (V,E).

Vrtice

Un vrtice es incidente a una arista si pertenece a sta, o en otras palabras, si est conectado a otro vrtice (o a l mismo) a travs de ella En teora de grafos, un vrtice o nodo es la unidad fundamental de la que estn formados los grafos. Un grafo no dirigido est formado por un conjunto de vrtices y un conjunto de aristas (pares no ordenados de vrtices), mientras que un grafo dirigido est compuesto por un conjunto de vrtices y un conjunto de arcos (pares ordenados de vrtices). En este contexto, los vrtices son tratados como objetos indivisibles y sin propiedades, aunque puedan tener una estructura adicional dependiendo de la aplicacin por la cual se usa el grafo; por ejemplo, una red semntica es un grafo en donde los vrtices representan conceptos o clases de objetos. Los dos vrtices que conforman una arista se llaman puntos finales ("endpoints", en ingls), y esa arista se dice que es incidente a los vrtices. Un vrtice w es adyacente a otro vrtice v si el grafo contiene una arista (v,w) que los une. La vecindad de un vrtice v es un grafo inducido del grafo, formado por todos los vrtices adyacentes a v.