MathDB

A3

Part of 2020 Princeton University Math Competition

Problems(1)

2020 PUMaC Individual Finals A3

Source:

1/1/2022
Let nn be a positive integer, and let FF be a family of subsets of {1,2,...,2n}\{1, 2, ... , 2^n\} such that for any non-empty A∈F A\in F there exists B∈FB \in F so that ∣A∣=∣B∣+1|A| = |B| + 1 and B⊂AB \subset A. Suppose that F contains all (2n−1)(2^n - 1)-element subsets of {1,2,...,2n}\{1, 2, ... , 2^n\} Determine the minimal possible value of ∣F∣|F|.
combinatorics