OPERACIONES ENTRE GRAFOS

CIENCIAS DE LA COMPUTACIÓN II
 CONTENIDO

Suma o producto umbral de dos grafos 3

Unión de dos grafos 4
Intersección de dos grafos 5
Suma anillo de dos grafos 6
Eliminación de vértices 6
Adición de vértice 7
Eliminación de aristas 8
Adición de aristas 9
Complemento de un grafo 10
Grafo autocomplementario 11
Homomorfismo 12
Diferencia simétrica entre grafos 13
Producto tensorial de dos grafos 14
Producto cartesiano de dos grafos 15
Composición entre grafos 16
Bibliografía 17
 1. Suma o producto umbral de dos grafos
Definición 1: La suma de los grafos G1 y G 2, G 1 +G2, es otro grafo G 3, G3=(G1+ G 2)
y, G 3=(S 3 + A3 ) tal que , S3 es igual al conjunto de elementos de S1 y S2 y A3 son las
aristas de A1 y A2 y las aristas resultantes de conectar todos los elementos de S1
con todos los elementos de S2. (Floréz Báez et al., 2016, pag. 68)

Definición 2: La suma o producto umbral de dos grafos, G 1 +G2, es una operación

que consiste en la unión G 1 ∪ G 2 y de todas las líneas que unen V (G1 ) con V (G2 ).
Esto es, u R v en G 1 +G2 si y sólo si.
¿ en G 1 ¿ o ¿ en G2 ¿ o ¿ y v ∈V (G 2)¿.

Esta operación fue definida por el matemático ruso Zykov y es particularmente útil
para relacionar familias de grafos. (Cifuentes, 2009)

Definición 3: 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. Esta suma se define formalmente como:
“Sean los grafos G1(V1,A1) y G2(V2,A2), la suma de los grafos G1+G2, da como
resultado G´(V´,A´) donde V´=V1 U V2 y A´=A1 U A2 U {(x,y): x E V1 Y y E V2}”.
(Mesa & Ortega, 2006, pag. 16)

Ejemplo;

Grafos ruedas Wn formados por la suma de K1 y Cn

 2. Unión de dos grafos
Definición 1: La unión de los grafos G1 y G 2, G1 ∪ G 2, es otro grafo G 3, G3=(G1 ∪G2 )
y G 3=(S 3 , A 3) tal que S3=S 1 ∪ S2 y A3 =( A1 ∪ A 2)

El grafo G 3resultante de la unión de dos grafos, es inconexo siempre que la

intersección S1 ∩ S2= ø (vacío), de lo contrario no se puede afirmar que un grafo
inconexo es todo grafo que se puede representar como la unión de dos grafos.
(Floréz Báez et al., 2016, pag. 69)

Definición 2: La operación de unión entre dos grafos, G 1 ∪ G 2 está definida como la

unión de sus conjuntos de vértices V (G1 ∪ G2)=V ( G1)∪ V (G2), y de sus conjuntos
de líneas, E(G 1 ∪G 2)= E(G 1) ∪ E(G 2 ).(Cifuentes, 2006)

Definición 3: Dados dos grafos G 1=(V 1 , E1 ) y G 2=(V 2 , E2 ) recibe el nombre de

unión de los dos anteriores, G 1 ∪ G 2 al grafo obtenido de forma que sus vértices
son V 1 ∪ V 2 y sus lados forman el conjunto E1 ∪ E2. (García Merayo et al., 2003,
pag. 291)

Ejemplo:

Grafo formado por la unión de tres componentes conexas

 3. Intersección de dos grafos
Definición 1: La intersección de dos grafos G1 y G2, G1 ∩ G2, es otro grafo G 3,
G3=(G1 ∩G2 ) y G 3=(S 3 , A 3), ta que S3=S 1 ∩ S2 y A3 =( A1 ∩ A2 ). (Floréz Báez et al.,
2016, pag. 70)

Definición 2: Para una colección dada de conjuntos S={S 1 , S2 , ... , S p }se define el
grafo intersección de S, Ω(S), con S=S 1 ∪ S2 ∪... ∪ S p como el grafo que tiene por
conjunto de vértices a los elementos de S, luego V (Ω( S))=S

Dos vértices de Ω(S) están en relación si y sólo si los correspondientes conjuntos

tienen una intersección no vacía, esto es, Si ∩S j ≠ ø

