Isomorfismo Dos grafos son isomorfos si existe una función de P a P´ tal que: (x,y) e E si solo si (f(x),f(y)) e E´

Slides:



Advertisements
Presentaciones similares
Diseño y análisis de algoritmos
Advertisements

MATEMATICAS DISCRETAS
GRAFOS Presentado por: Oscar Leonardo Ramírez John Freddy Sandoval
FACTORIZACIÓN LU Bachilleres:
PROPIEDADES DE LOS DETERMINANTES:
Ordenamiento Topológico
MATEMÁTICAS DISCRETAS.
“GRAFOS” Chacón Zamora José Christian González García Andrea
Matriz Fila Columna Filas Columnas
Investigación Operativa II
Unidad académica: Ingenierías
¿Qué es un conjunto? Un conjunto es una colección de objetos considerada como un todo. Los objetos de un conjunto son llamados elementos o miembros del.
Sistema de tres ecuaciones con tres incógnitas
FUNDAMENTOS DE LA TEORÍA DE CONJUNTOS
Answering Queries Using Views (Levy, Mendelzon, Sagiv, Srivastava) Javier López C.
AED I. Estructuras de Datos.
DETERMINANTES Autora: Mª Soledad Vega Fernández
GRAFOS HUGO ARAYA CARRASCO.
Matemáticas para Ciencias de la Computación MCC3182
PROGRAMACIÓN PARALELA EN ALGORITMOS SOBRE GRAFOS
Grafos. Un Grafo G es un par de conjuntos (V, E), donde V es un conjunto no vacío de elementos llamados vértices o nodos y E es un conjunto formado por.
Correspondencia de grafos RDF Claudio Gutiérrez Julio Águila.
Ciudad de Könisberg, Prusia, en XVIII:
Teoria de grafos.-clase 4
Definiciones: conjuntos, grafos, y árboles
Matemática Básica (Ing.) 1 Sesión 11.3 Álgebra de matrices.
TEMA I TEORÍA DE CAMPOS.
Matemáticas Discretas
Tema 5: Grafos Rafa Caballero - Matemática Discreta - UCM 06.
Teoría de Grafos.-Clase 2
Algoritmos y Estructuras de Datos III (segunda parte) 1er cuatrimestre 2010 Min Chih Lin Irene Loiseau.
Matemáticas para Ciencias de la Computación MCC3182
Puesta en común Racionales.
TRANSFORMACIONES ISOMÉTRICAS
EXPERIMENTACIÓN NUMÉRICA
TEORIA DE GRAFOS SALIR INTRODUCCION GRAFOS DIGRAFOS ÁRBOLES.
Matemáticas Discretas
Ejercicios de Funciones “En C” Semestre de Otoño 2006 Claudio Gutiérrez-Soto.
Definición precisa de límite
Teoría De grafos.
Curso de Teoría del Autómata
Sesión 7: Redes Bayesianas – Inferencia
Multiplicación de matrices
Modelos de Conectividad
UPC MA49 (EPE) Tema: Matriz Inversa
Coloración de grafos Teoría de Grafos
Sesión 3: Teoría de Grafos
Relaciones y Grafos Análisis y Diseño de Algoritmos.
SIGMA Gestión Universitaria A.I.E.
Definiciones: conjuntos, grafos, y árboles
TEMA 4: LÍMITES Y CONTINUIDAD
Sesión 12.1 Álgebra de matrices.
Álgebra de conmutación
Cecilia Laborde González
UNIDAD 2 Grafos Árboles abarcadores mínimos Caminos más cortos.
NÚMEROS COMPLEJOS son una extensión de los números reales, cumpliéndose que . Los números complejos tienen la capacidad de representar todas las raíces.
Sesión 6: Redes Bayesianas - Inferencia
UPC MA112 (EPE) Tema: Matriz Inversa
GRAFOS.
MÉTODO PARA HALLAR EL DOMINIO DE UNA RELACIÓN
CALCULO MATRICIAL DE ESTRUCTURAS
1 Gas Real. 2 Proponemos 3 4 N escribir como 5.
M.C. Meliza Contreras González
Matrices Pág. 1. Matrices Pág. 2 Se llama matriz traspuesta de A, y se representa por A t a la matriz que resulta de intercambiar las filas y las columnas.
Lorena Chavez JESICA BRASSEL
Ecuación de la recta.
UNIVERSIDAD NACIONAL EXPERIMENTAL DEL TACHIRA UNIDAD DE ADMISION CURSO PROPEDEUTICO ASIGNATURA FISICA Prof. Juan Retamal G.
U NIDAD 3 G RAFOS Y SU CONECTIVIDAD M.C. Meliza Contreras González.
LOGICA Y MATEMATICA COMPUTACIONAL
Ejercicios.
Transcripción de la presentación:

