It is a simple problem to explain, and the goal may be to use it to explore novel programming paradigms rather than to solve it optimally. I am sure Matt Might

It is a simple problem to explain, and the goal may be to use it to explore novel programming paradigms rather than to solve it optimally. I am sure Matt Might knows about the efficient solutions to this problem. By the way, there are plenty of reasons not to use the closed form.