Entonces, un grafo G es un grafo intersección sobre S si existe una familia de

subconjuntos de S para los cuales G es isomorfo con Ω(S).(Cifuentes, 2006)

Definición 3: Sea S un conjunto y F={S1,...,Sp} una familia no vacía de distintos

p
subconjuntos no vacios de S cuya unión es ∪i=1 S i=S❑ La gráfica de intersección
de F se denota Ω(F ) y definida por V (Ω( F ))=F con Si y S jadyacentes siempre
que i≠ j y Si ∩S j ≠ ø . Entonces, un gráfico G es un gráfico de intersección en S si
existe una familia F de subconjuntos para los cuales G y Ω(F ) son gráficos
isomorfos. (Weisstein, 2020)

Ejemplo;
 4. Suma anillo de dos grafos
Definición 1: La suma anillo de dos grafos G1 y G 2, G1 ⊕ G 2, es otro grafo ,
G3=(G1 ⊕G2 ) y G3=(S 3 , A 3), tal que S3=S 1 ∪ S2 y A3 =( A1 ∪ A 2)−( A 1 ∩ A2 ).(Floréz
Báez et al., 2016, pag. 71)

Definición 2: La suma anillo de los subgrafos G1 y G2, G1 o G2, es otro subgrafo

G5 = (V5, A5, FG5) de G, tal que V5 = V1 U V2, A5 = (A1 U A2) – (A1 ΩU A2) y
FG5 asigna a toda arista A5 un par de vértices de V5. (Villoria, 2014)

Ejemplo;

5. Eliminación de vértices
Definición 1: Se hace con los siguientes métodos:

Supresiones: Sea {H } un conjunto de vértices que pertenecen a un grafo G1, se

denomina G 1−{H }, al grafo G 2, que se obtiene al suprimir el conjunto de
vértices {H } y las aristas que inciden en ellos, en el grafo G1.
 Fusión de vértices: Un par de vértices v a y v b de un grafo G, se dice que han
sido fusionados, si los dos vértices son reemplazados por un nuevo vértice v ab,
tal que toda arista incidente en v a, v b, o en ambos es incidente en el nuevo
vértice v ab. La fusión de dos vértices no altera el número de aristas, pero reduce
en todos los casos en uno el número de vértices del grafo.(Floréz Báez et al.,
2016, pag. 72-73)

Definición 2: Si v es un vértice de G, denotaremos por G - v, el grafo obtenido a partir de

G por eliminación del vértice v, conjuntamente con todas sus líneas incidentes. En
general, si V n (G) es cualquier subconjunto de n vértices de G, con n ≤ p,
denotaremos con G−V n (G) el grafo que se obtiene eliminando los vértices que
están en V n (G) y todas sus líneas incidentes con cada uno de ellos. (Cifuentes,
2006)

Ejemplo;

6. Adición de vértice
Definición 1: Dado un grafo G ❑=(S ❑ , A❑ ) y {v } es un vértice que no pertenece a
G ❑, entonces G ❑+v , es el grafo resultante cuyo conjunto de aristas es { A } y cuyo
conjunto de vértices es {S }∪{v }. El grafo resultante tendrá un vértice más e
inicialmente aislado.(Floréz Báez et al., 2016, pag. 74)
Ejemplo;

7. Eliminación de aristas
Definición 1: Se hace mediante los siguientes métodos:

Contracciones: Sea el grafo G ❑=(S ❑ , A❑ ) y en él la arista x, se denomina G/ x al

grafo obtenido al contraer en el la arista x, es decir, eliminar la arista x del grafo
G ❑ y tomar sus vértices terminales (u , v ), y unirlos, identificando un nuevo
vértice como (uv ). De esta forma el vértice resultante (uv ) es incidente a todas
las aristas que eran originalmente incidentes con (u , v )(excluyendo la arista x).

Supresiones: Sea {F } un conjunto de aristas que pertenecen a un grafo G1, se

denomina G1−{F }, al grafo G2 que se obtiene al suprimir el conjunto de aristas
{F } en el grafo G1.(Floréz Báez et al., 2016, pag. 74-75)

Definición 2: Sea x una línea de G, denotaremos por G - x al grafo obtenido al

eliminar de G la línea x. En general, si En (G) es un subconjunto de n líneas de G,
con n ≤ q, denotaremos con G−E n (G) el grafo que se obtiene eliminando las n
líneas que pertenecen a En (G). (Cifuentes, 2009)

Definición 3: sea G(V,A) un grafo simple conexo, la contracción de la arista {u,v} E

A da como resultado el grafo C10(G)(V´,A´) donde V´ = V-{u,v}U{w} y A´ = A-{(x,u),
(x,v): xEV} U {(x,w): xEV, (x,u) E A y (x.v) E A}. (Weiner, 2004)
Ejemplo;

8. Adición de aristas
Definición 1: Dado un grafo G ❑=(S ❑ , A❑ ) y (u , v ) dos vértices de G ❑. El grafo G ❑+ p
, donde { p } es una arista que conecta los vértices (u , v ), el grafo resultante es
aquel cuyo conjunto de vértices es {S }y cuyo conjunto de aristas es { A }∪ { p }.
(Floréz Báez et al., 2016, pag. 76)

Definición 2: Sea G = ( V, A, f ) un grafo y u y v dos vértices de G. El grafo G+a,

donde f(a) = uv denota el grafo cuyo conjunto de vértices es V(G) y cuyo conjunto
de aristas es A(G) U {a} esta operación se llama adición de una arista a. (Villoria,
2014)

Definición 3: representando el grafo como una matriz de vectores de modo que

cada vector representa la lista de adyacencia del vértice. La adición de una arista
se realiza insertando ambos vértices conectados por esa arista en la lista de cada
uno. Por ejemplo, si se debe sumar una arista entre (u, v), entonces u se
almacena en la lista de vectores de v y v se almacena en la lista de vectores de u.
(Biswas, 2020)
Ejemplo;

9. Complemento de un grafo
Definición 1: Sea G ❑=(S ❑ , A❑ ) un grafo simple, cuyo conjunto de vértices es S, el
complemento de G ❑ (denotado por G ❑ ' de G ❑), es el grafo simple que tiene a S
como conjunto de vértices, en el cual dos vértices son adyacentes, si y solo si no
son adyacentes en G ❑. Son las aristas faltantes en un grafo G ❑, para que este sea
completo.(Floréz Báez et al., 2016, pag. 77)

Definición 2: El complemento o grafo complementario G de un grafo dado G es un

grafo cuyo conjunto de vértices es el mismo que el del grafo G y si dos vértices
están relacionados en el complemento es porque no lo están en G, es decir, el
conjunto de vértices V(G ) = V(G) y (u R v) en G si y sólo si (u v) en G.
(Cifuentes, 2009)

Definición 3: Sea G un grafo de n vertices y sin bucles. El complemento de G,

indicado por G. es el subgrafo K nformado por los n vertices de G y todas las
aristas que no figuran en G. Si fuera G=K nentonces G seria un grafo formado por
n vertices y ningún lado, es decir, seria un grafo nulo. (García Merayo et al., 2003,
pag. 292)

Ejemplo;

10. Grafo autocomplementario

Definición 1: Un grafo autocomplementario es un grafo que es isomorfo a su
complemento. Los grafos autocomplementarios más simples son el camino de
cuatro vértices y el ciclo de cinco vértices.

Estos grafos son interesantes, por la relación con el problema de isomorfismo de

grafos.

Determinar si dos grafos autocomplementarios son isomorfos y determinar si un

grafo dado es autocomplementario, son polinomicamente equivalentes al
problema general de isomorfismo de grafos.

Un grafo autocomplementario de n vértices, tiene exactamente a mitad de aristas

de su grafo completo, en este caso, n(n−1)/4 aristas, y (si tiene más de un
vértice) debe tener diámetro dos o tres. Como n(n−1) debe ser divisible por
cuatro, n debe ser congruente con 0 o 1 mod 4.

Por ejemplo, un grafo de seis vértices no puede ser autocomplementario.

Todo grafo de Paley es autocomplementario. Todo grafo fuertemente regular y

auto complementario con menos de 37 vértices es un grafo de Paley. Pero, hay
grafos fuertemente regulares con 37, 41 y 49 vértices que no son grafos de Paley.
(Floréz Báez et al., 2016, pag. 77-78)

Definición 2: Un grafo G es autocomplementario si este es isomorfo a su

complemento G (Colbourn & Colbourn, 1978, pag. 1)

Definición 3: Un grafo autocomplementario es un grafo que es isomorfo a su

complemento. Los grafos autocomplementarios más simples son el camino de 4
vértices y el ciclo de 5 vértices.
Un grafo autocomplementario de n vértices tiene exactamente la mitad de aristas que su
grafo completo, en este caso, n(n − 1)/4 aristas, y (si tiene más de un vértice) debe tener
diámetro 2 o 3.1 Como n(n −1) debe ser divisible por 4, n debe ser congruente con 0 o 1
mod 4; por ejemplo, un grafo de 6 vértices no puede ser autocomplementario. (Pedia, 2018)

Ejemplo;

11. Homomorfismo
Definición 1: Dos grafos son homomorficos (o idénticos salvo vértices de grado
dos) si ambos pueden ser obtenidos a partir del mismo grafo G ❑, insertando
nuevos vértices de grado dos en sus aristas.(Floréz Báez et al., 2016, pag. 78)

Definición 2: Diremos que dos grafos G y G’ son homeomorfos si son isomorfos a

sucesivas subdivisiones de un mismo grafo. Uno puede obtenerse a partir del otro
mediante una sucesión de subdivisiones de aristas.
Si dos grafos G y G’ son homeomorfos lo notaremos como G ≅G G ' . (Universidad
Católica de Murcia, 2016)

