RT info:eu-repo/semantics/bachelorThesis T1 Herramientas del álgebra conmutativa computacional para el problema de coloración de grafos A1 Martín Heras, Alberto A2 Universidad de Valladolid. Facultad de Ciencias K1 Álgebra conmutativa computacional K1 Coloración de grafos AB El problema de coloración de grafos es uno de los más relevantes en la Teoría de grafos por sus múltiples aplicaciones. Dado un grafo se trata de probarla existencia de una coloración de sus vértices empleando k colores y el número de formas de hacerlo. Este problema puede ser tratado con herramientasdel algebra conmutativa a través de ciertos ideales de polinomios que asocian distintas coloraciones de un grafo con puntos de una variedad afín.Se propone introducir dos herramientas del álgebra conmutativa computacional: las Bases de Gröbner y los certificados Nullstellensatz, y emplearlas paraestudiar esta relación. YR 2023 FD 2023 LK https://uvadoc.uva.es/handle/10324/63196 UL https://uvadoc.uva.es/handle/10324/63196 LA spa NO Departamento de Algebra, Geometría y Topología DS UVaDOC RD 20-oct-2024