CONJUNTOS DE CORTE

CIENCIAS DE LA COMPUTACIÓN II
 CONTENIDO

Conjunto de Corte 3

Istmo o arista de corte 3

Conjunto Separador 4

Vértices de corte 5

Conectividad de un grafo 5

Conectividad de vértice 5

Conectividad de arista 6

Separabilidad de un grafo 6

Separabilidad de vértice 6

Separabilidad de arista 7

Circuitos Fundamentales y Conjuntos de Corte 8

Conectividad de un grafo 9

Bibliografía 9
 1. Conjunto de Corte

Definición 1: Es un conjunto mínimo de elementos de A de un grafo G conexo, que

al suprimirlos vuelve inconexo al grafo G. Dado un grafo T, el número de conjuntos
de corte de un solo elemento es igual a n-1, donde n es el número de vértices de
T. Si se suprime una arista en un grafo T, el grafo queda inconexo. (Florez, 2016,
pág. 116)

Definición 2: Para cualquier grafo conexo, un conjunto de corte es un conjunto

minimal de aristas de disconexión. (Grimaldi, 1997, pág. 570)

Definición 3: Un conjunto de corte es un conjunto (mínimo de aristas en un grafo

tal que la eliminación del conjunto incrementa el número de componentes conexas
en el subgrafo restante, en tanto que la eliminación de cualquier subconjunto
propio de este no lo haría. De esto se tiene que en un grafo conexo, la eliminación
de un conjunto de corte divide el grafo con dos partes. (Villalpando, S.F, pág. 95)

Ejemplo:

Para este grafo el conjunto de aristas {e1 , e5 , e 6 , e 7 , e4 } es un conjunto de corte

1.1. Istmo o arista de corte

Definición 1: Si un conjunto de corte, posee un solo elemento de A de un grafo

conexo G, será llamado Istmo o puente. (Florez, 2016, pág. 177)

Definición 2: Cuando un conjunto de corte para un grafo conexo consta sólo de

una arista, esa arista es un puente del grafo. (Grimaldi, 1997, p. 570)

Definición 3: Una arista e de G se denomina puente si G-e es disconexo.

(Lipschutz & Lipson, 2007, pág. 160)

Ejemplo:
 Para este grafo, la arista {d,f} es el único puente o istmo

2. Conjunto Separador

Definición 1: Es un conjunto mínimo de elementos de S de un grafo G conexo, que

al suprimirlos del grafo lo vuelve inconexo. (Florez, 2016, pág. 114)

Definición 2: Un conjunto separador o corte por vértices de un Grafo G es un

conjunto S tal que G-S es disconexo. (Safe, 2018)

Definición 3: Un conjunto separador, de un grafo G en un subconjunto del conjunto de

vértices S ⊆ V(G) tal que G-S tenga más de un componente conexo. En otras palabras, un
conjunto separador es un subconjunto de vértices de un grafo que, cuando son removidos,
junto con cualquier arista incidente, desconecta el grafo. (Weisstein, S.F)

Ejemplo:

Se puede observar que el conjunto separador lo componen los vértices {a,c}

2.1. Vértices de corte

Definición 1: Si un conjunto separador de un grafo G conexo, posee un solo vértice

v, llamaremos a v c vértice corte o vértice articulación. (Florez, 2016, pag. 114)

Definición 2: Cuando la división o separación de un vértice de un grafo produce un

nuevo grafo con más componentes, ese vértice es un vértice de corte o punto de
articulación. (Grimaldi, 1997, pág. 577)

Definición 3: Vértice de corte o articulación: vértice que, al ser suprimido junto con
todas las aristas incidentes en él, produce un subgrafo con más componentes
conexas que el original. (Moreno, 2005)

Ejemplo:

Se puede observar que el vértice de corte o vértice articulación es el vértice 1

3. Conectividad de un grafo

Para definir la conectividad de un grafo, podemos hacerlo teniendo en cuenta si se

hace por medio de un vértice o de una arista:

3.1. Conectividad de vértice

Definición 1: La conectividad de un grafo G, denotada κ(G), es el tamaño mínimo de un

conjunto S de vértices tales que G − S es disconexo o tiene solo un vértice. (Safe, 2018)

Definición 2: La conectividad de vértice (o conectividad simple) de un grafo conexo

G es definido como el número mínimo de vértices que siendo removidos del grafo
G lo deja disconexo. (Deo, 1974, pág. 76)

Definición 3: Es el conjunto separador de un grafo G conexo, con el mínimo

número de elementos. (Florez, 2016, pág. 115)

Ejemplo:
 En el grafo, la conectividad de vértice que obtenemos es el conjunto separador
con los vértices {a,d} obteniendo así el siguiente grafo:

3.2. Conectividad de arista

Definición 1: Es el conjunto de corte de un grafo G conexo, con el mínimo número

de elementos. (Ibidem, pág. 118)

Definición 2: Cada conjunto de aristas de un grafo conexo G consiste en cierto

número de aristas. El conjunto de corte con menor número de aristas es definido
como la conectividad de aristas de G. (Deo, 1974, pág. 75)

Definición 3: Es el número mínimo de aristas λ(G) que al eliminarlas de un grafo G

lo vuelve disconexo. También es llamada conectividad de línea.(Weisstein, S.F)

4. Separabilidad de un grafo

Para definir la conectividad de un grafo, podemos hacerlo teniendo en cuenta si se

hace por medio de un vértice o de una arista:

4.1. Separabilidad de vértice

Definición 1: Un grafo G conexo es separable por un vértice, cuando tiene al

menos un vértice corte o articulación o el número mínimo de conectividad de
vértice es igual a uno. (Florez, 2016, pág. 116)
Definición 2: Un grafo conexo se dice que es separable si su conectividad de
vértice es de uno, es decir que en él existe un conjunto separador de tamaño 1.
Todos los otros grafos conexos son llamados no separables. En un grafo
separable, un vértice cuya eliminación desconecta el grafo es llamado vértice de
corte, nodo de corte o punto de articulación. (Tripathi, S.F)

Definición 3: Un grafo G se dice que es separable si se desconecta o puede

desconectarse eliminando un solo vértice, el cual es llamado articulación. Un grafo
que no es separable se dice que está biconectado o que no es separable. (Barile,
S.F)

Ejemplo:

Este grafo es separable, puesto que tiene solo un vértice articulación.

4.2. Separabilidad de arista

Definición 1: Un grafo conexo es separable por arista, cuando tiene al menos un

istmo o puente, o el conjunto corte se compone de un elemento A del grafo G.
(Florez, 2016, pag. 119)

Definición 2: Sea G un grafo a sea x e y dos vértices distintos de V(G). Se define

la separabilidad de arista de x e y, denotada SEP' G ( x , y ) como el número mínimo
de aristas que removidas de G, separan a x y a y. (Schaudt et al., 2013, pág. 817)

Definición 3: Otro tipo de separador de grafo es un separador de arista. Decimos que una
clase de grafo S satisface un teorema f(n) separador de arista si hay constantes ∝<1 y β>0
tal que cada grafo en S con n vértices tiene un conjunto de al menos βf(n) aristas cuya
remoción separa el grafo en componentes con al menos ∝n vértices cada uno. (Blandford et
al., 2003, pág. 686)

Ejemplo:

El grafo es separable por medio de una arista, puesto que contiene un istmo
desde el vértice C al vértice D

5. Circuitos Fundamentales y Conjuntos de Corte

Definición 1: Considere un árbol de expansión T de un grafo conexo G. sea c i una

cuerda con respecto a T, y sea el circuito fundamental hecho por c i llamado Γ, que
consiste en k ramas b 1,b 2,...,b k en adición con la cuerda c i; eso es:
Γ ={c i , b1 ,b 2 , ... , bk } un circuito fundamental con respecto a T. Cada rama de
cualquier árbol de expansión tiene un conjunto de corte fundamental asociado con
el. (Deo, 1974, pag. 73-74)

Definición 2: Cuando se menciona fundamental, se relaciona con un árbol

generador o de expansión T, de un grafo G conexo. Un conjunto de corte
fundamental se construye a partir de una rama y el resto de elementos del
conjunto son cuerdas, obtenidas a partir de un grafo G conexo. Un grafo G conexo
tiene tantos conjuntos de corte fundamental, como el número de ramas que tenga
el grafo T de expansión, generado a partir del grafo G. (Florez, 2016, pág. 121)

Definición 3: Sea T un árbol de expansión de un grafo conexo G, cualquier arista

de T define una partición de vértices de G (la eliminación de esta arista
desconecta T), luego obtenemos un conjunto de corte de G produciendo la misma
partición, esta partición contiene una arista de T y un número de cuerdas de T. Tal
conjunto de cortes se denomina conjunto de cortes fundamental. (Yayimli, 2007)

Ejemplo:
 El conjunto {d,e,f} del grafo G es un conjunto de corte fundamental con d como
una de las ramas del árbol de expansión, y las aristas restantes d y f como
cuerdas del árbol correspondiente.

6. Bibliografía

Barile, M. (S.F). Separable Graph. Wolfram MathWorld.

https://mathworld.wolfram.com/SeparableGraph.html#:~:text=A

%20graph,Vertex%2C%20Biconnected%20Graph%2C%20Quasiseparable

%20Graph

Blandford, D., Blelloch, G., & Kash, I. (2003). Compact Representations of

Separable Graphs. Proceedings of the fourteenth annual ACM-SIAM

symposium on Discrete algorithms, 679-688.

Deo, N. (1974). Graph Theory with applications to Engineering and Computer

Science.

Florez, J. C. (2016). Teoría de Grafos (K. L. Florez, Ed.).

Grimaldi, R. (1997). Matemáticas Discreta y Combinatoria. Addison-Wesley.

Lipschutz, S., & Lipson, M. (2007). Matemáticas Discretas (Tercera ed.).

McGrawHill.
Moreno, G. (2005). Teoria de Grafos. Escuela de Informática Universidad de Las

Palmas de Gran Canaria.

https://www2.ulpgc.es/hege/almacen/download/25/25317/teoriadegrafos.pdf

Safe, M. (2018). Conectividad.

http://www.ic.fcen.uba.ar/materias/grafosSafe/Conectividad.pdf

Schaudt, O., Schrader, R., & Weil, V. (2013). Ontheseparabilityofgraphs.

DiscreteMathematics, 809-820.

https://reader.elsevier.com/reader/sd/pii/S0012365X13000046?

token=7291AA1CEFA0616CBBF98567F230A2962A7E79840041B346589F

FB3749F43659E4AE6354BAB7F31F09AC3949EA96D5FE

Tripathi, P. (S.F). CONNECTIVITY AND SEPARABILITY.

https://udrc.lkouniv.ac.in/Content/DepartmentContent/SM_c5f0aee6-bdf6-

4dad-8f3d-d8317a3d542a_58.pdf

Villalpando, J. F. (S.F). Apuntes para la materia de matemáticas discretas.

Weisstein, E. (S.F). Edge Connectivity. Wolfram MatchWorld.

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

Weisstein, E. (S.F). Vertex Cut. https://mathworld.wolfram.com/VertexCut.html

Yayimli, A. (2007). Graph Theory and applications.

https://web.itu.edu.tr/gencata/courses/GT/GTlecture4.pdf