Matches in SemOpenAlex for { <https://semopenalex.org/work/W4375956830> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W4375956830 abstract "Dynamic programming (DP) is a broadly applicable algorithmic design paradigm for the efficient, exact solution of otherwise intractable, combinatorial problems. However, the design of such algorithms is often presented informally in an ad-hoc manner, and as a result is often difficult to apply correctly. In this paper, we present a rigorous algebraic formalism for systematically deriving novel DP algorithms, either from existing DP algorithms or from simple functional recurrences. These derivations lead to algorithms which are provably correct and polymorphic over any semiring, which means that they can be applied to the full scope of combinatorial problems expressible in terms of semirings. This includes, for example: optimization, optimal probability and Viterbi decoding, probabilistic marginalization, logical inference, fuzzy sets, differentiable softmax, and relational and provenance queries. The approach, building on many ideas from the existing literature on constructive algorithmics, exploits generic properties of (semiring) polymorphic functions, tupling and formal sums (lifting), and algebraic simplifications arising from constraint algebras. We demonstrate the effectiveness of this formalism for some example applications arising in signal processing, bioinformatics and reliability engineering. Python software implementing these algorithms can be downloaded from: http://www.maxlittle.net/software/dppolyalg.zip." @default.
- W4375956830 created "2023-05-10" @default.
- W4375956830 creator A5018028924 @default.
- W4375956830 creator A5075942449 @default.
- W4375956830 date "2021-07-04" @default.
- W4375956830 modified "2023-09-26" @default.
- W4375956830 title "Polymorphic dynamic programming by algebraic shortcut fusion" @default.
- W4375956830 doi "https://doi.org/10.48550/arxiv.2107.01752" @default.
- W4375956830 hasPublicationYear "2021" @default.
- W4375956830 type Work @default.
- W4375956830 citedByCount "0" @default.
- W4375956830 crossrefType "posted-content" @default.
- W4375956830 hasAuthorship W4375956830A5018028924 @default.
- W4375956830 hasAuthorship W4375956830A5075942449 @default.
- W4375956830 hasBestOaLocation W43759568301 @default.
- W4375956830 hasConcept C11413529 @default.
- W4375956830 hasConcept C118615104 @default.
- W4375956830 hasConcept C126255220 @default.
- W4375956830 hasConcept C137631369 @default.
- W4375956830 hasConcept C173404611 @default.
- W4375956830 hasConcept C21696900 @default.
- W4375956830 hasConcept C33923547 @default.
- W4375956830 hasConcept C41008148 @default.
- W4375956830 hasConcept C80444323 @default.
- W4375956830 hasConceptScore W4375956830C11413529 @default.
- W4375956830 hasConceptScore W4375956830C118615104 @default.
- W4375956830 hasConceptScore W4375956830C126255220 @default.
- W4375956830 hasConceptScore W4375956830C137631369 @default.
- W4375956830 hasConceptScore W4375956830C173404611 @default.
- W4375956830 hasConceptScore W4375956830C21696900 @default.
- W4375956830 hasConceptScore W4375956830C33923547 @default.
- W4375956830 hasConceptScore W4375956830C41008148 @default.
- W4375956830 hasConceptScore W4375956830C80444323 @default.
- W4375956830 hasLocation W43759568301 @default.
- W4375956830 hasOpenAccess W4375956830 @default.
- W4375956830 hasPrimaryLocation W43759568301 @default.
- W4375956830 hasRelatedWork W1552185717 @default.
- W4375956830 hasRelatedWork W1665497870 @default.
- W4375956830 hasRelatedWork W2278016960 @default.
- W4375956830 hasRelatedWork W2341354229 @default.
- W4375956830 hasRelatedWork W2351491280 @default.
- W4375956830 hasRelatedWork W2371447506 @default.
- W4375956830 hasRelatedWork W2386767533 @default.
- W4375956830 hasRelatedWork W303980170 @default.
- W4375956830 hasRelatedWork W4300687024 @default.
- W4375956830 hasRelatedWork W2610213021 @default.
- W4375956830 isParatext "false" @default.
- W4375956830 isRetracted "false" @default.
- W4375956830 workType "article" @default.