Uma generalização do problema de Erdős-Rothschild para padrões de grafos completos

Detalhes bibliográficos
Ano de defesa: 2021
Autor(a) principal: Nolibos, Denilson Amaral
Orientador(a): Hoppen, Carlos
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://hdl.handle.net/10183/254901
Resumo: A presente tese de doutorado trata de um problema extremal de coloração de arestas de grafos. Mais precisamente, nós trabalhamos em uma extensão do Problema de Erdős e Rothschild para padrões de grafos completos. Nosso principal resultado prova que, para n suficientemente grande e r ≥ r0(k, s, t), todo grafo G tem no máximo rtk−1(n) colorações que são livres de cópias de Kk coloridas com s ou mais cores. Além disso, mostramos que o único grafo que alcança este número de r-colorações é o grafo de Turán Tk−1(n). Como resultados parciais, demonstramos que para toda família PK de pares (Kk, P), onde P representa um padrão de Kk induzido por uma r-coloração, existe um grafo multipartido completo que é PK -extremal. Na sequência, mostramos que, sendo P(Kk ,≥s) a família de todos os padrões com s ou mais classes de um grafo completo Kk, todo grafo P(Kk ,≥s)-extremal deve ser multipartido completo. Também apresentamos, como parte da estratégia para a demonstração do resultado exato, a Propriedade de Estabilidade de Cores para grafos, a qual prova que grafos P(Kk ,≥s)-extremais que têm o número de r-colorações maior que rtk−1(n) devem ter uma estrutura “próxima”do grafo de Turán Tk−1(n). Pela forma como montamos a estratégia na prova da estabilidade de cores, obtivemos uma melhoria significativa para o parâmetro r0 em relação ao exigido por Hoppen, Lefmann e Odermann [26] para o padrão arco-íris, além de apresentar cotas inferiores para este parâmetro para todos os valores de 2 ≤ s < (k 2).