Decomposições Localmente Irregulares
Um grafo é localmente irregular se todo par de vértices adjacentes possui graus distintos. Uma decomposição localmente irregular de um grafo é uma decomposição dele em subgrafos que são localmente irregulares. Vários esforços foram feitos nos últimos anos para tentar provar uma conjectura que pergunta se todo grafo que admite uma decomposição localmente irregular pode ser decomposto em no máximo três subgrafos localmente irregulares. Um único contraexemplo foi encontrado, então os esforços atuais se concentram em provar que esse contraexemplo é único ou em encontrar novos contraexemplos. A Conjectura 1-2-3, que possui uma relação com o problema anterior, pergunta se é possível atribuir um peso 1, 2 ou 3 a cada aresta de um grafo de forma que, para todo par de vértices adjacentes, a soma dos pesos das arestas que são incidentes a ambos é diferente. Essa conjectura foi provada por Keusch em 2024. Nesta dissertação nós apresentamos os resultados principais sobre esses problemas e nossos resultados relacionados ao primeiro. Também sugerimos algumas direções para pesquisas futuras.