[zentiggr]

It's a hard enough problem for many humans... I completely agree with you.

If someone can make even a decent AI DM, I'd say turn that one loose on NP-complete for a followup softball question.