1. Grafo dirigido. Representación gráfica.

Un grafo dirigido conocido también como dígrafo consta de un conjunto de vértices y aristas donde
cada arista se asocia de forma unidireccional a través de una flecha con otro. Las aristas
dependiendo de su salida o ingreso reciben la calificación de entrante o saliente, la condición
común, es que siempre tienen un destino hacia un nodo.

La relación sobre V no es simétrica. Las aristas se representan como un par ordenado (u,v).

Representación gráfica:

2. Relaciones de incidencia y de adyacencia. Lazos o Bucles.

3. Grafo etiquetado.

Este tipo de grafos concentran aristas que pueden poseer información adicional donde se puede
reflejar nombres, costos, valores u otros datos. Estos grafos también son denominados como redes
de actividad y el número asociado al arco, se le denomina factor de peso. Este grafo es el que más
comúnmente se utiliza para representar situaciones de la vida real. Los grafos etiquetados se
representan de la siguiente forma:

G = (N, A, P)

N(G) = {1, 2, 3, 4, 5, 6}

A(G) = {<2, 1>, <1, 4>, <4, 3>, <3, 2>, <2, 4>, <4, 5>, <6, 4>}

P(G) = {5, 8, 1, 10, 2, 6, 7}

Donde N<G> es el conjunto de nodos (vértices) y A<G> el conjunto de aristas del grafo.

Representación gráfica:
 4. Representación de adyacencia de un vértice. Grado o valencia de un vértice.

5. Teorema de la suma de los grafos.

En el campo matemático de la teoría de grafos, la suma de grafos o combinación de grafos es una

operación binaria entre grafos que consiste en unir los conjuntos de vértices y los conjuntos de
aristas de ambos grafos, más el conjunto de aristas que conectan los vértices del primer grafo con
los del segundo grafo. Es una operación conmutativa para grafos no-etiquetados.

Definición formal

Sean los grafos G 1 ( V 1 , A1 ) y G2 ( V 2 , A 2 ), la suma de los grafos G 1 +G2 da como resultado

G' ( V ' , A ' ) donde V =V 1 ∪V 2 y A = A 1 ∪ A2 ∪ { { x , y } : x ∈V 1 ∧ y ∈ V 2 }.
' '

Ejemplos

Entre los ejemplos más destacados de suma de grafos nos encontramos con los grafos ruedas W n
que se pueden definir como la suma de un grafo singleton K 1 y un ciclo Cn: Wn = K1 + Cn. Otro
ejemplo es la suma de un grafo completo K n y un punto aislado K1, resultando el grafo completo Kn
+ K1 = Kn+1

6. Grafo nulo.

Es un tipo de grafo que no posee nodos. Evidentemente tampoco posee arcos o aristas. En
notación relacional/conjuntual el grafo nulo se representa por G=< {}, {} > y a menudo se identifica
con las expresiones G* o G0.

Su utilidad se reduce en lo fundamental a las operaciones y transformaciones algebraicas y de otra

naturaleza que se realizan sobre grafos. No debe confundirse con los grafos vacío o trivial que
respectivamente son aquellos que no tienen arcos o aristas, aunque tengan nodos y los que tienen
un único vértice.
 7. Grafo regular.

Es un grafo donde cada vértice tiene el mismo grado o valencia. Un Grafo regular con vértices de
grado k es llamado Grafo k-regular o Grafo regular de grado k.

Los Grafos regulares de grado hasta 2 son fáciles de clasificar: Un grafo 0-regular consiste en un
grafo con vértices desconectados, un grafo 1-regular consiste en un grafo con aristas
desconectadas, y un grafo 2-regular consiste en un ciclo.

Un grafo 3-regular es conocido como un grafo cubo.

8. Grafo Completo.

Es un grafo no orientado que entre cualquier par de sus nodos existe al menos una arista que los
une. Los grafos completos simples de orden n se conocen como Kn.

La familia de grafos Kn es la más simple de los grafos completos, aunque en el concepto general no
excluye la presencia de multiaristas y lazos, haciendo que los grafos completos no sean
necesariamente simples.

Esto produce caminos mínimos entre cualquier par de vértices, aunque bebe significarse que para
el caso de las aristas etiquetadas la minimalidad de los caminos no correspondería necesariamente
a arcos que unen el par de vértices sino posiblemente a caminos con más aristas en dependencia
de la suma total de sus valores.

9. Grafo bipartido.

Es un grafo simple sin lazos cuyo conjunto de vértices puede dividirse en dos subconjuntos
disjuntos no vacíos de manera que los vértices que los componen solo tengan aristas o arcos con
vértices del otro subconjunto, nunca con ningún vértice del mismo conjunto.

