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

• Processo: 17/02263-0
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Doutorado
• Data de Início da vigência: 11 de setembro de 2017
• Data de Término da vigência: 10 de setembro de 2018
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Matemática da Computação
• Pesquisador responsável: Yoshiharu Kohayakawa
• Beneficiário: Henrique Stagni
• Supervisor: Asaf Shapira
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Instituição Anfitriã: Tel Aviv University, Israel
• Vinculado à bolsa: 15/15986-4 - Combinatória Assintótica com Aplicações em Teste de Propriedades e Estimação de Parâmetros., BP.DR
• Assunto(s): Combinatória Algoritmos Estimação paramétrica
• Palavra(s)-Chave do Pesquisador: Objeto limite | Regularidade | teste de parâmetro | teste de propriedade | Combinatória e algoritmos

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)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

HAN, J.; KOHAYAKAWA, Y.; SALES, M. T.; STAGNI, H.. ON SOME EXTREMAL RESULTS FOR ORDER TYPES. ACTA MATHEMATICA UNIVERSITATIS COMENIANAE, v. 88, n. 3, p. 779-785, 2019. (13/03447-6, 17/02263-0, 15/15986-4)

HOPPEN, CARLOS; KOHAYAKAWA, YOSHIHARU; LANG, RICHARD; LEFMANN, HANNO; STAGNI, HENRIQUE. ON THE QUERY COMPLEXITY OF ESTIMATING THE DISTANCE TO HEREDITARY GRAPH PROPERTIES. SIAM JOURNAL ON DISCRETE MATHEMATICS, v. 35, n. 2, p. 1238-1251, 2021. (17/02263-0, 15/15986-4, 18/04876-1)

HOPPEN, CARLOS; KOHAYAKAWA, YOSHIHARU; LANG, RICHARD; LEFMANN, HANNO; STAGNI, HENRIQUE. Estimating parameters associated with monotone properties. COMBINATORICS PROBABILITY & COMPUTING, v. 29, n. 4, p. 17-pg., 2020-07-01. (17/02263-0, 15/15986-4, 13/03447-6)