Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/83246
Título: | Greedy and dynamic programming by calculation |
Autor(es): | Pinho, Alexandre Mendonça |
Orientador(es): | Oliveira, José Nuno Fonseca |
Palavras-chave: | Greedy algorithm Dynamic programming Algebra of programming Algoritmo greedy Programação dinâmica Álgebra da programação |
Data: | 2022 |
Resumo(s): | The 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». |
Tipo: | Dissertação de mestrado |
Descrição: | Dissertação mestrado integrado em Informatics Engineering |
URI: | https://hdl.handle.net/1822/83246 |
Acesso: | Acesso aberto |
Aparece nas coleções: | BUM - Dissertações de Mestrado DI/CCTC - Dissertações de Mestrado (master thesis) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Alexandre-Mendonça-Pinho-dissertação-final.pdf | 2,04 MB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons