最大安定集合の論文読み

de Klerk の最大安定集合についての論文を読んでおいた。
今回は、細かいところはスキップして、基本的な定式化と証明のところだけに重点を置いて読んでおいた。
やはり、錐の extreme ray になるところが証明の要点のようであった。

短期目標：最大安定集合で定式化を再確認
今日の作業内容：最大安定集合の論文読み 2h
今日のランチ：味庵 豚肉とたけのこの炒め物
明日の予測作業時間：3h

式展開の続き

昨日まで検討していた式展開の続きをした。
やはり、既存の論文の内容では、見た目は難しくなっているが、実際のところは単純に多面体になっているような感じである。
つまり、解いているのが線形計画問題になっているのでは？という疑問がある。
このあたりは、再度数式を確認して、単純に自分のミスなのかを確認したほうがよさそうだ。

短期目標：今週中に数式を再度確認
今日の作業内容：式展開 2h
今日のランチ：角笛　マーボー豆腐
明日の予測作業時間：4h

QAPの定式化の検討

いろいろと定式化を検討してみたが、やはり次元が n^2 + 1 の行列で計算する必要があって、n=2 でも 5x5 の行列となってしまい、なかなかに難しい。
もう一つの定式化の方で、再検討する方がよさそうである。

短期目標：QAP 検討 を今週いっぱいで
今日の作業内容：QAP 定式化検討 2h
今日のランチ：和泉庵 かきあげ丼セット
明日の予測作業時間：3h

Burer の論文読み直し

前回の Povh & Rendl の論文を読んでいて気になったところがあったので、Burer の論文を読み直し。
まだまだよく分からないところがあるので、Povh & Rendl の論文の式を、4次元ぐらいで式展開して性質を見る必要がありそうだ。
ただ、4次元以上と図を書いて視覚的に見るのができないので、そのあたりをどのように補うかが式展開では検討課題になりそうだ。

短期目標：Povh & Rendl の式を式展開するのを今週中に
今日の作業内容：Burer の論文読み 1h
明日の予測作業時間：4h

PovhとRendlの論文、読み終わり

今日のところで、Povh と Rendl の論文を読み終わった。
ただ、定式化としては、あまり効率的な印象がない。
なぜ、これでは効率的ではないのか、そのあたりをどのような視点から言えばいいのか検討する必要があるかもしれない。
（「効率的である」という肯定をするほうが、もっと楽ではある。）


短期目標：Burer の論文から、必要なところを１週間でまとめる
今日の作業内容：論文読み 2h
今日のランチ：シッダルータ　エッグカレー
明日の予測作業時間：4h

Povh と Rendl の論文読み

今日から、Povh と Rendl の論文を読んでいるが、途中の計算を確認するのが大変で、あまりページ数は捗らず。
このあたりは、少しずつ進めるしかなさそうだ。

短期目標：Povh & Rendl を今週中に読み切る
今日の作業内容：論文読み 4h
今日のランチ：角笛 鶏肉の酢豚風
明日の予測作業時間：0.5h

QAP構造確認

QAP の定式化について、ちょっと検討すべきだったので、式をいろいろと変更してみている。
ただ、今日はあまり時間が取れず、あまり進まず。

短期目標：今週中に Burer の論文を読み直す
今日の作業内容：QAP 検討 0.5h
今日のランチ：味庵 イカとにんにくの芽の炒め物
明日の予測作業時間：3h