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

1. 概要 Undirected Vertex Geography は，無向グラフ上で駒を動かす $2$ 人ゲームです．各手番では，現在駒がある頂点から隣接する頂点に駒を移動させます．ただし，選べる頂点は，一度も駒が置かれたことがない頂点に限ります．動けなくなったプレイヤの負…