Supervisor: Guilherme Oliveira Mota
A Conjectura de Hedetniemi afirma que o número cromático do produto categórico de dois grafos é sempre igual ao mínimo entre os números cromáticos dos grafos que o compõem. Neste trabalho são apresentadas conjecturas similares criadas ao longo dos anos com o objetivo de entender a natureza do problema e também como foi encontrado o contraexemplo que prova que a conjectura é falsa, junto com um segundo contraexemplo que refina o primeiro.