Resolução de horários de exames com pesquisa local restringida

• Author(s): Roldão, Francisco José de Abreu
• Date: 2011
• Persistent ID: http://hdl.handle.net/10362/7038
• Origin: Repositório Institucional da UNL
• Subject(s): Pesquisa local; COMET; Resolução de horários; Programação com restrições; Heurísticas
• Document Type: Master Thesis
• Language: Portuguese
• Advisor(s): Barahona, Pedro

Description

Dissertação para obtenção do Grau de Mestre em Engenharia Informática A produção de horários é um problema altamente combinatório dado o conjunto de restrições que envolve e as suas interdependências, bem como um conjunto de preferências e características de qualidade que são difíceis de especificar e mais ainda de quantificar. Não sendo razoável explorar todo o espaço de pesquisa dada a sua dimensão exponencial, a utilização de pesquisa local torna-se apelativa, em parte porque a definição de vizinhanças pode ser feita de uma forma bastante intuitiva, permitindo a validação e comparação com métodos manuais de resolução do problema. Recentemente, começam a aparecer linguagens e ferramentas para pesquisa local restringida que favorecem a declaratividade da especificação de pesquisa local e que se têm revelado altamente competitivas na resolução de vários tipos de problemas combinatórios. Nesta dissertação, é testada esta abordagem na produção de horários. Mais especificamente, são analisadas o tipo de restrições, preferências e medidas de qualidade que ocorrem na especificação de horários. Subsequentemente, após a análise das vizinhanças a utilizar na resolução destes problemas, implementou-se um protótipo, bem como as meta-heurísticas que se revelaram mais interessantes. O protótipo implementado foi testado com exemplos de horários produzidos na FCT/UNL e as várias meta-heurísticas implementadas foram testadas com o benchmark da Universidade de Toronto.