Teste de propriedades e estimação de parâmetros de grafos

Resumo

Este é o projeto de pesquisa de Henrique Stagni, estudante de doutorado na Universidade de São Paulo, para o programa Bolsa Estágio de Pesquisa no Exterior (BEPE) da FAPESP, a ser realizado na Universidade de Tel Aviv, sob a supervisão do Professor Asaf Shapira. O objetivo deste projeto é o estudo de teste de propriedade e estimação de parâmetros de estruturas combinatórias. Mais especificamente, nosso objetivo consiste em encontrar melhores cotas para o número de vértices que deve ser amostrado de uma estrutura combinatória para se obter uma boa aproximação de tal estrutura. O Professor Asaf Shapira obteve impressionantes resultados nas áreas de combinatória extremal e em teoria da computação, e é um dos principais especialistas na área de teste de propriedade, um assunto em que ele tem trabalhado desde sua tese de doutorado. A Universidade de Tel Aviv (TAU) é um centro mundial de combinatória e teoria da computação. Noga Alon, Baumwritter Professor de Matemática e Ciência da Computação de TAU é um membro SENIOR da área. A Universidade de TAU também conta com outros pesquisadores bem reconhecidos na área como Michael Krivelevich e Wojciech Smotij. Estamos certo que este estágio trará grandes benefícios ao candidato e a seu projeto de doutorado. De maneira mais geral, este estágio também pode ter um impacto substancial no projeto temático Estruturas combinatórias, otimização e algoritmos em Teoria da Computação (Proc. 2013/03447-6). (AU)