Constrained Horn Clauses for Program Verification
05 de setembro às 16h na sala 6321 (DCC)
Teoria dos Grafos
Colorações, Heurísticas e um pouco de pessimismo
Data e hora: sexta, 5 de maio de 2023, às 16h Local: sala 2077 (ICEx) Palestrante: Marcio Santos (DCC, UFMG) Resumo: Um dos problemas mais estudados em teoria dos grafos é o problema de determinar o número cromático de um grafo. O número cromático é o menor número de cores necessário para colorir um grafo …
Colorações, Heurísticas e um pouco de pessimismo Leia mais »