Un grafo G = <V, A> se dice bipartido o bipartito si y solo si existe una partición de V = V 1 U V2 tal
que para toda arista (x, y) de A se cumple que x es un vértice de V 1 e y está en V2 o simplemente
que A será un subconjunto no nulo de V1xV2.

Cuando A = V1xV2 se dice que el grafo es bipartido completo.

10. Isomorfismo de grafos. Propiedades.

No encontré mucho, lo mas cercano esta aquí:

https://espanol.libretexts.org/Matematicas/Combinatoria_y_Matematicas_Discretas/
Combinatoria_(Morris)/03%3A_Teor%C3%ADa_de_las_Gr%C3%A1ficas/11%3A_Conceptos_b
%C3%A1sicos_de_la_teor%C3%ADa_de_grafos/11.04%3A_Isomorfismos_gr%C3%A1ficos
 11. Subgrafo.

Un subgrafo de un grafo G es un grafo cuyos conjuntos de vértices y aristas son subconjuntos de

los de G. Se dice que un grafo G contiene a otro grafo H si algún subgrafo de G es H o es isomorfo a
H (dependiendo de las necesidades de la situación).

El subgrafo inducido de G es un subgrafo G' de G tal que contiene todas las aristas adyacentes al
subconjunto de vértices de G.

Definición:

Sea G = (V, A). G’ = (V’, A’) se dice subgrafo de G si:

1- V’⊆ V.

2- A' ⊆ A.

3- (V’, A’) es un grafo.

• Si G’ = (V’, A’) es subgrafo de G, para todo v ∈ G se cumple gr (G’, v) ≤ gr (G, v)

G2 es un subgrafo de G

12. Representación de grafos mediante matrices: matriz de Adyacencia y matriz de

incidencia.

En esta página lo encontré: https://www.studysmarter.es/resumenes/matematicas/numeros-y-

algebra/grafos-y-matrices/

13. Teorema sobre el número de vértices de un grafo auto complementario. Teorema de

Ramsey.

El teorema de Ramsey establece que, en cualquier esquema de color aplicado a un grafo completo
suficientemente grande, se hallarán subgrafos completos monocromáticos. Para dos colores, el
teorema enuncia que para cualquier par de enteros positivos (r, s), existe al menos un entero
positivo R(r, s) como aquel para cualquier grafo completo en R(r, s) vértices, cuyas aristas (o ramas)
están coloreados de rojo o azul, existe un subgrafo completo de r vértices que es totalmente azul,
o un subgrafo completo de s vértices que es totalmente rojo. R(r, s) representa un entero que
depende conjuntamente de r y s. Se entiende que representa al entero más pequeño para el que el
teorema aplica. A ese número se le llama número de Ramsey.

El teorema de Ramsey es fundacional en combinatoria. La primera versión de estos resultados fue

probada por F. P. Ramsey. Esto inició la teoría combinatoria, ahora llamada teoría de Ramsey, que
busca regularidad en medio del desorden: condiciones generales para la existencia de
subestructuras con propiedades regulares.
Ejemplo: R(3,3)=6

En el siguiente ejemplo, la fórmula R(3,3) provee una solución a la pregunta sobre el número
mínimo de vértices que debe contener un grafo para asegurar que:

 Al menos tres vértices del grafo están conectados o,

 Al menos tres vértices están desconectados.

Nótese que debido a la naturaleza simétrica del problema, R(r,s) produce la misma solución que
R(s,r). Esto es aún más evidente en el ejemplo R(3,3) porque los valores de r y s son los mismos.

Supongamos que las aristas de un grafo completo de 6 vértices están coloreadas en rojo y verde. Al
elegir un vértice v, vemos que hay 5 aristas incidiendo en él, y así, por el principio del palomar, al
menos 3 de ellos deben ser del mismo color. Sin pérdida de generalidad podemos asumir que al
menos 3 de estas aristas, que conectan con los vértices r, s y t son azules (si no lo son,
intercámbiese azul con rojo en lo que sigue). Si alguno de las aristas (r, s), (r, t) o (s, t) es también
azul, entonces tenemos un triángulo enteramente azul. Si no, entonces las tres aristas son rojas, y
tenemos un triángulo enteramente rojo. Como este argumento funciona para cualquier esquema
de color, cualquier K6 contiene un K3 monocromático, y entonces R(3,3) ≤ 6. La versión popular de
esta demostración se conoce como teorema de la amistad.