uw_yu1rabbit’s blog

ようやく本題に入ります。次のステートメントの内容を証明します。定理5(Hallの結婚定理) をとる。とし、を仮定し、がHall条件を満たすならば (証明) に関する帰納法で示す。のときは自明。のとき、次の二つの場合に分けて考える。 (1)臨界ブロックがない場合を任意に1つ選んで、各からを除いて得られる集合をとおく。はHa…