Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms

Ruyi Ji, Tianran Zhu, Yingfei Xiong +1

Dynamic programming is an important optimization technique, but designing efficient dynamic programming algorithms can be difficult for even professional programmers. Thinning, a t…