SUBGRAFO: En muchas ocasiones, conviene considerar grafos que

estn incluidos dentro de otros. Dado un grafo G = (V, A), formamos

un subgrafo H = (V, A) de G seleccionando algunos de los vrtices de
G (esto es, V V). Y, de las aristas que unieran vrtices del conjunto V
en el grafo original G, nos quedamos con algunas de ellas (o todas).
Un par de subgrafo que sern especialmente relevantes son los
siguientes:

Dados un par de grafos H y G, diremos que H es un subgrafo

ABARCADOR de G si H es un subgrafo de G y, adems, V (H) = V (G). Es
decir, si H contiene a todos los vrtices de G.

Diremos que H es un subgrafo INDUCIDO de G para un conjunto de

vrtices V V (G) si se cumple, por un lado, que V (H) = V . Y, por otro,
que si v, w V y {v, w} A(G), entonces {v, w} A(H). Es decir, H
tiene como conjunto de vrtices a un cierto subconjunto V de los
vrtices de G; y como conjunto de aristas, a todas aquellas de G cuyos
extremos sean vrtices de V.
GRAFO: Es un conjunto de vrtices, llamados nodos, unidos por enlaces
llamadas aristas o arcos entre elementos de un conjunto.
VERTICES CONECTADOS: Dos vrtices de un grafo se dice que estn
conectados cuando existe un camino entre ambos.
U
V

CADENA: Es un conjunto de vrtices y aristas.

GLOSARIO

Adyacentes[editar]
En un grafo, los vrtices son adyacentes si estn unidos mediante una arista.
Vase tambin Vecindad.
rbol[editar]
Un rbol es un grafo conexo simple acclico. Algunas
veces, un vrtice del rbol es distinguido
llamndolo raz. Los rboles se usan frecuentemente
como estructuras de datos en ciencias de la
computacin (vase rbol).
Un rbol no posee
ciclos.

Arco[editar]
Vase Arista.
Arista[editar]

Vrtices unidos por

una arista.

Una arista o arco es una relacin matemtica que

conecta dos vrtices. Una arista dirigida es una
arista de un digrafo y tiene una direccin asociada
consigo, esto es, posee un vrtice inicial y un vrtice
final. Una arista no dirigida es una donde no se
distingue un vrtice inicial ni uno final.

B[editar]
Bosque[editar]
Un bosque es un conjunto de rboles; o de forma
equivalente, un bosque es un grafo acclico.

Un bosque est
formado por uno o
ms rboles.
Bucle[editar]
Un bucle o lazo (loop en ingls) en un grafo
o digrafo es una arista que conecta al mismo vrtice
consigo mismo. Un grafo simple no puede tener bucles.

Un bucle conecta un
vrtice consigo
mismo.
Bsqueda en anchura[editar]
La bsqueda en anchura o BFS (Breadth First Search)
es un algoritmo que permite recorrer todos los vrtices
de un rbol de manera ordenada, recorriendo primero
los vrtices vecinos al inicial, luego los vrtices vecinos
a los recorridos en el paso anterior y as sucesivamente
hasta agotar la grfica.

Orden en que se
recorre un grafo en
una bsqueda en
anchura.
Bsqueda en profundidad[editar]

Orden en que se
recorre un grafo en
una bsqueda en
profundidad.

La bsqueda en profundidad o DFS (Depth First

Search) es un algoritmo que permite recorrer todos los
vrtices de un rbol de manera ordenada, avanzando
sobre cada rama hasta que no haya posibilidad de
continuar y luego se retrocede hasta la ltima
bifurcacin para seguir por otra rama.
Puede usarse para recorrer un grafo cualquiera si se usa
un rbol generador del grafo.

C[editar]
Camino[editar]
Un camino es una sucesin de vrtices tal que de
cada uno de sus vrtices existe una arista hacia el
vrtice sucesor. Un camino simple es aquel que no
repite vrtices en su recorrido.
Dos caminos son ajenos o independientes si no
tienen ningn vrtice en comn excepto el primero y
el ltimo.
Un camino es una
sucesin de vrtices
unidos por aristas.

