This comes from another post on lobste.rs, but I thought it was valuable enough to be posted on its own. The problem is deceptively hard and the described solution is comprehensive.