47.09Intermediate / Advanced4 topics
Advanced correctness
Part of Chapter 47: Advanced DP Optimizations and State Techniques.
Outline only
The topics below come from the curriculum. Their written explanations and animations have not been published yet.
47.09.1
Optimization preconditions
Explanation coming soon.
47.09.2
Monge matrices
Explanation coming soon.
47.09.3
Counterexample testing
Explanation coming soon.
47.09.4
State dominance
Explanation coming soon.