2021-05-31 (月)

数学

マトロイドの合併がマトロイドであることの証明を追った。以前考えていた証明は誤りで、おそらく本質的に二部マッチングの正当性と同様のことが必要になる。