Number of maximizing weighted k-Sperner families

ID: number-of-maximizing-weighted-k-sperner-families

If is the th largest rank weight , exactly levels have weight greater than , and exactly have weight , then there are maximizing families. For fixed , the possible counts are exactly with and .

New to topics? Read the docs here!