定式化の問題

メールで問い合わせがきた内容で、定式化がうまくいくかどうかを検討している。

たとえば、x^T Q x は Q が正定値であれば凸である。
ところが、Q に 0 未満の固有値が含まれていても、||x||^2 = 1 が実行可能集合であれば、その上でのみ凸関数とみなせる。
こういったことがうまくできそうで、まだうまくできていない。
なかなかに難しいものだ。

短期目標：証明読み込みを木曜までに
今日の作業内容：定式化検討 2h
今日のランチ：食堂 蒸し豚胡麻ダレ
明日の予測作業時間： 1h