GRAFOS

Son modelos matemáticos utilizados para representar relaciones entre los objetos de un conjunto,
los utilizamos para representar conexiones entre objetos, datos o fuentes de información, por
ejemplo, redes de carreteras, conexiones aéreas, las pistas de un circuito impreso, las redes de
ordenadores y dispositivos informáticos.

TIPOS DE GRAFOS

GRAFO SIMPLE

Un grafo simple es un grafo o dígrafo que no tiene bucles, y que no es un multígrafo.

Se admiten múltiples aristas conectando dos vértices

Permite conectar un vértice consigo mismo

Los pares que determinan las aristas son ordenados

Las aristas son pares ordenados y puede haber múltiples aristas entre vértices
 MODELOS CON GRAFOS

Simples:

Ejemplo: Para representar una red de computadores, podemos usar un grafo en que cada nodo es
un servidor y cada arco es una conexión.

En el anterior ejemplo, (1) cada arco conecta dos nodos diferentes, y (2) no existen arcos que
conecten el mismo par de nodos.

Además, no existe dirección en los arcos, i.e. podemos asumir que

e = (u, v) conecta tanto a u con v como a v con u.

Si un grafo G = (V , E) satisface todas estas propiedades decimos

que es simple.

En particular, para todo grafo simple G = (V , E) podemos asociar

E con un subconjunto de V × V tal que:

◮ (v, v) 6∈ E, para todo v ∈ V ; y

◮ (u, v) ∈ E ⇒ (v, u) ∈ E, para todo par (u, v) ∈ V × V .

MULTIGRAFOS Y PSEUDOGRAFOS

Ejemplo: Sin embargo, una red de computadores podría presentar más de una conexión entre
servidores y conexiones de un servidor consigo mismo:
Un grafo con más de un arco conectando el mismo par de nodos es un multígrafo.

Formalmente, un multígrafo G = (V , E) es un grafo simple, pero donde esta vez E ⊆ V × V × N.

La interpretación que se le da al hecho que (u, v, n) ∈ E es que

existen n arcos entre u y v.

Un multígrafo que además viola la condición de que (v, v) 6∈ E, para todo v ∈ V (i.e. el grafo tiene
loops), se denomina seudografo.

VERTICE ADYACENTE

Si tenemos un par de vértices de un grafo (U, V), y si tenemos una arista que los une, entonces U y
V son vértices adyacentes y se dice que U es el vértice inicial y V es el vértice adyacente.

ARISTA INCIDENTE

Una arista es incidente a un vértice si ésta lo une a otro vértice.

GRADO DE UN VERTICE

TEOREMA DEL APRETÓN DE MANOS

Ejemplo:
 FAMILIAS DISTINGUIDAS DE GRAFOS SIMPLES

Completos: Es un grafo de n vértices que contiene una arista entre cada par de vértices distintos.
Se denota Como Kn.

Ciclos: Son grafos con n vértices (para n>= 3) y con un conjunto de aristas definido
de la siguiente forma: { (v1,v2),(v2,v3),(v3,v4)�. (vn-1, vn), (vn, v1) }. Se denota
como Cn.
Rueda: Obtenemos una rueda cuando añadimos un vértice al ciclo Cn y conectamos
este nuevo vértice con cada uno de los vértices de Cn mediante nuevas aristas .

n-Cubos: En un grafo n-Cubo se definen vértices que representan 2n cadenas de bits

de longitud n. Se debe tener en cuenta que dos vértices serán adyacentes si las
cadenas de bits que representan difieren exactamente en un bit.

Bipartitos: Se dice que un Grafo Simple G es bipartito si su conjunto de vértices V se

puede dividir en dos conjuntos disjuntos V1 y V2 tales que cada arista del grafo
conecta un vértice de V1 con un vértice de V2 (de manera que no haya ninguna arista
que conecte entre sí dos vértices de V1 ni tampoco dos vértices de V2).

Bipartito Completo: El Grafo Bipartito Completo K m,n es el grafo cuyo conjunto de

vértices está formado por dos subconjuntos con m y n vértices, respectivamente, y ahí
una arista entre dos vértices si, y sólo si, un vértice está en el primer subconjunto y el
otro vértice está en el segundo subconjunto.
Por medio de esta matriz podemos observar la relación de cada vértice con los demás, si tenemos
un vértice relacionado con otro por medio de una arista se coloca 1, de lo contrario se coloca 0.
Vamos a comparar vértices con aristas, si hay una arista que incide en el vértice se coloca 1 de lo
contrario se coloca 0.

2.Vértice con vértice, arista con arista.

CONEXIÓN
 CAMINOS

• Camino: secuencia de vértices tales que cada uno es adyacente al anterior