Metateoremas sobre grafos : el Teorema de Courcelle

En el presente documento se estudia la demostración del meta-teorema de Courcelle. Este último es un resultado sobre grafos y lógica que enuncia que, para cualquier entero k, cualquier propiedad de grafos que sea expresable en lógica monádica de segundo orden (en el lenguaje de grafos), es decidible...

Full description

Autores:

Chaves Sanguino, Juan Diego

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2020

Institución:

Universidad de los Andes

Repositorio:

Séneca: repositorio Uniandes

Idioma:

spa

OAI Identifier:

oai:repositorio.uniandes.edu.co:1992/48889

Acceso en línea:

http://hdl.handle.net/1992/48889

Palabra clave:

Grafos
Lógica
Teoría de grafos
Matemáticas

Rights

openAccess

License

http://creativecommons.org/licenses/by-nc-sa/4.0/