Coppe UFRJ 50

Desenvolve algoritmos eficientes, exatos ou aproximados, para a solução de problemas de natureza combinatória, bem como estuda elementos teóricos que comprovam a corretude desses algoritmos ou, ainda, a dificuldade computacional inerente ao problema, no caso negativo.

Conta com oito computadores do sistema Linux ligados em rede, tendo um deles quatro processadores, e dispõe de espaço de estudo individual e coletivo para alunos e pesquisadores. Presta serviços de consultoria sobre problemas combinatórios clássicos e parceria na abordagem de problemas combinatórios ainda não estudados ou catalogados.