【4】 個以上の正の整数を要素とする有限集合をとする.
のどの数も一方が他方を割り切るときは良い集合であるといい,のどの数も互いに他を割り切らないときは悪い集合であるという.
また,の良い部分集合の要素の個数の最大値,すなわち,
をの最良数と定義し,の悪い部分集合の要素の個数の最大値,すなわち,
をの最悪数と定義する.
たとえば,のとき,の良い部分集合はなどであり,の最良数はである.また,の悪い部分集合はなどであり,の最悪数はである.
を以上の整数とするとき,次の問いに答えよ.
(1) で,かつ最良数も最悪数もである集合が存在することを証明せよ.
(2) ならば,の最良数または最悪数のどちらかは以上であることを証明せよ.
(3) 要素数がで,かつ最良数と最悪数が等しいような集合,すなわち,
を満たす集合を考える.このような集合たちの中で最良数が最小となる集合の例を挙げよ.