Portal de Periódicos da CAPES

Isomorfismo de grafos y de funciones lógicas con algunas aplicaciones

1998; University of Costa Rica; Volume: 5; Issue: 2 Linguagem: Espanhol

10.15517/rmta.v5i2.157

2215-3373

Mijail Bulat,

Model-Driven Software Engineering Techniques

Se propone un método de solución del problema de isomorfismo para grafos que permite reducir esencialmente el sondeo de variantes durante el proceso de solución. En la base de dos sucesiones de sustituciones se dan las condiciones necesarias y suficientes de la existencia de isomorfismo. El método se aplica para cualesquiera grafos (dirigidos, no – dirigidos, pesados y etc.) e hipergrafos. Con algunas modificaciones se usa para resolver el mismo problema para funciones lógicas. Se examinan unas aplicaciones: 1. la búsqueda de los ciclos (cadenas) hamiltonianos, 2. la solución del problema de Frobenius para matrices equivalentes, 3. la codificación de los estados interiores de la máquina finita.