Здравствуйте, Кодт, Вы писали:
V>>Fusible numbers можно вычитать: V>>А значит S — это множество всех двоичных дробей. К>Нет. У нас подмножество множества fusible numbers. Сказано же: "минимальное множество"
Э-э-э... ну тогда для любого представленного в двоичном виде числа за основу мн-ва можно взять слагаемые 2e-ni, где ni — номера ненулевых разрядов мантиссы (начиная со старших) и e=экспонента для плавающего представления или сдвиг точки для фиксированного. Затем дополнить это мн-во производными членами по формуле (a+b+1)/2 для всех пар слагаемых, у которых |a-b|<1. Проводить такое дополнение в цикле до тех пор, пока в мн-ве будут появляться новые члены. Оно?