Projetos / Projeto

Assistência Técnica em Algoritmos para o Segundo Concurso Público Nacional Unificado (CPNU 2)

Em andamento

Voltar

Coordenador: DAVI ROMERO DE VASCONCELOS
Unidade acadêmica: Pro-Reitoria de Graduacao
Departamento: PRO-REITORIA DE GRADUACAO
Grande área: Multidisciplinar
Resumo: O problema de escolha de candidatos com restrições de diversidade, conhecido como Controlled School Choice, exige algoritmos eficientes devido à inviabilidade de explorar todo o espaço de soluções. O algoritmo de Deferred Acceptance (DA) é a principal abordagem, e suas funções de escolha vêm sendo amplamente estudadas. Este projeto busca verificar automaticamente a classificação no CPNU, formalizando regras legais para checar sua correta aplicação.
Palavras-chave: Algortimos, Métodos Formais, Validação Formal, Controlled School Choice

Aprovação e vigência