2009-08-12 LSP 研究 この続きLayer Decompositionから幅wで大きさdkのLayerwise separationというものが定義できる。 すると、treewidthが2\sqrt{3dk}+3w-1以下であることが証明でき、多項式時間でそのようなTree Decompositionを求めることができる。 全体的な議論の流れはつかめてきたけど、まだまだ理解には程遠い。 夏合宿のスライド早く作らないと...