La longitud de un camino es el nmero de aristas

que usa dicho camino, contando aristas recorridas
varias veces el mismo nmero de veces que las
recorramos. En el ejemplo, (1, 2, 5, 1, 2, 3) es un
camino con longitud 5, y (5, 2, 1) es un camino
simple de longitud 2..
Camino euleriano[editar]
Un camino euleriano en un grafo es un camino que
usa cada arista una y slo una vez. Si existe tal
camino decimos que el grafo es euleriano. Esta
definicin es dual a la de camino hamiltoniano.

Un caminoeuleriano
recorre todas las aristas

exactamente una vez

(puede repetir vrtices).
Camino hamiltoniano[editar]
Existe un concepto dual al de camino/ciclo Euleriano.
Un camino hamiltoniano en un grafo es un camino
que "visita" cada vrtice una y slo una vez.

Un camino
hamiltonianorecorre
todos los vrtices
exactamente una vez.
Ciclo[editar]
Un Ciclo (o circuito) es un camino que empieza y
acaba en el mismo vrtice. Los ciclos de longitud 1 se
denominan lazos o bucles.
Un ciclo simple es un ciclo que tiene como longitud
al menos 3 y en el que el vrtice inicial coincide con
Orden en que se recorre
el vrtice final.
un grafo en
una bsqueda en
profundidad.
Ciclo euleriano[editar]
Un ciclo euleriano en un grafo es un ciclo que usa
cada arista una y slo una vez.

Un ciclo euleriano pasa

por todas las aristas
exactamente una vez,
regresando al punto de
partida.

Ciclo hamiltoniano[editar]
Un ciclo hamiltoniano en un grafo es un ciclo que
visita cada vrtice una y slo una vez

Un ciclo hamiltoniano
pasa por todos los
vrtices exactamente
una vez, regresando al
punto de partida.
Circunferencia[editar]
La circunferencia de un grafo es la longitud de su
ciclo simple ms largo.

No hay ciclos de longitud

mayor a cuatro.
Clique[editar]
Una clique en un grafo es un conjunto de vrtices tal
que para todo par de vrtices, existe una arista que
las conecta. En el ejemplo, los vrtices 1, 2 y 5
forman una clique de tamao 3. En otras palabras, es
un subgrafo completo

Cobertura de vrtices[editar]
La cobertura de
vrtices, covering o recubrimiento de
vrtices de un grafo es un conjunto de vrtices
cuyos elementos son adyacentes a todos los dems
vrtices del grafo.
Coloracin de grafos[editar]
La coloracin de grafos es quiz el problema NPcompleto ms afamado de la teora de grafos, y
consiste en asignarle distintos colores o marcas a los
vrtices de un grafo, de manera que ningn par de
vrtices adyacentes compartan el mismo color o

marca.
Contraccin (de aristas)[editar]
La contraccin es una operacin que elimina una
arista del grafo al mismo tiempo que fusiona los dos
vrtices extremos. La contraccin es una operacin
fundamental en la teora de grafos.
Componente fuertemente conexo[editar]
Un componente fuertemente conexo es un grafo
tal que para cada par de vrtices, existe
un camino de uno hacia el otro, y viceversa. Los
componentes fuertemente conexos de un grafo
dirigido son sus subgrafos mximos fuertemente
conexos. Estos subgrafos forman una particin del
grafo.
Conjunto estable[editar]
Vase Conjunto independiente.
Conjunto independiente[editar]
Un conjunto independiente en un grafo es un
conjunto de vrtices tal que ninguno es adyacente a
otro. En el ejemplo, los vrtices 1,3, y 6 forman un
conjunto tal y los 3,5, y 6 forman otro conjunto
independiente.
Covering[editar]
Vase Cobertura de vrtices.
D[editar]
Depth First Search[editar]
Vase Bsqueda en profundidad.
DFS[editar]
Vase Bsqueda en profundidad.
Digrafo[editar]
Es un grafo cuyas aristas son dirigidas, es decir, cada arista posee un vrtice
inicial y uno final.

Distancia[editar]
Se denomina distancia entre dos vrtices de un grafo al nmero de vrtices
mnimo que debe recorrerse para unirlos. La distancia entre dos nodos de un
grafo es la longitud del camino ms corto
E[editar]
Euleriano[editar]
Vase Ciclo euleriano.
G[editar]
Girth[editar]
El girth o cintura de un grafo es la longitud del ciclo simple ms corto en el
grafo. El "girth" de un grafo acclico se define como infinito.
Grado[editar]
El grado o valencia de un vrtice es el nmero de aristas incidentes en l.
Para un grafo con bucles, stos son contados por dos. En el ejemplo, los
vrtices 1 y 3 tienen grado 2; los vrtices 2, 4 y 5, grado 3; y el vrtice 6, grado
1.
En un digrafo, podemos distinguir el grado saliente (el nmero de aristas que
dejan el vrtice) y el grado entrante (el nmero de aristas que entran en un
vrtice). El grado de un vrtice sera la suma de ambos nmeros.
Grafo[editar]
Un grafo es un conjunto de vrtice o nodos unidos por aristas o arcos.
Grafo acclico[editar]
Un grafo se dice acclico si no contiene ningn ciclo simple.
Grafo bipartito[editar]
Un grafo bipartito es cualquier grafo cuyos vrtices pueden ser divididos en
dos conjuntos, tal que no haya aristas entre los vrtices del mismo conjunto. Se
ve que un grafo es bipartito si no hay ciclos de longitud impar. Vase
tambin grafo bipartito completo.
Un grafo k-partido o grafo k-colorable es un grafo con cuyos vrtices se
puede hacer una particin en k subconjuntos disjuntos tal que no haya aristas
entre vrtices del mismo subconjunto. Un grafo 2-partido es lo mismo que un
grafo bipartito.

Un grafo k-partido se dice semiregular si cada particin tiene un grado

uniforme.
Grafo completo[editar]
Un grafo completo es un grafo simple en el que cada vrtice es adyacente a
cualquier todo otro vrtice. El del ejemplo no es completo. El grafo completo
en n vrtices se denota a menudo por Kn. Tiene n(n-1)/2 aristas
(correspondiendo a todas las posibles elecciones de pares de vrtices).
Grafo conexo[editar]
Si es posible formar un camino desde cualquier vrtice a cualquier otro en el
grafo, decimos que el grafo es conexo. Si es posible hacer esto incluso tras
quitar k-1 vrtices, decimos que el grafo es k-conexo.
Un grafo es k-conexo si y slo si contiene k caminos independientes entre
cualesquiera dos vrtices. Teorema de Menger El grafo ejemplo es conexo (y
por tanto 1-conexo), pero no es 2-conexo.
Grafo denso[editar]
Un grafo denso es un grafo en el que el nmero de aristas est cercano al
nmero de mximo de aristas. Lo opuesto, un grafo con solo algunas aristas, es
un grafo disperso.
Grafo dirigido[editar]
Es un conjunto de vrtices V y un conjunto de aristas E tal que para cada arista
perteneciente al conjunto de aristas E se asocia con dos vrtices en forma
ordenada.
Vase Digrafo.
Grafo nulo[editar]
El grafo nulo es el grafo cuyos conjuntos de aristas y de vrtices son vacos.
Grafo plano[editar]
Un grafo plano es uno que es posible dibujar en el plano sin que ningn par
de aristas se interseque. El del ejemplo lo es; el grafo completo de n vrtices,
para n > 4, no es plano.
Grafo ponderado[editar]
Un grafo ponderado asocia un valor o peso a cada arista en el grafo. El peso
de un camino en un grafo con pesos es la suma de los pesos de todas las
aristas atravesadas.

