この場合、の解は元の問題の最適解の候補であるにすぎず、さらなる検証が必要である.
この場合、