Olá! Meu nome é Marcelo Silvarolla e esta página se dedica ao meu TCC, parte do Bacharelado em Ciência da Computação no IME-USP. Meu supervisor é o Professor Rodrigo Bissacot.
Eis o resumo do trabalho:
O Lema Local de Lovász (LLL) é uma ferramenta útil para se provar a existência de objetos combinatórios, enquandrando-se no chamado “método probabilístico”. Uma versão algorítmica foi provada por Moser e Tardos, possibilitanto que se encontrem tais objetos, e de maneira mecânica. Demonstramos o LLL, juntamente com sua versão algorítmica. Também apresentamos as novas versões do lema provindas da sua conexão com o Gás de Rede e suas respectivas algoritmizações. O texto é acessível a alunos de graduação de matemática e computação. Palavras-chave: Lema Local de Lovász, algoritmo de Moser-Tardos
A monografia se encontra aqui.
A parte subjetiva está aqui.