loop_invariants_dp
Dynamic programming algorithms with loop-invariant explanations
algorithms
dynamic-programming
optimization
loop-invariants
Author
Version
0.14.1
License
Apache-2.0
Last updated
10 days ago
Downloads
67
#Dynamic Programming
This module contains dynamic-programming packages and optimizations, including
knapsack, LCS, LIS, edit distance, bitmask DP, matrix chain multiplication,
palindrome partitioning, and convex hull trick.
Packages are organized as one problem family or technique per directory. Each
package contains a README.mbt.md tutorial with examples that are checked by
moon test.
Run from the workspace root:
moon check
moon test
moon info
moon fmtInstall
Download zipDynamic programming algorithms with loop-invariant explanations
algorithmsdynamic-programmingoptimizationloop-invariants
Apache-2.0
Updated 10 days ago
67 downloads