Algoritmos, Combinatória e Otimização
Algoritmos são o conceito mais fundamental da Ciência da Computação. Seu estudo remete a teorias básicas como a Complexidade Computacional e a Computabilidade. Por outro lado, o projeto de algoritmos, acompanhado de todos os seus paradigmas – algoritmos sequenciais, paralelos, distribuídos, randomizados, aproximativos, quânticos, dentre outros – permite a aplicação do computador na resolução de problemas nos mais diversos campos do conhecimento. No presente projeto, investiga-se o conceito de algoritmo em todas as suas dimensões, desde a pesquisa básica em complexidade computacional e paradigmas de projetos de algoritmos até a pesquisa aplicada visando ao desenvolvimento de algoritmos em áreas como Bioinformática, Geometria Computacional e Teoria Espectral de Grafos.
Como ferramenta essencial ao desenvolvimento de algoritmos, a matemática combinatória e otimização são investigadas. No que tange à matemática combinatória, busca-se o desenvolvimento de estruturas de dados que suportem a execução de algoritmos eficientes quanto em busca de maior entendimento a respeito de problemas combinatórios fundamentais e aqueles relacionados a Teoria dos Grafos. Já no que se refere à otimização, busca-se a concepção e aplicação de técnicas para a resolução de problemas por meio de modelos de programação linear, não linear, inteira ou mista (métodos exatos e/ou heurísticos), bem como métodos bio-inspirados como colônia de formigas, algoritmos genéticos, enxame de partículas.
Docentes Envolvidos:
- Diego Haddad
- Laura Silva de Assis
- Leonardo Lima
- Pedro Henrique Gonzalez (Responsável)
Parcerias internacionais:
- Ali Mohammadian (Anhui University, Hefei, China);
- Gilles Caporossi (GERAD, University of Montreal);
- Paula Carvalho e Paula Rama (Universidade de Aveiro, Portugal)
- Philippe Michelon (Université d’Avignon et des Pays de Vaucluse, França)
- Saieed Akbari (Sharif University, Irã);
- Vladimir Nikiforov (University of Memphis, EUA);
Fomento:
- Edital CNPq Universal, projeto ” Problemas em Teoria Espectral de Grafos e aplicações em Redes Complexas”, no período 2012-2015, com coordenação do docente Leonardo Lima. Valor financiado: R$ 22.300,00.
- Edital FAPERJ Jovem Cientista do Nosso Estado, projeto “Matrizes em Teoria Espectral dos Grafos: teoria e aplicações”, no período 2013-2016, com coordenação do docente Leonardo Lima. Valor financiado: R$ 75.600,00.
- Edital APP-CAMPI do CEFET/RJ, projeto “Gerenciamento Otimizado de Redes em Malha sem Fio e de Clusters de Servidores para o Desenvolvimento de Aplicações Ubíquas e Pervasivas, no período 2015, com coordenação do docente Laura Assis. Valor financiado: R$15.000,00.
- Edital CNPq bolsa de produtividade, projeto “Teoria Algébrica de Grafos e Aplicações”, no período 2015-2018, com coordenação do docente Leonardo Lima. Valor financiado: R$39.600,00;
- Edital FAPERJ/APQ1, projeto “Monitoramento de Sistemas Aplicado a Redes de Sensores sem Fio “, no período 2016-2018, com coordenação do docente Laura Assis. Valor financiado: R$ 10.000,00.
- Edital FAPERJ Auxílio instalação, projeto “Monitoramento de Sistemas Aplicado à Redes de Sensores sem Fio”, no período 2016-Atual, com coordenação do docente Laura Assis. Valor financiado R$12.000,00.
- Edital CNPq Universal, projeto “Desenvolvimento e Análise de Algoritmos de Processamento Adaptativo e Distribuído de Sinais”, no período 2016-2018, com coordenação do docente Diego Haddad. Valor financiado R$32.000,00.
- Edital FAPERJ/APQ1-2019, intitulado “Análise Estocástica Avançada de Algoritmos de Filtragem Adaptativa”, no período de 2019-atual, com coordenação do docente Diego Barreto Haddad. Valor financiado R$ 38.000,00.
- Edital CNPq bolsa de produtividade, projeto “Estudo em Teoria Algébrica de Grafos”, no período 2019-Atual, com coordenação do docente Leonardo Lima. Valor financiado: R$39.600,00;
- Bolsas PIBIC.
Esses projetos estão em desenvolvimento pelos membros do grupo desde 2013 e totalizam um valor de financiamento de aproximadamente R$ 284.100,00.