Bolsa 23/13743-3 - Complexidade computacional, Grafos aleatórios - BV FAPESP
Busca avançada
Ano de início
Entree

Cotas inferiores para o caso médio em complexidade de prova

Processo: 23/13743-3
Modalidade de apoio:Bolsas no Exterior - Estágio de Pesquisa - Iniciação Científica
Data de Início da vigência: 13 de dezembro de 2023
Data de Término da vigência: 12 de março de 2024
Área de conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
Pesquisador responsável:Yoshiharu Kohayakawa
Beneficiário:Théo Borém Fabris
Supervisor: Susanna Figueiredo de Rezende
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ã: Lund University, Lund, Suécia  
Vinculado à bolsa:22/09280-5 - Métodos probabilísticos em complexidade computacional e geometria, BP.IC
Assunto(s):Complexidade computacional   Grafos aleatórios   Métodos probabilísticos   Teoria de Ramsey
Palavra(s)-Chave do Pesquisador:Complexidade Computacional | Complexidade de prova no caso médio | Grafos Aleatórios | Métodos Probabilísticos | Teoria de Ramsey | Complexidade Computacional

Resumo

Esta é a proposta de pesquisa de Théo Borém Fabris, estudante da Universidade de São Paulo, para o programa Bolsa Estágio de Pesquisa no Exterior (BEPE) da FAPESP, a ser conduzido na Universidade de Lund sob supervisão da Professora Susanna Figueiredo de Rezende. O objetivo deste projeto é o estudo de cotas inferiores no caso médio em sistemas de prova restritos, tais quais Resolução e suas variantes, fazendo uso de técnicas probabilísticas e métodos combinatórios. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)