Greedy and dynamic programming by calculation

Detalhes bibliográficos
Autor(a) principal: Pinho, Alexandre Mendonça
Data de Publicação: 2022
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/83246
Resumo: Dissertação mestrado integrado em Informatics Engineering
id RCAP_b442f03b52e0c6942754af93e751eab2
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/83246
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Greedy and dynamic programming by calculationGreedy algorithmDynamic programmingAlgebra of programmingAlgoritmo greedyProgramação dinâmicaÁlgebra da programaçãoEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaDissertação mestrado integrado em Informatics EngineeringThe mathematical study of the greedy algorithm provides a blueprint for the study of Dynamic Programming (DP), whose body of knowledge is largely unorganized, remaining obscure to a large part of the software engineering community. This study aims to structure this body of knowledge, narrowing the gap between a purely examplebased approach to DP and its scientific foundations. To that effect, matroid theory is leveraged through a pointfree relation algebra, which is applied to greedy and DP problems. A catalogue of such problems is compiled, and a broad characterization of DP algorithms is given. Alongside, the theory underlying the thinning relational operator is explored.O estudo matemático do algoritmo ganancioso («greedy») serve como guia para o estudo da programação dinâmica, cujo corpo de conhecimento permanece desorganizado e obscuro a uma grande parte da comunidade de engenharia de software. Este estudo visa estruturar esse corpo de conhecimento, fazendo a ponte entre a abordagem popular baseada em exemplos e os métodos mais teóricos da literatura científica. Para esse efeito, a teoria dos matroides é explorada pelo uso de uma álgebra de relações pointfree, e aplicada a problemas «greedy» e de programação dinâmica. Um catálogo de tais problemas é compilado, e é feita uma caraterização geral de algoritmos de programação dinâmica. Em paralelo, é explorada a teoria do combinador relacional de «thinning».This work is financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project UIDB/50014/2020Oliveira, José Nuno FonsecaUniversidade do MinhoPinho, Alexandre Mendonça20222022-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/83246eng203231392info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:36:43Zoai:repositorium.sdum.uminho.pt:1822/83246Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:32:53.054579Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Greedy and dynamic programming by calculation
title Greedy and dynamic programming by calculation
spellingShingle Greedy and dynamic programming by calculation
Pinho, Alexandre Mendonça
Greedy algorithm
Dynamic programming
Algebra of programming
Algoritmo greedy
Programação dinâmica
Álgebra da programação
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Greedy and dynamic programming by calculation
title_full Greedy and dynamic programming by calculation
title_fullStr Greedy and dynamic programming by calculation
title_full_unstemmed Greedy and dynamic programming by calculation
title_sort Greedy and dynamic programming by calculation
author Pinho, Alexandre Mendonça
author_facet Pinho, Alexandre Mendonça
author_role author
dc.contributor.none.fl_str_mv Oliveira, José Nuno Fonseca
Universidade do Minho
dc.contributor.author.fl_str_mv Pinho, Alexandre Mendonça
dc.subject.por.fl_str_mv Greedy algorithm
Dynamic programming
Algebra of programming
Algoritmo greedy
Programação dinâmica
Álgebra da programação
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Greedy algorithm
Dynamic programming
Algebra of programming
Algoritmo greedy
Programação dinâmica
Álgebra da programação
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Dissertação mestrado integrado em Informatics Engineering
publishDate 2022
dc.date.none.fl_str_mv 2022
2022-01-01T00:00:00Z
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.uri.fl_str_mv https://hdl.handle.net/1822/83246
url https://hdl.handle.net/1822/83246
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 203231392
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 Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132843304026112

Registros relacionados