Um algoritmo híbrido para resolução de problemas binários.

Detalhes bibliográficos
Autor(a) principal: Rezende, Josiane da Costa Vieira
Data de Publicação: 2015
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFOP
Texto Completo: http://www.repositorio.ufop.br/handle/123456789/6512
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_49aab0f31a8aef22c7d545c0964ddcc4
oai_identifier_str oai:localhost:123456789/6512
network_acronym_str UFOP
network_name_str Repositório Institucional da UFOP
repository_id_str 3233
spelling Rezende, Josiane da Costa VieiraMartins, Alexandre XavierSouza, Sérgio Ricardo deSouza, Marcone Jamilson Freitas2016-05-24T18:10:31Z2016-05-24T18:10:31Z2015REZENDE, Josiane da Costa Vieira. Um algoritmo híbrido para resolução de problemas binários. 2015. 70 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2015.http://www.repositorio.ufop.br/handle/123456789/6512Programa 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.Este trabalho apresenta um método híbrido, denominado HGVPRLB, para resolver problemas lineares binários. O método combina os procedimentos Greedy Randomized Adaptive Search Procedures -- GRASP, Variable Neighborhood Descent -- VND, propagação de restrições, e cortes Local branching. Como em todo algoritmo GRASP, o método HGVPRLB apresenta duas fases, que interagem entre si até que o tempo limite seja atingido. A primeira fase visa a construção de uma solução inicial; a segunda, por sua vez, visa ao refinamento dessa solução construída. Na fase de construção, é utilizado o resolvedor CBC e um procedimento de propagação de restrições, de forma a gerar uma solução inicial para o problema. O resolvedor CBC relaxa as variáveis binárias, isto é, atribui o valor de cada variável no intervalo real [0,1]. O procedimento propagação de restrições possui a finalidade de verificar se existe solução viável ao se fixar uma determinada variável no valor 1. Se esta solução existir, ele poderá retornar, ainda, um conjunto de possíveis fixações das demais variáveis. Na fase de refinamento são utilizados cortes Local branching controlados pelo procedimento VND até que um tempo previamente definido seja atingido. Os cortes Local Branching utilizam um resolvedor de programação linear inteira como uma ferramenta caixa-preta para explorar eficientemente subespaços das soluções do problema. O método desenvolvido foi aplicado a um conjunto de problemas binários da biblioteca MIPLIB 2010 com o intuito de verificar sua capacidade de obter soluções viáveis de qualidade variando-se o tempo de processamento. Os experimentos computacionais realizados mostraram que, quando o tempo de processamento aumenta, o método consegue aumentar tanto o número de soluções viáveis quanto a qualidade delas. Além disso, o método desenvolvido se mostrou superior a outro método da literatura, bem como a dois outros resolvedores de código aberto nesses dois indicadores de avaliação.This paper presents a hybrid method, called HGVPRLB, in order to solve binary linear problems. The method combines the procedures Greedy Randomized Adaptive Search Procedures -- GRASP, Variable Neighborhood Descent -- VND, Constraint Propagation, and Local Branching cuts. As in all GRASP, HGVPRLB has two phases that interact with each other until the time limit is reached. The first phase aims to construct an initial solution and in the second, this constructed solution is refined. In the construction phase, CBC solver is used the and the constraint propagation procedure in order to obtain an initial solution. The CBC solver relaxes the binary variables, that is, assigns the value of each variable in the real interval [0,1]. The constraint propagation procedure has the purpose of verifying if there is feasible solution when a particular variable is set to 1. If this solution exist, it can still return a set of possible fixations to the other variables. In the refinement phase are used Local branching cuts controlled by a VND procedure until a predetermined time is reached. The Local Branching cuts uses an integer linear programming solver as a black box tool to efficiently explore solution subspaces of the problem. The proposed method was applied to a set of binary problems from MIPLIB 2010 library in order to verify its ability to get good quality feasible solutions varying the processing time. Computational experiments showed that when the processing time increases, the method can increase the number of feasible solutions as well as the quality of these solutions. Besides it, the proposed method outperforms another method of literature, as well as two other open source solvers in relation to these evaluation metrics.Autorização concedida ao Repositório Institucional da UFOP pelo(a) autor(a) em 12/05/2016 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 nem a adaptação.info:eu-repo/semantics/openAccessProgramação linearHeurísticaProcesso estocásticoUm algoritmo híbrido para resolução de problemas binários.info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFOPinstname:Universidade Federal de Ouro Preto (UFOP)instacron:UFOPLICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://www.repositorio.ufop.br/bitstream/123456789/6512/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52ORIGINALDISSERTAÇÃO_UmAlgoritmoHíbrido.pdfDISSERTAÇÃO_UmAlgoritmoHíbrido.pdfapplication/pdf939214http://www.repositorio.ufop.br/bitstream/123456789/6512/1/DISSERTA%c3%87%c3%83O_UmAlgoritmoH%c3%adbrido.pdf3e7cb2e26217876df5c4459b7de745c3MD51123456789/65122019-09-18 12:06:17.881oai:localhost:123456789/6512Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttp://www.repositorio.ufop.br/oai/requestrepositorio@ufop.edu.bropendoar:32332019-09-18T16:06:17Repositório Institucional da UFOP - Universidade Federal de Ouro Preto (UFOP)false
dc.title.pt_BR.fl_str_mv Um algoritmo híbrido para resolução de problemas binários.
title Um algoritmo híbrido para resolução de problemas binários.
spellingShingle Um algoritmo híbrido para resolução de problemas binários.
Rezende, Josiane da Costa Vieira
Programação linear
Heurística
Processo estocástico
title_short Um algoritmo híbrido para resolução de problemas binários.
title_full Um algoritmo híbrido para resolução de problemas binários.
title_fullStr Um algoritmo híbrido para resolução de problemas binários.
title_full_unstemmed Um algoritmo híbrido para resolução de problemas binários.
title_sort Um algoritmo híbrido para resolução de problemas binários.
author Rezende, Josiane da Costa Vieira
author_facet Rezende, Josiane da Costa Vieira
author_role author
dc.contributor.referee.pt_BR.fl_str_mv Martins, Alexandre Xavier
Souza, Sérgio Ricardo de
dc.contributor.author.fl_str_mv Rezende, Josiane da Costa Vieira
dc.contributor.advisor1.fl_str_mv Souza, Marcone Jamilson Freitas
contributor_str_mv Souza, Marcone Jamilson Freitas
dc.subject.por.fl_str_mv Programação linear
Heurística
Processo estocástico
topic Programação linear
Heurística
Processo estocástico
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 2015
dc.date.issued.fl_str_mv 2015
dc.date.accessioned.fl_str_mv 2016-05-24T18:10:31Z
dc.date.available.fl_str_mv 2016-05-24T18:10:31Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv REZENDE, Josiane da Costa Vieira. Um algoritmo híbrido para resolução de problemas binários. 2015. 70 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2015.
dc.identifier.uri.fl_str_mv http://www.repositorio.ufop.br/handle/123456789/6512
identifier_str_mv REZENDE, Josiane da Costa Vieira. Um algoritmo híbrido para resolução de problemas binários. 2015. 70 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2015.
url http://www.repositorio.ufop.br/handle/123456789/6512
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
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
bitstream.url.fl_str_mv http://www.repositorio.ufop.br/bitstream/123456789/6512/2/license.txt
http://www.repositorio.ufop.br/bitstream/123456789/6512/1/DISSERTA%c3%87%c3%83O_UmAlgoritmoH%c3%adbrido.pdf
bitstream.checksum.fl_str_mv 8a4605be74aa9ea9d79846c1fba20a33
3e7cb2e26217876df5c4459b7de745c3
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
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_ 1801685771568021504

Registros relacionados