Possui mestrado em Ciência da Computação pela Universidade Estadual de Campinas e graduação em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2017). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Um grafo G = (V,E) é conexo se para todo par de vértices u e v em V existe um caminho de u a v em G; caso contrário, dizemos que G é desconexo. Um grafo é k-conexo se tem mais que k vértices e a remoção de quaisquer k'<k vértices não o torna desconexo. Em 1963, Tutte demonstrou que para todo grafo G 3-conexo e quaisquer vértices u,v em V(G) existe um caminho P de u a v tal que G - V(P) é …
Neste projeto de pesquisa de mestrado, propomos o estudo de kernels e sua generalização em k-kernels. Inicialmente apresentamos um levantamento do estado da área - identificando os principais resultados e problemas abertos - a fim de compreender com maior profundidade os conceitos estudados e, portanto, alcançar os objetivos com maior facilidade. Kernels em dígrafos nasceram a partir da á…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID