証明内容の再検討

先週考えたところで、最適解に一意性がないことがわかったので、そのあたりが証明にどう影響するかをチェックしている。
最適解の一意性は、参考にしている論文の中で証明を大幅に短縮する役割をもっており、これを外すと、やはりそれなりに広範囲に書き換えが必要になる。
もう少し検討が必要そうだ。

短期目標：証明の変更点を確認
今日の作業内容：証明の確認 2h
今日のランチ：らく まぐろのづけ丼
明日の予測作業時間：2h