Definición 3: Dos grafos no dirigidos G1 (V1, E1) y G2 (V2, E2), ambos sin lazos,
son homeomorfos (o grafos isomorfos bajo vértices de valencia 2) si: Son
isomorfos o Pueden transformarse en grafos isomorfos mediante repeticiones de
inserciones (Villapando Becerra & Garcia Sandoval, 2014, pag. 221)

Ejemplo;

12. Diferencia simétrica entre grafos

Definición 1: Si G y H, son dos grafos con el mismo conjunto de vértices v,
entonces la diferencia simétrica denotada por G ∆ H, es el grafo que tiene por
conjunto de vértices a v y por aristas a todas aquellas que aparecen en
exactamente uno de los grafos G y H. Esta operación es definida en general por
pares arbitrarios de conjuntos G ∆ H=( A−B)∪( B− A). (Floréz Báez et al., 2016,
pag. 79)

Definición 2: La diferencia simétrica de dos grafos A y B es otro conjunto A∆B

cuyos elementos son todos los elementos de los grafos A o B, a excepción de los
elementos comunes a ambos: x ∈ A∆B sii x ∈ A Y x ∈ B. (Konrad Lorenz Fundación
Universitaria, 2017)
Ejemplo;

13. Producto tensorial de dos grafos

Definición 1: La operación del producto tensorial entre dos grafos G1 ⊗ G2
(conjunción), se define como: G1 ⊕ G2 =G1 ˄G2❑, donde
V (G ¿ ¿ 1 ⊕G2)=V (G¿ ¿1) x V (G¿¿ 2)¿ ¿ ¿ y dos vértices u=(u1 , u2) y v=(v 1 , v 2) están
relacionados si se cumple:
¿ en G1 ⊕ G2 ¿ ↔ ️u 1 R v 1 en G1 y u2 R2 v 2 en G 2.(Floréz Báez et al., 2016, pag. 79)

Definición 2: El producto tensor de G1 × G2 también llamado producto directo,

producto cardinal, producto de Kronecker o conjunción es un grafo en donde dos
vértices (a,c) y (b,d) son adyacentes en G1 × G2 si y solo si:

● a es adyacente con b , y
● c es adyacente con d.
Como operación entre grafos fue introducida por Alfred North Whitehead y
Bertrand Russell en su libro “Principia Mathematica” publicado en 1912.
Ejemplo;

14. Producto cartesiano de dos grafos

Definición 1: La operación del producto cartesiano entre dos grafos G 1 x G 2, se
define como V (G ¿ ¿ 1 x G2)=V (G¿¿ 1) x V ( G¿ ¿2)¿ ¿ ¿, y dos vértices, u=(u1 , u2) y
v=( v 1 , v 2) están relacionados si se cumple:
¿ en G1 x G2 ¿ ↔ ️u1=v 1 y (u ¿ ¿ 2 R❑ v 2)¿ en G2 o u2=v 2 y (u ¿ ¿ 1 R❑ v 1)¿ en G1.(Floréz
Báez et al., 2016, pag. 80)

Definición 2: El producto cartesiano de G1 x G2 es un grafo en donde dos vértices

