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

К>Понятно, что S — некое подмножество конечных двоичных дробей.

Fusible numbers можно вычитать:

You are allowed to light one or more unlit ends of any fuse, but only at time \(t = 0\) or when a fuse burns out completely.

Т.е., догорел один фитиль, подожгли другой или отсчитали время м/у сгоранием двух фетилей.
Итого, можно получить произвольное число 2^-n.

А значит S — это множество всех двоичных дробей.

Т.е., любое целое число или число с плавающей точкой, представимое в двоичном виде, — оно заведомо fusible. ))

Поэтому, программа может быть такой (для представления рационального числа в виде дроби):
http://www.rsdn.org/forum/etude/6746954.1

Или такой:

bool isFusible(float a) { return a>=0; }
bool isFusible(double a) { return a>=0; }
bool isFusible(int a) { return a>=0; }
bool isFusible(long a) { return a>=0; }
bool isFusible(unsigned a) { return true; }
bool isFusible(unsigned long a) { return true; }