Formulações e algoritmos para o problema de programação de horários em escolas

Detalhes bibliográficos
Autor(a) principal: Santos, Haroldo Gambini
Data de Publicação: 2007
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal Fluminense (RIUFF)
Texto Completo: https://app.uff.br/riuff/handle/1/18770
Resumo: This thesis considers an variation of a classical combinatorial NP-Complete problem: The Class-Teacher Timetabling Problem. In this variant, important practical considerations are incorporated, specifically, teachers preferences and distribution of lessons. The proposals of this work are divided in three parts. In the first part a new hybrid heuristic is presented, based on Tabu Search. Computational experiments demonstrated that the proposed heuristic improves upon existing methods presenting a consistently better performance in all test problems. In the second part, proposals for producing optimal timetables are presented, considering Mixed Integer Linear Programming Techniques. In this sense, a formulation with an exponential number of rows and columns is developed, as well an algorithm to manage this formulation by cut and column generation. Computational experiments demonstrated that the proposed formulation provides stronger bounds, which allowed the proof of optimality for 3 open instances from literature. Finally, in the third part, the synergy of heuristics and exact methods is explored, by the optimal resolution of sub-problems from timetables heuristically generated. These hybrid algorithms offered the best upper bounds available.
id UFF-2_9d654c3c7f2b1c47be8deaa79403d4f9
oai_identifier_str oai:app.uff.br:1/18770
network_acronym_str UFF-2
network_name_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository_id_str 2120
spelling Formulações e algoritmos para o problema de programação de horários em escolasProgramação de horários em escolasProgramação linear inteiraMetaheurísticaAlgoritmoOtimização combinatóriaSchool TimetablingMixed Integer ProgrammingMetaheuristicAlgorithmCombinatorial optimizationCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOThis thesis considers an variation of a classical combinatorial NP-Complete problem: The Class-Teacher Timetabling Problem. In this variant, important practical considerations are incorporated, specifically, teachers preferences and distribution of lessons. The proposals of this work are divided in three parts. In the first part a new hybrid heuristic is presented, based on Tabu Search. Computational experiments demonstrated that the proposed heuristic improves upon existing methods presenting a consistently better performance in all test problems. In the second part, proposals for producing optimal timetables are presented, considering Mixed Integer Linear Programming Techniques. In this sense, a formulation with an exponential number of rows and columns is developed, as well an algorithm to manage this formulation by cut and column generation. Computational experiments demonstrated that the proposed formulation provides stronger bounds, which allowed the proof of optimality for 3 open instances from literature. Finally, in the third part, the synergy of heuristics and exact methods is explored, by the optimal resolution of sub-problems from timetables heuristically generated. These hybrid algorithms offered the best upper bounds available.Esta tese trata de uma variante de um clássico problema combinatório NP-Completo : o Problema de Programação de Horários professor-Turma. Nessa variante, importantes considerações práticas são incorporadas, especificamente tratando de preferências de professores e distribuição das aulas. As propostas apresentadas nesta tese dividem-se em 3 partes. Na primeira parte é apresentada uma nova heurística híbrida, baseada em Busca Tabu. Experimentos computacionais demonstraram que a heurística proposta melhora os resultados da literatura, apresentando um desempenho consistentemente superior em todos os problemas teste. Na segunda parte propostas foram apresentadas para a obtenção de quadros de horários provadamente ótimos, considerando técnicas de Programação Linear Inteira Mista. Nesse sentido é desenvolvida uma formulação com um número exponencial de linhas e colunas, bem como um algoritmo que utiliza as técnicas de geração de colunas e cortes para o tratamento dessa formulação. Experimentos computacionais demonstraram que a formulação apresentada permite a obtenção de limites inferiores bastante fortes, os quais permitiram a prova da otimalidade para 3 instâncias em aberto da literatura. Finalmente, na terceira parte, é explorada a sinergia entre heurísticas e métodos exatos, através da resolução ótima de sub-problemas em quadros de horários construídos heurísticamente, esses algoritmos híbridos ofereceram os melhores limites superiores disponíveis.Programa de Pós-Graduação em ComputaçãoComputaçãoOchi, Luiz SatoruCPF:31609080822http://lattes.cnpq.br/9171815778534257Lucena Filho, Abilio Pereira deCPF:75123400922http://lattes.cnpq.br/0907883161698484Ribeiro, Celso da Cruz CarneiroCPF:34620081022http://lattes.cnpq.br/3614186131432854Barboza, Eduardo UchoaCPF:85462487922http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4721785E2Souza, Marcone Jamilson FreitasCPF:32723547604http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4793954E6Maculan Filho, NelsonCPF:74008070522http://lattes.cnpq.br/4436183480921146Santos, Haroldo Gambini2021-03-10T20:45:33Z2010-04-222021-03-10T20:45:33Z2007-03-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://app.uff.br/riuff/handle/1/18770porCC-BY-SAinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)instname:Universidade Federal Fluminense (UFF)instacron:UFF2021-03-10T20:45:33Zoai:app.uff.br:1/18770Repositório InstitucionalPUBhttps://app.uff.br/oai/requestriuff@id.uff.bropendoar:21202024-08-19T11:02:17.794534Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)false
dc.title.none.fl_str_mv Formulações e algoritmos para o problema de programação de horários em escolas
title Formulações e algoritmos para o problema de programação de horários em escolas
spellingShingle Formulações e algoritmos para o problema de programação de horários em escolas
Santos, Haroldo Gambini
Programação de horários em escolas
Programação linear inteira
Metaheurística
Algoritmo
Otimização combinatória
School Timetabling
Mixed Integer Programming
Metaheuristic
Algorithm
Combinatorial optimization
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
title_short Formulações e algoritmos para o problema de programação de horários em escolas
title_full Formulações e algoritmos para o problema de programação de horários em escolas
title_fullStr Formulações e algoritmos para o problema de programação de horários em escolas
title_full_unstemmed Formulações e algoritmos para o problema de programação de horários em escolas
title_sort Formulações e algoritmos para o problema de programação de horários em escolas
author Santos, Haroldo Gambini
author_facet Santos, Haroldo Gambini
author_role author
dc.contributor.none.fl_str_mv Ochi, Luiz Satoru
CPF:31609080822
http://lattes.cnpq.br/9171815778534257
Lucena Filho, Abilio Pereira de
CPF:75123400922
http://lattes.cnpq.br/0907883161698484
Ribeiro, Celso da Cruz Carneiro
CPF:34620081022
http://lattes.cnpq.br/3614186131432854
Barboza, Eduardo Uchoa
CPF:85462487922
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4721785E2
Souza, Marcone Jamilson Freitas
CPF:32723547604
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4793954E6
Maculan Filho, Nelson
CPF:74008070522
http://lattes.cnpq.br/4436183480921146
dc.contributor.author.fl_str_mv Santos, Haroldo Gambini
dc.subject.por.fl_str_mv Programação de horários em escolas
Programação linear inteira
Metaheurística
Algoritmo
Otimização combinatória
School Timetabling
Mixed Integer Programming
Metaheuristic
Algorithm
Combinatorial optimization
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
topic Programação de horários em escolas
Programação linear inteira
Metaheurística
Algoritmo
Otimização combinatória
School Timetabling
Mixed Integer Programming
Metaheuristic
Algorithm
Combinatorial optimization
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
description This thesis considers an variation of a classical combinatorial NP-Complete problem: The Class-Teacher Timetabling Problem. In this variant, important practical considerations are incorporated, specifically, teachers preferences and distribution of lessons. The proposals of this work are divided in three parts. In the first part a new hybrid heuristic is presented, based on Tabu Search. Computational experiments demonstrated that the proposed heuristic improves upon existing methods presenting a consistently better performance in all test problems. In the second part, proposals for producing optimal timetables are presented, considering Mixed Integer Linear Programming Techniques. In this sense, a formulation with an exponential number of rows and columns is developed, as well an algorithm to manage this formulation by cut and column generation. Computational experiments demonstrated that the proposed formulation provides stronger bounds, which allowed the proof of optimality for 3 open instances from literature. Finally, in the third part, the synergy of heuristics and exact methods is explored, by the optimal resolution of sub-problems from timetables heuristically generated. These hybrid algorithms offered the best upper bounds available.
publishDate 2007
dc.date.none.fl_str_mv 2007-03-30
2010-04-22
2021-03-10T20:45:33Z
2021-03-10T20:45:33Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://app.uff.br/riuff/handle/1/18770
url https://app.uff.br/riuff/handle/1/18770
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv CC-BY-SA
info:eu-repo/semantics/openAccess
rights_invalid_str_mv CC-BY-SA
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Programa de Pós-Graduação em Computação
Computação
publisher.none.fl_str_mv Programa de Pós-Graduação em Computação
Computação
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)
instname:Universidade Federal Fluminense (UFF)
instacron:UFF
instname_str Universidade Federal Fluminense (UFF)
instacron_str UFF
institution UFF
reponame_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
collection Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository.name.fl_str_mv Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)
repository.mail.fl_str_mv riuff@id.uff.br
_version_ 1811823642399473664