Здравствуйте, vdimas, Вы писали:

V>Fusible numbers можно вычитать:
V>А значит S — это множество всех двоичных дробей.

Нет. У нас подмножество множества fusible numbers. Сказано же: "минимальное множество"

Например, мы совершенно спокойно можем выкинуть диапазон (0;0.5).

Но тут мы, на самом деле, наталкиваемся на философский вопрос, что считать минимальным множеством.
Понятно, что все множества, удовлетворяющие условию "с нулём и замкнутое по слиянию" — счётны.
Достаточно просто взять любую функцию — f(x) = 0@x или f(x) = x@x (где @ — операция слияния, x@y = (x+y+1)/2)
и проитерировать счётное количество раз.

То есть, банально сравнивать мощности — бесполезно.

Но если мы напишем функцию F(M) = M U {x@y | x,y <- M}
и найдём его неподвижные точки S_fix = F(S_fix) = F^*(S_seed)
то окажется, что между ними можно установить частичный порядок — что чьим подмножеством является. И очевидно, что если S_seed1 <= S_seed2, то S_fix1 <= S_fix2
Абсолютный минимум в этом, топологическом, смысле — это пустое множество, но мы его не засчитываем.
Самая маленькая затравка S_seed0 = {0} — по условию задачи.