ちなみに最適解については未解決問題だそうだ。