Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.

Detalhes bibliográficos
Autor(a) principal: Brito, Samuel Souza
Data de Publicação: 2020
Tipo de documento: Tese
Idioma: eng
Título da fonte: Repositório Institucional da UFOP
Texto Completo: http://www.repositorio.ufop.br/handle/123456789/12386
Resumo: Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.
id UFOP_e0cf484e7ad97e3d37a6095b9d8485bc
oai_identifier_str oai:repositorio.ufop.br:123456789/12386
network_acronym_str UFOP
network_name_str Repositório Institucional da UFOP
repository_id_str 3233
spelling Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.Programação linearHeurísticaProgramação - computadores - processamentoProgramação heurísticaPrograma de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.This thesis addresses the development of con ict graph-based algorithms for MixedInteger Linear Programming, including: (i) an e cient infrastructure for the construction and manipulation of con ict graphs; (ii) a preprocessing routine based on a clique strengthening scheme that can both reduce the number of constraints and produce stronger formulations; (iii) a clique cut separator capable of obtaining dual bounds at the root node LP relaxation that are 19.65% stronger than those provided by the equivalent cut generator of a state-of-the-art commercial solver, 3.62 times better than those attained by the clique cut separator of the GLPK solver and 4.22 times stronger than the dual bounds obtained by the clique separation routine of the COIN-OR Cut Generation Library; (iv) an odd-cycle cut separator with a new lifting module to produce valid odd-wheel inequalities; (v) two diving heuristics capable of generating integer feasible solutions in restricted execution times. Additionally, we generated a new version of the COIN-OR Branch-and-Cut (CBC) solver by including our con ict graph infrastructure, preprocessing routine and cut separators. The average gap closed by this new version of CBC was up to four times better than its previous version. Moreover, the number of mixed-integer programs solved by CBC in a time limit of three hours was increased by 23.53%.Santos, Haroldo GambiniSantos, Haroldo GambiniFonseca, George Henrique Godim daMateus, Geraldo RobsonAragão, Marcus Vinicius Soledade Poggi deToffolo, Túlio Ângelo MachadoBrito, Samuel Souza2020-06-25T15:30:25Z2020-06-25T15:30:25Z2020info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfBRITO, Samuel Souza. Conflict graphs in mixed-integer linear programming: preprocessing, heuristics and cutting planes. 110 f. 2020. Tese (Doutorado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2020.http://www.repositorio.ufop.br/handle/123456789/12386An error occurred getting the license - uri.Autorização concedida ao Repositório Institucional da UFOP pelo(a) autor(a) em 17/06/2020 com as seguintes condições: disponível sob Licença Creative Commons 4.0 que permite copiar, distribuir e transmitir o trabalho desde que sejam citados o autor e o licenciante. Não permite o uso para fins comerciais.info:eu-repo/semantics/openAccessengreponame:Repositório Institucional da UFOPinstname:Universidade Federal de Ouro Preto (UFOP)instacron:UFOP2020-06-25T15:34:27Zoai:repositorio.ufop.br:123456789/12386Repositório InstitucionalPUBhttp://www.repositorio.ufop.br/oai/requestrepositorio@ufop.edu.bropendoar:32332020-06-25T15:34:27Repositório Institucional da UFOP - Universidade Federal de Ouro Preto (UFOP)false
dc.title.none.fl_str_mv Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.
title Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.
spellingShingle Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.
Brito, Samuel Souza
Programação linear
Heurística
Programação - computadores - processamento
Programação heurística
title_short Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.
title_full Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.
title_fullStr Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.
title_full_unstemmed Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.
title_sort Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.
author Brito, Samuel Souza
author_facet Brito, Samuel Souza
author_role author
dc.contributor.none.fl_str_mv Santos, Haroldo Gambini
Santos, Haroldo Gambini
Fonseca, George Henrique Godim da
Mateus, Geraldo Robson
Aragão, Marcus Vinicius Soledade Poggi de
Toffolo, Túlio Ângelo Machado
dc.contributor.author.fl_str_mv Brito, Samuel Souza
dc.subject.por.fl_str_mv Programação linear
Heurística
Programação - computadores - processamento
Programação heurística
topic Programação linear
Heurística
Programação - computadores - processamento
Programação heurística
description Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.
publishDate 2020
dc.date.none.fl_str_mv 2020-06-25T15:30:25Z
2020-06-25T15:30:25Z
2020
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 BRITO, Samuel Souza. Conflict graphs in mixed-integer linear programming: preprocessing, heuristics and cutting planes. 110 f. 2020. Tese (Doutorado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2020.
http://www.repositorio.ufop.br/handle/123456789/12386
identifier_str_mv BRITO, Samuel Souza. Conflict graphs in mixed-integer linear programming: preprocessing, heuristics and cutting planes. 110 f. 2020. Tese (Doutorado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2020.
url http://www.repositorio.ufop.br/handle/123456789/12386
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv An error occurred getting the license - uri.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv An error occurred getting the license - uri.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFOP
instname:Universidade Federal de Ouro Preto (UFOP)
instacron:UFOP
instname_str Universidade Federal de Ouro Preto (UFOP)
instacron_str UFOP
institution UFOP
reponame_str Repositório Institucional da UFOP
collection Repositório Institucional da UFOP
repository.name.fl_str_mv Repositório Institucional da UFOP - Universidade Federal de Ouro Preto (UFOP)
repository.mail.fl_str_mv repositorio@ufop.edu.br
_version_ 1813002815742672896

Registros relacionados