Isomorfismo Dos grafos son isomorfos si existe una función de P a P´ tal que: (x,y) e E si solo si (f(x),f(y)) e E´

Isomorfismo CONDICIONES: (necesario pero no suficiente) |P| = |P´| (La cantidad de nodos en los grafos es la misma) |E| = |E´| (La cantidad de relaciones es la misma)

Ejemplo: F A B C D E G H 1) |P| = 4 y |P’|= 4 => |P|=|P’|

2) |E|=3 y |E’|=3 => |E|=|E’| F A B C D E G H

Isomorfismo Una vez construida la biyección, verifico la definicion: (x,y) e E si solo si (f(x),f(y)) e E´ Construyo la biyeccion: Defino un orden total como referencia = Genero permutaciones del otro orden total de nodos = Verifico si cumple la definición: Comparo las matrices de adyacencia Si las matrices son iguales entonces las estructuras son isomorfas Paro cuando no hay permutaciones posibles o cuando se verifique que son isomorfas

F A B C D E G H Permuto para encontrar la biyección: ABCDABCD EFGHEFGH ABCDABCD EFGHEFGH ABCDABCD EFGHEFGH ABCDABCD EFGHEFGH Matriz de G

Multiconjuntos: Los multiconjuntos son conjuntos a los cuales pueden pertenecer elementos repetidos. Otro filtro para grafos isomorfos: Ambos multiconjuntos deben tener los mismos elementos A partir de los multiconjuntos construyo las biyecciones para pares de nodos con igual grado =

20 A B C D Utilizamos los multiconjuntos: = f1 | f2 A | 40 | 40 B | 10 | 20 C | 20 | 10 D | 30 | A B C D ABCDABCD = A B C D ABCDABCD =

Implementacion: (permutaciones)

ejemplo 1) Matriz ad. Ga Matriz ad. Gb = = Se cambio en Ga la fila/columna 1 por la 3 Se cambio en Gb la fila/columna 2 por la 3 Se cambio en Ga la fila/columna 2 por la 2 Se cambio en Gb la fila/columna 1 por la Las matrices quedan: Matriz ad. Ga Matriz ad. Gb rota con k= La biyeccion es: :2 2:1 3:3 4:4 5: la matriz Ga queda: Matriz ad. Ga Matriz ad. Gb

ejemplo2) Matriz ad. Ga Matriz ad. Gb = = Se cambio en Ga la fila/columna 1 por la 4 Se cambio en Gb la fila/columna 3 por la 4 Se cambio en Ga la fila/columna 2 por la 3 Se cambio en Gb la fila/columna 1 por la 3 Se cambio en Ga la fila/columna 2 por la 2 Se cambio en Gb la fila/columna 0 por la Las matrices quedan: Matriz ad. Ga Matriz ad. Gb rota con k= La biyeccion es: :2 2:1 3:3 4:4 5: la matriz Ga queda: Matriz ad. Ga Matriz ad. Gb

ejemplo 3) Matriz ad. Ga Matriz ad. Gb = = No son isomorfas porq el Ga tiene 1 nodo/s con 11 y Gb tiene 3 nodo/s