ログを見るのに watch コマンドが便利

screen 環境で実行しているログから定期的にどうなっているかを自動的に表示させるのに watch コマンドを使と非常に便利。

例えば、
watch -d -n 5 'grep iteration screenlog.0 | tail -10'

とすると、screenlog.0 から iteration という文字列を含む最後の１０行だけを、５秒間隔で更新しながら表示してくれる。

多項式最適化問題の SDP 緩和の最適解の rank は 1 か 2 である

最近見つけた論文によると、

多項式最適化問題を SDP 緩和してできた SDP については、最適解集合の中に rank が 1 または 2 のものがある

ということらしい。
もし自分の読み違いでなければ、かなり強力なことを言っているはず。

rank 1 であれば、それは最適解になっているし、rank 2 であっても、randomization をするにあたっては rank が 2 という性質をもちいての randomization を使えば例えば Goemans and Williamson の比を改善できる可能性もあるのでは？と思う。

Julia で一括しての Pkg.add と reload

Julia でいくつかのパッケージをまとめてインストールするには、
以下のように for 文で行ったりすると一括でできる。

 for i = ["Optim","JuMP","NLopt","Clp","Convex","Ipopt"]; Pkg.add(i); end

ちなみに、インストールされているものを一括して reload するのであれば
for i = collect(keys(Pkg.installed()));  reload(i); end

でできる。