Apparently, the algorithm behind his rotation policy is NP-complete.