重み付き連結無向グラフと枝集合の部分集合の族がある。 ここではマトロイドをなしているとする。 さらに独立集合と枝を任意にとったとき、が上で連結でないならばが常に成り立つとする。 このときマトロイドの最小重み基はの最小全域木を含むことを華麗に示…

大学でゼミ。通学途中ふと見てみたら以前一度入った「よしかつ」なるトンカツ屋が「けん」というステーキ屋になってた。確か同系列だったし店の雰囲気も全く変わってない(カレーとかサイドメニューおかわり自由というのも一緒)からちょっとしたリニューアル…