Matemáticas

discretas

MSc. Diana
Mejı́a

Introducción

Cliques

Matemáticas discretas

MSc. Diana Mejı́a

Universidad del Norte

2023-10
Matemáticas
discretas

MSc. Diana U2: Introducción a la teorı́a de

Mejı́a
grafos
Introducción

Cliques
1 Grafos, multı́grafos y subgrafos, matrices y grafos, grafos
completos, bipartidos, árboles, entre otros.
2 Grafos ponderados, isomorfos y homeomorfismos.
3 Caminos eulerianos, caminos hamiltonianos, algoritmos
asociados.
4 Grafos planares, teorema de Euler.
5 Conexidad, teoremas asociados.
6 Bloques.
7 Coloración de grafos, algoritmos asociados.
8 Emparejamientos, Matching.
9 Cliques.
10 Aplicaciones.
Matemáticas
discretas

MSc. Diana Grafo inducido por un conjunto de

Mejı́a
vértices
Introducción
Para C ⊆ V , decimos que el subgrafo de G con C como
Cliques
conjunto de vértices y todas las aristas que unen a los vértices
de C en el grafo original, es el grafo inducido por C.
Ejemplo. Halle el grafo inducido por los siguientes conjuntos
de vértices en el grafo que se muestra debajo.
• {1, 2, 3, 4}
• {3, 5, 6, 7}
• {5, 6, 7, 8}
Matemáticas
discretas

MSc. Diana Clique

Mejı́a

Introducción

Cliques

Un clique, C, en un grafo G=(V,A) simple no dirigido, es un

subconjunto de vértices tales que cada par de vértices distintos
en C son adyacentes. Esto es, C es un clique si el subgrafo de G
inducido por C es completo.
Se le suele llamar indistintamente clique al grafo inducido por
dicho conjunto C.
Matemáticas
discretas

MSc. Diana Ejercicio

Mejı́a

Introducción

Cliques
Halle los cliques del siguiente grafo:
Matemáticas
discretas

MSc. Diana Clique maximal

Mejı́a

Introducción

Cliques

Un clique maximal es aquel que no puede ser extendido

añadiéndole un vértice adyacente más, es decir, es aquel que no
es subconjunto de un clique más grande.
Ejercicio. Determine cuáles de los cliques hallados en el
ejercicio anterior son maximales.
Matemáticas
discretas

MSc. Diana Clique máximo

Mejı́a

Introducción

Cliques

Un clique máximo es aquel que tiene tamaño máximo.

Ejercicio. Determine cuáles de los cliques hallados en el
ejercicio anterior son maximales.
Matemáticas
discretas

MSc. Diana Pregunta

Mejı́a

Introducción

Cliques

En los cliques, ¿es equivalente ser maximal con ser máximo?

Matemáticas
discretas

MSc. Diana Respuesta

Mejı́a

Introducción

Cliques

En los cliques, ¿es equivalente ser maximal con ser máximo?

NO. Todo clique máximo es maximal, pero el recı́proco no es
cierto en general.
Matemáticas
discretas

MSc. Diana Complemento de un clique

Mejı́a

Introducción

Cliques

El complemento de un clique, o anticlique, es un conjunto

independiente de vértices.
Matemáticas
discretas

MSc. Diana Conjunto separador o corte por

Mejı́a
vértices
Introducción

Cliques

Un conjunto de vértices S, o corte por vértices de un grafo G,

es un subconjunto S ⊆ V , tal que G − S es disconexo.
Matemáticas
discretas

MSc. Diana Conectividad

Mejı́a

Introducción

Cliques

Se llama conectividad, K (G ), al número mı́nimo de vértices de

corte que haya en G. Esto es, al número más pequeño de
vértices que hay que quitar para que el grafo sea disconexo (o
que quede con un vértice).
Un grafo se dice k-conexo, si se necesita quitarle al menos k
vértices para volverlo disconexo. Es decir, k ≤ K (G ).
Matemáticas
discretas

MSc. Diana Ejemplos

Mejı́a

Introducción

Cliques

• K (Kn ) = n − 1.
• K (Km,n ) = mı́n{m, n}.
• Un grafo es 0-conexo si, y sólo si, es K1 o disconexo.
• Un grafo es 1-conexo si, y sólo si, es K2 o conexo con 1
vértice en el conjundo separador.
• Un grafo es 2-conexo si, y sólo si, es K3 o conexo con 2
vértices en el conjundo separador.
• Note que K1 y K2 no tienen vértices de corte.
Matemáticas
discretas

MSc. Diana Bloque

Mejı́a

Introducción

Cliques

Un bloque de un grafo G, es un subgrafo maximal de G conexo,

y que no tiene vértices de corte. Si un grafo G es conexo y no
tiene vértices de corte, se dice que G es un bloque.
Note que G es un bloque si es conexo y quitándole cualquier
vértice, sigue siendo conexo.
Matemáticas
discretas

MSc. Diana Observaciones

Mejı́a

Introducción

Cliques • Si una arista está contenida en un ciclo, esta no puede ser

un bloque. ¿Por qué?
• ¿Qué aristas pueden ser consideradas bloques?
• Note que toda arista está contenida en un bloque (¿por
qué?).
• ¿Cuáles son los bloques de un árbol?
• Si un bloque tiene más de 2 vértices, entonces es 2-conexo.
• En resumen,
Matemáticas
discretas

MSc. Diana Observaciones

Mejı́a

Introducción

Cliques • Si una arista está contenida en un ciclo, esta no puede ser

un bloque. ¿Por qué?
• ¿Qué aristas pueden ser consideradas bloques?
• Note que toda arista está contenida en un bloque (¿por
qué?).
• ¿Cuáles son los bloques de un árbol?
• Si un bloque tiene más de 2 vértices, entonces es 2-conexo.
• En resumen,los bloques de un grafo sin bucles son sus
vértices aislados, sus aristas de corte y sus subgrafos
2-conexos maximales.
• La intersección de dos bloques contiene máximo 1 vértice.
Matemáticas
discretas

MSc. Diana Ejercicio

Mejı́a

Introducción

Cliques

Determine los bloques del siguiente grafo.

Matemáticas
discretas

MSc. Diana Ejercicios

Mejı́a

Introducción
Determine la conectividad, los conjuntos separadores y los
Cliques
bloques de cada uno de los siguientes grafos: