SNL の計算

今日は、SNL の計算のプログラムを確認。
いくつかの条件があるときに、SDP で解くとSNLの唯一の解になる、という定理があって、それを確認している。
条件には大きく分けて２段階あって、２段階目が正しく動作していることは確認できているのだが、なぜか唯一の解のところに一致しない。
やはり、１段階目を確認しなおさないとダメなようだ。検算用には、計算時間がかかっても今までと違ったアルゴリズムで確認したいので、どういったアルゴリズムがあるかを確認したいところだ。
まぁ、５頂点＋４センサーなので、人間が頑張れば何とかなる範囲かもしれない。

今日の作業内容: SNL の確認 5h
今日のBGM: かぜよみ, マクロス V-Col [2]
明日の予測作業時間: 3h