Sobre a coloração total semiforte

O problema da coloração total semiforte foi introduzido por Zhang et al. por volta de 2005. Este problema consiste em associar cores às arestas e aos vértices de um grafo G=(V(G),E(G)), utilizando o menor número de cores possível, de forma que: (i) quaisquer dois vértices ou duas arestas adjacentes possuam cores distintas; (ii) cada vértice tenha cor diferente das cores das arestas que nele incidem; e, além disso, (iii) para quaisquer dois vértices adjacentes u,v pertencentes a V(G), o conjunto das cores que colorem u e suas arestas incidentes é distinto do conjunto das cores que colorem v e suas arestas incidentes. Denominamos esse menor número de cores para o qual um grafo admite uma coloração total semiforte como número cromático total semiforte. Zhang et al. também determinaram o número cromático total semiforte de algumas famílias clássicas de grafos e observaram que todas elas possuem uma coloração total semiforte com no máximo Delta(G)+3 cores. Com base nesta observação, eles conjeturaram que Delta(G)+3 cores seriam suficientes para construir uma coloração total semiforte para qualquer grafo simples G. Essa conjetura é denominada Conjetura da Coloração Total Semiforte e permanece aberta para grafos arbitrários, tendo sido verificada apenas para algumas famílias de grafos. Nesta dissertação, apresentamos uma resenha dos principais resultados existentes envolvendo a coloração total semiforte. Além disso, determinamos o número cromático total semiforte para as seguintes famílias: os grafos simples com Delta(G)=3 e sem vértices adjacentes de grau máximo; os snarks-flor; os snarks de Goldberg; os snarks de Blanusa generalizados; os snarks de Loupekine LP1; e os grafos equipartidos completos de ordem par. Verificamos que os grafos destas famílias possuem número cromático total semiforte menor ou igual a Delta(G)+2. Investigamos também a coloração total semiforte dos grafos tripartidos e dos grafos equipartidos completos de ordem ímpar e verificamos que os grafos destas famílias possuem número cromático total semiforte menor ou igual a Delta(G)+3. Os resultados obtidos confirmam a validade da Conjetura da Coloração Total Semiforte para todas as famílias consideradas nesta dissertação (AU)