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

V>Э-э-э... ну тогда для любого представленного в двоичном виде числа за основу мн-ва можно взять слагаемые 2^e-n_i, где n_i — номера ненулевых разрядов мантиссы (начиная со старших) и e=экспонента для плавающего представления или сдвиг точки для фиксированного. Затем дополнить это мн-во производными членами по формуле (a+b+1)/2 для всех пар слагаемых, у которых |a-b|<1. Проводить такое дополнение в цикле до тех пор, пока в мн-ве будут появляться новые члены. Оно?

А не, это просто нахождение такого минимального мн-ва, которому принадлежит исходное число.
Но не выяснение принадлежности к минимальному мн-ву, получаемому от 0-ля.