Grafo regular[editar]
Un grafo regular es un grafo cuyos vrtices tienen todos el mismo grado.
Grafo simple[editar]
Un grafo simple es un grafo o digrafo que no tiene bucles, y que no es
un multigrafo.
Grafo trivial[editar]
Un grafo trivial es un grafo vaco con un nico vrtice.
Grafo universal[editar]
Un grafo universal en una clase K de grafos es un grafo en el que puede
incluirse como subgrafo todo elemento de K.
Grafo vaco[editar]
Un grafo vaco es el grafo cuyo conjunto de aristas es vaco.
H[editar]
Hamiltoniano[editar]
Vase Camino hamiltoniano.
Hipergrafo[editar]
Un hipergrafo es una generalizacin de un grafo, cuyas aristas aqu se
llaman hiperaristas, y pueden relacionar a cualquier cantidad de vrtices, en
lugar de slo un mximo de dos como en el caso particular.
I[editar]
Incidencia[editar]
Vase Vecindad.
Isomorfismo[editar]
Un Isomorfismo de grafos entre dos grafos G y H es una biyeccin f entre los
conjuntos de sus vrtices
que preserva la relacin de
adyacencia. Es decir, cualquier par de vrtices u y v de G son adyacentes si y
solo si lo son sus imgenes, f(u) y f(v), en H.
L[editar]
Lista de adyacencia[editar]

Una lista de adyacencia es una representacin de todas las aristas o arcos de

un grafo mediante una lista.
Lista de grados[editar]
Loop[editar]
Vase Bucle.
M[editar]
Matriz de adyacencia[editar]
Una matriz de adyacencia es una matriz de n x n que permite representar un
grafo o digrafo finito, donde cada valor en la posicin (i, j) representa el
nmero de aristas desde el vrtice i-simo al j-simo.
N[editar]
Nodo[editar]
Vase Vrtice.
Nmero cromtico[editar]
El nmero cromtico es el mnimo de colores necesarios para colorear los
vrtices de un grafo. El nmero cromtico de un grafo

es

O[editar]
Orden[editar]
Se llama orden del grafo

a su nmero de vrtices, designado como

P[editar]
Puente[editar]
Un puente a es una arista tal que si la quitamos nos quedamos con un grafo
con una componente conexa ms que el original.
Punto de articulacin[editar]
Vase Vrtice de corte.
Punto de corte[editar]
Vase Vrtice de corte.
R[editar]

Recubrimiento de vrtices[editar]
Vase Cobertura de vrtices.
S[editar]
Subrbol[editar]
Un subrbol de un grafo G es un subgrafo que es adems un rbol.
Subgrafo[editar]
Un subgrafo de un grafo G es un grafo cuyo conjunto de vrtices es un
subconjunto del de G, cuyo conjunto de aristas es un subconjunto del conjunto
de las aristas de G, y tal que la aplicacin w es la restriccin de la aplicacin
de G.
Subgrafo de expansin[editar]
Un subgrafo de expansin de un grafo G es un subgrafo con el mismo
conjunto de vrtices que G. Un rbol expansin es un subgrafo expansin
que es un rbol. Cada grafo tiene un rbol de expansin.
T[editar]
Teora espectral[editar]
La teora espectral es aquella que estudia las relaciones entre las
propiedades de la matriz de adyacencia y las de su grafo.
Torneo[editar]
Un torneo es un grafo dirigido completo, simple, no generalizado, no
degenerado y sin dgonos.
V[editar]
Valencia[editar]
Vase Grado.
Vecindad[editar]
Dos vrtices son vecinos, adyacentes o incidentes si existe una arista entre
ellos. En el ejemplo, el vrtice 1 tiene dos vecinos: el vrtice 2 y el 5. Para
un grafo simple, el nmero de vecinos de un vrtice es igual a su grado.
Vrtice[editar]

Un vrtice o nodo es la unidad fundamental de la que estn formados los

grafos.
Vrtice de corte[editar]
Un vrtice de corte es un vrtice tal que si lo quitamos nos quedamos con un
grafo con ms componentes conexas que el original.