O Método da Descarga e Aplicações em Códigos de Identificação
Aluno: Igor Fratel Santana
Supervisora: Yoshiko Wakabayashi
O discharging method ou método da descarga é uma técnica de prova em teoria dos grafos que foi
usada para provar resultados importantes, sendo o Teorema das Quatro Cores sua aplicação mais conhecida.
Código de identifcação é um conceito em teoria dos grafos com aplicações em detecção de erros em sistemas
de computação distribuída. O objetivo deste trabalho é oferecer um material didático para aqueles que
tenham interesse em aplicar o método da descarga, exibindo uma ampla gama de exemplos. Além disso,
pretende-se dar um enfoque especial para os códigos de identifcação, dado que o método da descarga
possui aplicações para provar teoremas relacionados a esse conceito.
Palavras-chave: teoria dos grafos. método da descarga. código de identicação.