計算機科学のブログ

数え上げの基礎 鳩の巣原理 下駄箱論法、ディリクレの引き出し原理

情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版)の第4章(数え上げの基礎)、4.6(鳩の巣原理)の問4.8の解答を求めてみる。

複数個の荷物が入っているバッグは少なくとも1個ある。

同じ方向に進んだ車は少なくとも4台ある。