Sperner の定理

1. 概要 本記事では，ブール束 $B_n$ における反鎖の最大サイズを与える Sperner の定理を解説します． Sperner の定理は，集合 $\lbrace 0,1,\dots,n-1\rbrace$ の部分集合を，どの $2$ つも互いに包含関係がないように選ぶときに，選べる部分集合の個数の…