Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. Conceptos
Un grafo no dirigido es un conjunto de nodos conectado por medio de aristas (arcos) que no
poseen una dirección definida, la conexión entre nodos llamada arista es simétrica, se puede partir
del nodo a al nodo b (a ≠ b), viceversa. Se denota de la forma G = (V, E), donde V es el conjunto
de vértices y E es el conjunto de arcos, en el caso de los no dirigidos los arcos se denotan de la
forma e={a, b}.
o Grafo Completo: Un grafo completo es aquel en que todos sus nodos están
conectados entre todos. Son todas las combinaciones posibles. Formalmente es
escrito como G = (V, VxV).
o Grafo Inducido: Es un tipo de grafo que se construye a partir de otro grafo, donde
G’ = (V’, E’) tiene a V’ ⊆ V y el conjunto E’ ⊆ E tiene todas las aristas de E que
contienen los nodos que están en V’ sin excepción de alguna.
o Clique de un grafo: Dado un grafo G = (V, E), el clique del grafo es un subconjunto
de V, denotémoslo V’ ⊆ V, en el cual el grafo inducido por V’ genera un grafo
completo, es decir que E’ ⊆ E contiene las aristas de todas las combinaciones
posibles de los nodos de V’, es decir E=V’xV’.
o Grafo Bipartito: Es un grafo que se puede dividir en dos conjuntos de vértices los
cuales no poseen una arista entre ellos, es decir sea V el conjunto de vértices este se
puede dividir en V1 U V2, de tal forma que para toda arista e perteneciente a E no
existe ninguna arista x1, x2 ∈ V1 tal que e = {x1, x2} ∈ E, y lo análogo para un y1, y2
arbitrarios pertenecientes a V2.
o Grafo Euleriano: Es un grafo que posee en todos los grados de sus vértices un
número par, de esta forma se asegura que pueda haber un camino euleriano, es decir
un camino en el que se recorran todas sus aristas y se pueda terminar en el mismo
nodo de inicio, cumpliendo así la condición de ciclo euleriano (Hay un camino que
empieza y termina en el mismo nodo recorriendo todas las aristas una sola vez).
o Grafo regular: Es un grafo en el que los grados de cada nodo tienen el valor K, es
decir todos los nodos están conectados al mismo número de nodos. Si la K es 3 se le
dice grafo 3-regular, y eso quiere decir que el grado de cada nodo es 3.
o Grafo k−coloreable: Es un grafo que se le pueden asignar k colores distintas sin que
nodos del mismo color sean adyacentes, si tiene tres colores distintos se diría que es
k-coloreable.
o Ciclo de un grafo: Es aquel camino que inicie en un nodo y termine en el mismo sin
repetir ninguno de los nodos a excepción de la inicial (camino simple, pero termina
donde inicia). No es necesario que recorra todos los nodos y un grafo puede contener
múltiples caminos que forman un ciclo.
o Circuito de un grafo: Es similar al ciclo de un grafo solo que, para grafos dirigidos, es
un camino simple que termina donde inicia, y ningún nodo se repite a excepción del
primero.
Asuma que usted ha construido un algoritmo que indica si un grafo tiene un clique de
tamaño k. Construya un algoritmo que indique si un grafo no es k−coloreable (estando
100% seguro) o retorne ”No se”:
Nr 1 2 3 4 5 6 7 8 9 10 11
Nodo
Info 3 2 1 1 1 1 0 1 1 2 3
Existe 1 2 3 4 5 6 7 8 9 10 11
arco
1 0 1 0 0 0 0 0 0 0 0 0
2 1 0 1 1 1 0 0 0 0 0 0
3 0 1 0 0 0 1 1 0 0 0 0
4 0 1 0 0 1 0 1 0 0 0 0
5 0 1 0 1 0 0 1 0 1 0 0
6 0 0 1 0 0 0 1 0 0 0 0
7 0 0 1 1 1 1 0 1 1 0 0
8 0 0 0 0 0 0 1 0 1 1 0
9 0 0 0 0 1 0 1 1 0 0 0
10 0 0 0 0 0 0 0 1 0 0 1
11 0 0 0 0 0 0 0 0 0 1 0
3. Demostraciones:
Demostración:
Lema 1: p ≡ q
Definición 1.4.1: p ≡ r
p ≡ q ∧ p ≡ r
≡ ⟨Implicación mutua dos veces⟩
(p ⇒ q) ∧ (q ⇒ p) ∧ (p ⇒ r) ∧ (r ⇒ p)
≡ ⟨Simetría de ∧⟩
(q ⇒ p) ∧ (p ⇒ r) ∧ (r ⇒ p) ∧ (p ⇒ q)
≡ ⟨Transitividad 2 veces⟩
(q ⇒ r) ∧ (r ⇒ q)
≡ ⟨Implicación mutua⟩
q≡r
∴ q≡r