Contributions to the k-color shortest path problem
| Ano de defesa: | 2023 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| 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: | |
| Link de acesso: | http://www.repositorio.ufc.br/handle/riufc/73496 |
Resumo: | Given a digraph D = (V,A), where all arcs (i, j) ∈ A have an associated cost d(i, j) ∈ R+ and a color c(i, j), a positive integer k, a source s, and a destination t, the k-Color Shortest Path Problem is an NP-Hard problem that consists in finding the shortest (s,t)-path in D while using at most k distinct colors. We propose valid inequalities for the problem that proved to strengthen the linear relaxation of an existing Integer Linear Programming formulation. An exponential set of valid inequalities defines a new formulation for the problem and is solved by using a branch-and-cut algorithm. We introduce more challenging instances of the problem and present numerical experiments for both benchmark and the new instances. Finally, we evaluate the individual and the collective use of the valid inequalities. Computational results for the proposed ideas and for existing solution approaches for the problem showed the effectiveness of the new inequalities in handling the new instances both in terms of execution times and improving their linear relaxed solutions. |
| id |
UFC-7_31e42921e069ddc60bb37f40412dde90 |
|---|---|
| oai_identifier_str |
oai:repositorio.ufc.br:riufc/73496 |
| network_acronym_str |
UFC-7 |
| network_name_str |
Repositório Institucional da Universidade Federal do Ceará (UFC) |
| repository_id_str |
|
| spelling |
Castelo, Emanuel Elias SilvaSaraiva, Rommel DiasAndrade, Rafael Castro de2023-07-13T14:30:17Z2023-07-13T14:30:17Z2023CASTELO, Emanuel Elias Silva. Contributions to the k-color shortest path problem. 2023. 54 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Ceará, Fortaleza, 2023.http://www.repositorio.ufc.br/handle/riufc/73496Given a digraph D = (V,A), where all arcs (i, j) ∈ A have an associated cost d(i, j) ∈ R+ and a color c(i, j), a positive integer k, a source s, and a destination t, the k-Color Shortest Path Problem is an NP-Hard problem that consists in finding the shortest (s,t)-path in D while using at most k distinct colors. We propose valid inequalities for the problem that proved to strengthen the linear relaxation of an existing Integer Linear Programming formulation. An exponential set of valid inequalities defines a new formulation for the problem and is solved by using a branch-and-cut algorithm. We introduce more challenging instances of the problem and present numerical experiments for both benchmark and the new instances. Finally, we evaluate the individual and the collective use of the valid inequalities. Computational results for the proposed ideas and for existing solution approaches for the problem showed the effectiveness of the new inequalities in handling the new instances both in terms of execution times and improving their linear relaxed solutions.Dado um digrafo D = (V,A), onde todos os arcos (i, j) ∈ A possuem um custo associado d(i, j) ∈ R+ e uma cor c(i, j), um inteiro positivo k, uma fonte s, e um destino t, o Problema do Caminho Mínimo k-Rotulado é um problema NP-Difícil que consiste em encontrar um (s,t)-caminho de custo mínimo em D usando no máximo k cores distintas. Propomos desigualdades válidas que fortalecem a relaxação linear de uma formulação existente na literatura de Programação Linear Inteira. Propomos ainda uma nova formulação exponencial, que pode ser resolvida por meio de um algoritmo de branch-and-cut. Introduzimos instâncias mais desafiadoras para o problema e apresentamos experimentos numéricos para as benchmark e as novas instâncias. Finalmente, avaliamos diferentes combinações das desigualdades válidas. Resultados computacionais para as ideias propostas e para as abordagens existentes para o problema mostram a eficiência das novas desigualdades em lidar com as novas instâncias ambos em termos de tempo de execução e em proporcionar melhoria nas soluções relaxadas.Combinatorial optimizationk-color shortest pathValid inequalitiesContributions to the k-color shortest path probleminfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisengreponame:Repositório Institucional da Universidade Federal do Ceará (UFC)instname:Universidade Federal do Ceará (UFC)instacron:UFCinfo:eu-repo/semantics/openAccessORIGINAL2023_dis_eescastelo.pdf2023_dis_eescastelo.pdfapplication/pdf1715292http://repositorio.ufc.br/bitstream/riufc/73496/3/2023_dis_eescastelo.pdf36e6ddf69d0dbcfa62dc2f2d375a9796MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://repositorio.ufc.br/bitstream/riufc/73496/4/license.txt8a4605be74aa9ea9d79846c1fba20a33MD54riufc/734962023-07-13 11:30:17.596oai:repositorio.ufc.br:riufc/73496Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttp://www.repositorio.ufc.br/ri-oai/requestbu@ufc.br || repositorio@ufc.bropendoar:2023-07-13T14:30:17Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)false |
| dc.title.pt_BR.fl_str_mv |
Contributions to the k-color shortest path problem |
| title |
Contributions to the k-color shortest path problem |
| spellingShingle |
Contributions to the k-color shortest path problem Castelo, Emanuel Elias Silva Combinatorial optimization k-color shortest path Valid inequalities |
| title_short |
Contributions to the k-color shortest path problem |
| title_full |
Contributions to the k-color shortest path problem |
| title_fullStr |
Contributions to the k-color shortest path problem |
| title_full_unstemmed |
Contributions to the k-color shortest path problem |
| title_sort |
Contributions to the k-color shortest path problem |
| author |
Castelo, Emanuel Elias Silva |
| author_facet |
Castelo, Emanuel Elias Silva |
| author_role |
author |
| dc.contributor.co-advisor.none.fl_str_mv |
Saraiva, Rommel Dias |
| dc.contributor.author.fl_str_mv |
Castelo, Emanuel Elias Silva |
| dc.contributor.advisor1.fl_str_mv |
Andrade, Rafael Castro de |
| contributor_str_mv |
Andrade, Rafael Castro de |
| dc.subject.por.fl_str_mv |
Combinatorial optimization k-color shortest path Valid inequalities |
| topic |
Combinatorial optimization k-color shortest path Valid inequalities |
| description |
Given a digraph D = (V,A), where all arcs (i, j) ∈ A have an associated cost d(i, j) ∈ R+ and a color c(i, j), a positive integer k, a source s, and a destination t, the k-Color Shortest Path Problem is an NP-Hard problem that consists in finding the shortest (s,t)-path in D while using at most k distinct colors. We propose valid inequalities for the problem that proved to strengthen the linear relaxation of an existing Integer Linear Programming formulation. An exponential set of valid inequalities defines a new formulation for the problem and is solved by using a branch-and-cut algorithm. We introduce more challenging instances of the problem and present numerical experiments for both benchmark and the new instances. Finally, we evaluate the individual and the collective use of the valid inequalities. Computational results for the proposed ideas and for existing solution approaches for the problem showed the effectiveness of the new inequalities in handling the new instances both in terms of execution times and improving their linear relaxed solutions. |
| publishDate |
2023 |
| dc.date.accessioned.fl_str_mv |
2023-07-13T14:30:17Z |
| dc.date.available.fl_str_mv |
2023-07-13T14:30:17Z |
| dc.date.issued.fl_str_mv |
2023 |
| 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 |
CASTELO, Emanuel Elias Silva. Contributions to the k-color shortest path problem. 2023. 54 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Ceará, Fortaleza, 2023. |
| dc.identifier.uri.fl_str_mv |
http://www.repositorio.ufc.br/handle/riufc/73496 |
| identifier_str_mv |
CASTELO, Emanuel Elias Silva. Contributions to the k-color shortest path problem. 2023. 54 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Ceará, Fortaleza, 2023. |
| url |
http://www.repositorio.ufc.br/handle/riufc/73496 |
| 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.source.none.fl_str_mv |
reponame:Repositório Institucional da Universidade Federal do Ceará (UFC) instname:Universidade Federal do Ceará (UFC) instacron:UFC |
| instname_str |
Universidade Federal do Ceará (UFC) |
| instacron_str |
UFC |
| institution |
UFC |
| reponame_str |
Repositório Institucional da Universidade Federal do Ceará (UFC) |
| collection |
Repositório Institucional da Universidade Federal do Ceará (UFC) |
| bitstream.url.fl_str_mv |
http://repositorio.ufc.br/bitstream/riufc/73496/3/2023_dis_eescastelo.pdf http://repositorio.ufc.br/bitstream/riufc/73496/4/license.txt |
| bitstream.checksum.fl_str_mv |
36e6ddf69d0dbcfa62dc2f2d375a9796 8a4605be74aa9ea9d79846c1fba20a33 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
| repository.name.fl_str_mv |
Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC) |
| repository.mail.fl_str_mv |
bu@ufc.br || repositorio@ufc.br |
| _version_ |
1847793207227711488 |