最適性の証明

この前から考えていたアルゴリズムのは、終了条件が一般的な終了条件と異なっていることに気がつき、終了条件のときに最適解になっているかの検証が必要だとわかった。

試行錯誤してみることで、双対定理をつかうと、この証明ができることが分かった。
やはり、双対定理は強力である。


短期目標：収束の証明方針の検討
今日の作業内容：最適性の証明 3h
今日のランチ：たちばな しまあじ
明日の予測作業時間：4h