(a,c) y (b,d) son adyacentes en G1 x G2 si y solo si:

● a = b y c es adyacente con d en G2, o

● c = d y a es adyacente con b en G1.
(Pedía, 2020).

Definición 3: La operación de "producto" (cartesiano) entre dos grafos,G1xG2 ,

está definida como V (G ¿ ¿ 1 x G2)=V (G¿¿ 1) x V (G¿ ¿2)¿ ¿ ¿, y dos vértices,
u=(u1 , u2) y v=( v 1 , v 2) están relacionados si se cumple:
 (Cifuentes, 2006)

Ejemplo;

15. Composición entre grafos

Definición 1: La operación de composición entre dos grafos, G 1 [ G2] , se define
como: V (G ¿ ¿ 1[G 2 ])=V (G¿¿ 1) xV (G 2 )¿ ¿ , V (G ¿ ¿ 1 x G 2)=V (G¿¿ 1) x V (G¿ ¿2)¿ ¿ ¿, y
dos vértices, u=(u1 , u2) y v=(v 1 , v 2), están relacionados si se cumple:
¿ en G 1 [G 2]¿ ↔ ️u1 R v 1 en G1 o u1=v 1 y (u ¿ ¿ 2 R❑ v 2)¿ en G 2.(Floréz Báez et al., 2016,
pag. 80)

Ejemplo;
 Bibliografía

Aliaga, P. (2009). Teoria de Grafos. SlidePlayer.

https://slideplayer.es/slide/11783363/

Benavent, E. (S.F). Teoría de Grafos. https://www.uv.es/benavent/apuntes-

grafos.pdf

Biswas, S. (2020). GeeksforGeeks. Add and Remove Edge in Adjacency List

representation of a Graph. https://www.geeksforgeeks.org/add-and-remove-

edge-in-adjacency-list-representation-of-a-graph/

Caicedo, A., Wagner, G., & Mendez, R. (2010). Introduccion a la Teoria de Grafos

(Primera ed.). Elizcom.

Cifuentes, C. (2009, Octubre 29). Teoria de Grafos.

https://www.blogger.com/profile/00038629585887759123

Colbourn, C., & Colbourn, M. (1978). Graph isomorphism and self-complementary

graphs. ACM SIGACT News, 25-29.

Floréz Báez, J. C., Floréz Osorio, K. L., & Nuñez G., D. S. (2016). Teoría de

Grafos una herramienta Gráfica. Editorial Académica Española.

García Merayo, Hernandez, F., & Nevot, L. (2003). Problemas resueltos de

matemática discreta. (2 ampliada ed.). Ediciones Paraninfo, S.A.

Konrad Lorenz Fundación Universitaria. (2017, 11 1). Grafos de Fichas. Grafos de

Fichas. Retrieved 12 6, 2020, from

 https://nbviewer.jupyter.org/github/vivianamarquez/Math-Undergrad-

Lecture-Notes/blob/master/Miscellaneous/Gráficas%20de%20Fichas.pdf

Mesa, O., & Ortega, M. (2006). Grafos Y Algoritmos (2nd ed.). Equinoccio.

Pedia, W. (2020, 3 3). Producto de grafos. Producto de grafos. Retrieved 12 6,

2020, from

https://docs.google.com/document/d/1Eb8_GiDiCVCLp0Wj8FbdONQuUV2F

V0g-rBOlScB0hkY/edit#

Universidad Católica de Murcia. (2016). Matemática Discreta - Homeomorfismo de

grafos. https://www.youtube.com/watch?v=ck7IK5welyU

Villapando Becerra, J. F., & Garcia Sandoval, A. (2014). Matemáticas Discretas:

Aplicaciones y Ejercicios (1st ed.). Grupo Editorial Patria.

Villoria, J. (2014, Febrero 27). SCRIBD. Operaciones Entre Grafos.

https://es.scribd.com/doc/209571060/Operaciones-Entre-Grafos

Weiner, D. (2004). FORBIDDEN MINORS AND MINOR-CLOSED GRAPH

PROPERTIES. presentation.dvi. Retrieved 12 6, 2020, from

http://www.math.uchicago.edu/~may/VIGRE/VIGRE2006/PAPERS/Weiner.p

df

Weisstein, E. (2020). Graph Intersection. MathWorld.

https://mathworld.wolfram.com/GraphIntersection.html