Integer programming with Gröbner bases and applications to multiobjective integer programming

Detalhes bibliográficos
Ano de defesa: 2025
Autor(a) principal: Langeloh, Gabriel Mattos
Orientador(a): Ritt, Marcus Rolf Peter
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Programação Inteira
Bases de Groebner
Álgebra Computacional
Algoritmos complexos
Palavras-chave em Inglês:
Multiobjective integer programming
Link de acesso: http://hdl.handle.net/10183/302134
Resumo: Programação inteira e suas variantes multiobjetivo são importantes problemas NP-difíceis com aplicações em teoria dos grafos, agendamento, logística e tomada de decisão, dentre outras. Uma abordagem de resolução para essas classes de problemas de otimização que foi pouco explorada na literatura até o momento é a abordagem algébrica utilizando métodos de bases de Gröbner, que são ferramentas tradicionais na área da álgebra comutativa computacional. A primeira parte dessa tese apresenta melhorias em algoritmos para o cálculo de bases de Gröbner no contexto da programação inteira, introduzindo um novo critério de truncagem para programas inteiros com variáveis binárias. Mostra-se empiricamente que esse critério é capaz de eliminar até 90% dos S-vetores desnecessários no cálculo da base de Gröbner. Esses algoritmos são implementados em um novo pacote estado da arte open source chamado IPGBs.jl. A segunda parte desse trabalho explora a performance de métodos baseados em bases de Gröbner para programação inteira multiobjetivo. Mostramos que esses métodos possuem melhor desempenho do que se sabia previamente quando implementados com estruturas de dados ótimas e com nosso novo critério de truncagem. Além disso, provamos que seu desempenho é essencialmente independente do tamanho da fronteira de Pareto, em contraste com outros algoritmos que trabalham no espaço de critérios. Assim, a abordagem de bases de Gröbner se torna particularmente útil para problemas com fronteiras de Pareto muito grandes, inclusive no caso de problemas com 3 ou mais objetivos.
id UFRGS-2_8f817dee43d52bc1f82f10cd6cb0a7d9
oai_identifier_str oai:www.lume.ufrgs.br:10183/302134
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Langeloh, Gabriel MattosRitt, Marcus Rolf Peter2026-03-10T08:01:12Z2025http://hdl.handle.net/10183/302134001302671Programação inteira e suas variantes multiobjetivo são importantes problemas NP-difíceis com aplicações em teoria dos grafos, agendamento, logística e tomada de decisão, dentre outras. Uma abordagem de resolução para essas classes de problemas de otimização que foi pouco explorada na literatura até o momento é a abordagem algébrica utilizando métodos de bases de Gröbner, que são ferramentas tradicionais na área da álgebra comutativa computacional. A primeira parte dessa tese apresenta melhorias em algoritmos para o cálculo de bases de Gröbner no contexto da programação inteira, introduzindo um novo critério de truncagem para programas inteiros com variáveis binárias. Mostra-se empiricamente que esse critério é capaz de eliminar até 90% dos S-vetores desnecessários no cálculo da base de Gröbner. Esses algoritmos são implementados em um novo pacote estado da arte open source chamado IPGBs.jl. A segunda parte desse trabalho explora a performance de métodos baseados em bases de Gröbner para programação inteira multiobjetivo. Mostramos que esses métodos possuem melhor desempenho do que se sabia previamente quando implementados com estruturas de dados ótimas e com nosso novo critério de truncagem. Além disso, provamos que seu desempenho é essencialmente independente do tamanho da fronteira de Pareto, em contraste com outros algoritmos que trabalham no espaço de critérios. Assim, a abordagem de bases de Gröbner se torna particularmente útil para problemas com fronteiras de Pareto muito grandes, inclusive no caso de problemas com 3 ou mais objetivos.Integer programming and its multiobjective variants are important NP-hard problems with applications in graph theory, scheduling, logistics and decision making, among others. One approach to solving these classes of optimization problems that is underexplored in the literature is the algebraic approach using Gröbner basis methods, a traditional tool in the field of computational commutative algebra. The first part of this thesis improves on previous Gröbner basis algorithms for integer programming by introducing a new truncation criterion for integer programs with binary variables. This criterion is empirically shown to eliminate up to 90% of useless S-vectors in the Gröbner basis computation. These algorithms are implemented in a new state-ofthe-art open source package called IPGBs.jl. The second part of this work explores the performance of Gröbner basis methods in multiobjective integer programming. We show that these methods perform better than previously thought when implemented with efficient data structures and our new truncation criterion. Furthermore, we prove that their performance is essentially independent of the size of the Pareto front, in contrast to other criterion space algorithms, making the Gröbner basis approach particularly useful for problems with very large Pareto fronts, including those with 3 or more objectives.application/pdfengProgramação InteiraBases de GroebnerÁlgebra ComputacionalAlgoritmos complexosMultiobjective integer programmingInteger programming with Gröbner bases and applications to multiobjective integer programmingProgramação inteira com bases de Gröbner e aplicações à programação inteira multiobjetivo info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2025doutoradoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001302671.pdf.txt001302671.pdf.txtExtracted Texttext/plain296166http://www.lume.ufrgs.br/bitstream/10183/302134/2/001302671.pdf.txtd13bb45d38837a3daf955b076c0d19f5MD52ORIGINAL001302671.pdfTexto completo (inglês)application/pdf1316237http://www.lume.ufrgs.br/bitstream/10183/302134/1/001302671.pdf6f7c5a8b8e7d718d775354360a26adfcMD5110183/3021342026-03-11 07:52:56.352441oai:www.lume.ufrgs.br:10183/302134Repositório InstitucionalPUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.bropendoar:2026-03-11T10:52:56Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Integer programming with Gröbner bases and applications to multiobjective integer programming
dc.title.alternative.pt.fl_str_mv Programação inteira com bases de Gröbner e aplicações à programação inteira multiobjetivo
title Integer programming with Gröbner bases and applications to multiobjective integer programming
spellingShingle Integer programming with Gröbner bases and applications to multiobjective integer programming
Langeloh, Gabriel Mattos
Programação Inteira
Bases de Groebner
Álgebra Computacional
Algoritmos complexos
Multiobjective integer programming
title_short Integer programming with Gröbner bases and applications to multiobjective integer programming
title_full Integer programming with Gröbner bases and applications to multiobjective integer programming
title_fullStr Integer programming with Gröbner bases and applications to multiobjective integer programming
title_full_unstemmed Integer programming with Gröbner bases and applications to multiobjective integer programming
title_sort Integer programming with Gröbner bases and applications to multiobjective integer programming
author Langeloh, Gabriel Mattos
author_facet Langeloh, Gabriel Mattos
author_role author
dc.contributor.author.fl_str_mv Langeloh, Gabriel Mattos
dc.contributor.advisor1.fl_str_mv Ritt, Marcus Rolf Peter
contributor_str_mv Ritt, Marcus Rolf Peter
dc.subject.por.fl_str_mv Programação Inteira
Bases de Groebner
Álgebra Computacional
Algoritmos complexos
topic Programação Inteira
Bases de Groebner
Álgebra Computacional
Algoritmos complexos
Multiobjective integer programming
dc.subject.eng.fl_str_mv Multiobjective integer programming
description Programação inteira e suas variantes multiobjetivo são importantes problemas NP-difíceis com aplicações em teoria dos grafos, agendamento, logística e tomada de decisão, dentre outras. Uma abordagem de resolução para essas classes de problemas de otimização que foi pouco explorada na literatura até o momento é a abordagem algébrica utilizando métodos de bases de Gröbner, que são ferramentas tradicionais na área da álgebra comutativa computacional. A primeira parte dessa tese apresenta melhorias em algoritmos para o cálculo de bases de Gröbner no contexto da programação inteira, introduzindo um novo critério de truncagem para programas inteiros com variáveis binárias. Mostra-se empiricamente que esse critério é capaz de eliminar até 90% dos S-vetores desnecessários no cálculo da base de Gröbner. Esses algoritmos são implementados em um novo pacote estado da arte open source chamado IPGBs.jl. A segunda parte desse trabalho explora a performance de métodos baseados em bases de Gröbner para programação inteira multiobjetivo. Mostramos que esses métodos possuem melhor desempenho do que se sabia previamente quando implementados com estruturas de dados ótimas e com nosso novo critério de truncagem. Além disso, provamos que seu desempenho é essencialmente independente do tamanho da fronteira de Pareto, em contraste com outros algoritmos que trabalham no espaço de critérios. Assim, a abordagem de bases de Gröbner se torna particularmente útil para problemas com fronteiras de Pareto muito grandes, inclusive no caso de problemas com 3 ou mais objetivos.
publishDate 2025
dc.date.issued.fl_str_mv 2025
dc.date.accessioned.fl_str_mv 2026-03-10T08:01:12Z
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 http://hdl.handle.net/10183/302134
dc.identifier.nrb.pt_BR.fl_str_mv 001302671
url http://hdl.handle.net/10183/302134
identifier_str_mv 001302671
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/302134/2/001302671.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/302134/1/001302671.pdf
bitstream.checksum.fl_str_mv d13bb45d38837a3daf955b076c0d19f5
6f7c5a8b8e7d718d775354360a26adfc
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br
_version_ 1864542952158658560

Registros relacionados