明日は合宿

今考えている問題のlemmaを1つ証明できた。 もう2つほど証明するともしかしたらもしかするかもしれない

数学に慣れてきたせいか、意外とすらすら読める

卒研の時に(難しすぎて)断念した論文を明日から読み始めよう。 完全に理解しようとせずに、まず論理の流れをつかむことから始める。学部時代の教科書は、ちゃんと見直すと面白いね

最近、勉強内容が偏りすぎている気がする。 来週は、 (1)学部時代のテキストをもう一度見直す (2)卒業研究でやったことをもう一度勉強しなおす が目標。あと、余裕があれば合宿用スライドを完成させる

ねんがんのロードバイクをてにいれたぞ!

この続きLayer Decompositionから幅wで大きさdkのLayerwise separationというものが定義できる。 すると、treewidthが2\sqrt{3dk}+3w-1以下であることが証明でき、多項式時間でそのようなTree Decompositionを求めることができる。 全体的な議論の流れはつか…

使い方忘れてもた...

新しく配属になった3年生のためのJavaの勉強会があった。 研究でJavaを使う人が多いので、毎年やっている。 当時はJavaよりCの方が簡単だと思っていたが、今ではCのプログラムがまともに書けない状態。 後期のTAのために復習せねば

最近恐ろしく研究が進まないので、自分用のメモをつけることにする。 今はplanar graphのvertex coverやindependent setとかのfixed parameter algorithmを勉強中。 Parameterized complexity: exponential speed-up for planar graph problems 著者らによる…

test